2010-03-01
A Unified Toolset for Business Process Model Formalization
Publication
Publication
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 veri cation of the aforementioned notations with the help of veri cation and
model checking tools available for Reo.
| Additional Metadata | |
|---|---|
| Elsevier B.V. | |
| Electronic Notes in Theoretical Computer Science | |
| Compliance-driven Models, Languages and Architectures for Services | |
| Formal Engineering Approaches to Software Components and Architectures | |
| Organisation | Computer Security |
|
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. |
|