DEVS-based case management (wip)

Abstract

The Object Management Group (OMG) defined Case Management Model and Notation (CMMN), a modeling specification for case management, in January 2013. However, to this novel concept no supporting tools exist until now, and the capability of simulation is not taken into account either. For this reason, in this paper we present a DEVS-based case management system, with which case workers are able to manipulate with case models, verify and validate case models using formal methods, and, run the simulation to predict the performance.. These capabilities are enabled through a model-to-model transformation, in which the source model is CMMN models, and the target model is DDML (DEVS-Driven Modeling Language) models, where DDML is a high level modeling language for the simulation of discrete event systems. A case study is given to demonstrate the essential principles of CMMN to DDML transformation.