Optimal model transformation of BPMN to DEVS


Business process “BP” modeling and simulation is performed on different levels. For each level, a set of formalisms or languages are more suitable. BPMN “Business Process Modeling Notation” is a less formal language used at the conceptual phase of BPs modeling. However, models in BPMN cannot be executed directly. They need to be transformed to another language. In this paper, we present a BPMN models transformation into DEVS “Discrete Event System Specification” which is a formal tool for modeling of complex systems. The transformation is formalized by rules and simplifications in the purpose to enhance the modularity and make easy check and verification.

DOI: 10.1109/AICCSA.2015.7507115

Cite this paper

@article{Boukelkoul2015OptimalMT, title={Optimal model transformation of BPMN to DEVS}, author={Sofiane Boukelkoul and Ramdane Maamri}, journal={2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA)}, year={2015}, pages={1-8} }