A Feature-Complete Petri Net Semantics for WS-BPEL 2.0
How to Implement a Theory of Correctness in the Area of Business Processes and Services
Compliance by design for artifact-centric business processes
Business Process Management
Information Systems
Web Services and Formal Methods
Karsten Wolf
Compliance Checking of Organizational Interactions
Rationality of Service Composition of Workflow Net in a Service Oriented Architecture