How to Implement a Theory of Correctness in the Area of Business Processes and Services
Business Process Management
Niels Lohmann
Rationality of Service Composition of Workflow Net in a Service Oriented Architecture