A Unified Toolset for Business Process Model Formalization
Presented at the Formal Engineering Approaches to Software Components and Architectures, Paphos, Cyprus
In this paper, we present a toolset to automate the transformation of Business Process Modeling Notation (BPMN), UML Sequence Diagrams, and Business Process Execution Language (BPEL), into their proposed formal semantics expressed in the channel-based coordination language Reo. Such transformations enable the animated execution and verication of the aforementioned notations with the help of verication and model checking tools available for Reo.
|Electronic Notes in Theoretical Computer Science|
|Compliance-driven Models, Languages and Architectures for Services|
|Formal Engineering Approaches to Software Components and Architectures|
Changizi, B, Kokash, N, & Arbab, F. (2010). A Unified Toolset for Business Process Model Formalization. In Proceedings of Formal Engineering Approaches to Software Components and Architectures 2010. Elsevier B.V.