Semantic Business Process Modeling

This book presents a process-oriented business modeling framework based on semantic technologies. The framework consists of modeling languages, methods, and tools that allow for semantic modeling of business motivation, business policies and rules, and business processes. Quality of the proposed modeling framework is evaluated based on the modeling content of SAP Solution Composer and several real-world business scenarios

Semantic business process modeling: Facilitating the design and verification of conceptual process models

This thesis contributes a business process modeling framework based on semantic technologies. The framework consists of modeling languages, methods and tools, which aim at facilitating the design and improving the quality of conceptual business process models

A Tool Chain for Lazy Soundness

Abstract. This paper introduces a prototypic tool chain to investigate the feasibility of deciding lazy soundness for Business Process Diagrams (BPD). We utilize a graphical editor to create BPDs, export them to XML, convert them to formal π-calculus expressions, and finally use existing π-calculus reasoners to decide lazy soundness.