Model-based DEVS for modeling and simulation of resource-constrained business processes
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.