Toward an integrated framework for the simulation, formal analysis and enactment of discrete events systems models

This research proposes a framework that aggregates resources for formal investigation of different properties of systems using disparate analysis methodologies such as simulation, formal methods and code synthesis for real time enactment. There is a plethora of development environments that support individual analysis methodologies; however, those that truly support multiple methods are not common -at least for academic purposes. Therefore complete studies of systems´ properties often require the mastery of several formalisms since no single methodology is sufficient to investigate all aspects of a system. We aim to provide an extensible framework that serves as a generic computational engine for studying different aspects of a broad range of systems that cut across disciplines. The kernel of the framework is a high level modeling language which acts as a generic front end that bridges the gap between all stakeholders using the state of the art in model-driven development.