From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods

Modelling and verifying web service orchestration by means of the concurrency workbench

ACM SIGSOFT Software Engineering Notes

Integrated model-driven dashboard development

Information Systems Frontiers

A static compliance-checking framework for business process models

IBM Systems Journal

Using a model-driven transformational approach and service-oriented architecture for service delivery management

IBM Systems Journal

Workflow completion patterns

CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering

Specifying and Verifying Business Processes Using PPML

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering

Finite-state verification of the ebXML protocol

Electronic Commerce Research and Applications

Security in business process engineering

BPM'03 Proceedings of the 2003 international conference on Business process management

Developer-friendly verification of process-based systems

Knowledge-Based Systems

A formal and visual modeling approach to choreography based web services composition and conformance verification

Expert Systems with Applications: An International Journal

Perceived consistency between process models

Information Systems

Model transformation based verification of web services composition

GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing

A pattern-based approach for the verification of business process descriptions

Information and Software Technology

Symbolic model checking composite Web services using operational and control behaviors

Expert Systems with Applications: An International Journal