Business process management: a comprehensive survey
WMP Van der Aalst - International Scholarly Research Notices, 2013 - Wiley Online Library
Business Process Management (BPM) research resulted in a plethora of methods,
techniques, and tools to support the design, enactment, management, and analysis of …
techniques, and tools to support the design, enactment, management, and analysis of …
Testing and verification in service‐oriented architecture: a survey
Service‐oriented architecture (SOA) is gaining momentum as an emerging distributed
system architecture for business‐to‐business collaborations. This momentum can be …
system architecture for business‐to‐business collaborations. This momentum can be …
[图书][B] Business process management architectures
M Weske - 2007 - Springer
7 Business Process Management Architectures Page 1 7 Business Process Management
Architectures Following our discussion of the evolution of enterprise systems architectures in …
Architectures Following our discussion of the evolution of enterprise systems architectures in …
Soundness of workflow nets: classification, decidability, and analysis
WMP Van Der Aalst, KM Van Hee… - Formal aspects of …, 2011 - Springer
Workflow nets, a particular class of Petri nets, have become one of the standard ways to
model and analyze workflows. Typically, they are used as an abstraction of the workflow that …
model and analyze workflows. Typically, they are used as an abstraction of the workflow that …
Formal semantics and analysis of control flow in WS-BPEL
Web service composition refers to the creation of new (Web) services by combining
functionalities provided by existing ones. A number of domain-specific languages for service …
functionalities provided by existing ones. A number of domain-specific languages for service …
Petri net transformations for business processes–a survey
Abstract In Process-Aware Information Systems, business processes are often modeled in
an explicit way. Roughly speaking, the available business process modeling languages can …
an explicit way. Roughly speaking, the available business process modeling languages can …
A petri net-based method for compatibility analysis and composition of web services in business process execution language
Automatic Web Service composition is gaining momentum as the potential silver bullet in
Service Oriented Architecture. The need for interservice compatibility analysis and indirect …
Service Oriented Architecture. The need for interservice compatibility analysis and indirect …
A static compliance-checking framework for business process models
Y Liu, S Muller, K Xu - IBM Systems Journal, 2007 - ieeexplore.ieee.org
Regulatory compliance of business operations is a critical problem for enterprises. As
enterprises increasingly use business process management systems to automate their …
enterprises increasingly use business process management systems to automate their …
A feature-complete Petri net semantics for WS-BPEL 2.0
N Lohmann - International Workshop on Web Services and Formal …, 2007 - Springer
We present an extension of a Petri net semantics for the Web Service Business Execution
Language (WS-BPEL). This extension covers the novel activities and constructs introduced …
Language (WS-BPEL). This extension covers the novel activities and constructs introduced …
Process-aware information systems: Lessons to be learned from process mining
WMP Van der Aalst - Transactions on Petri Nets and Other Models of …, 2009 - Springer
Abstract A Process-Aware Information System (PAIS) is a software system that manages and
executes operational processes involving people, applications, and/or information sources …
executes operational processes involving people, applications, and/or information sources …