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 veri cation of the aforementioned notations with the help of veri cation and model checking tools available for Reo.
Additional Metadata
ACM SOFTWARE ENGINEERING (acm D.2)
THEME Software (theme 1)
Publisher Elsevier B.V.
Series Electronic Notes in Theoretical Computer Science
Project Compliance-driven Models, Languages and Architectures for Services
Conference Formal Engineering Approaches to Software Components and Architectures
Citation
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.