A framework for discrete events systems enactment

Abstract

This paper proposes a framework to guide the synthesis of program codes from Discrete Event Systems (DES) models for the enactment of the systems. Enactment in this context is the execution of a system's specification for real time verification of the specified properties and/or building a software solution for the system. Though it has been used extensively within the last decades to automate workflows and business processes, enactment is less pronounced mainstream computational system analysis domain. We believe that enactment of DES models can complement the more exploited methodologies like simulation and formal methods in model-based systems analysis. We propose a framework that provides a template for code synthesis from DEVS(Discrete Events System Specification)-based models and an execution protocol based on Object-Oriented Observer design pattern for the real time interpretation of system's properties. We provide a simple case study to illustrate the use of the framework.