Specification languages as front-ends towards the DEVS formalism

This paper constitutes a state-of-the art of specification languages relevant to be used as front-ends towards the DEVS (Discrete EVent System Specification) formalism. Comparison criteria are defined to evaluate specification languages for the description of DEVS structures. Finally, the need for building an original front-end, accounting for the whole criteria, is discussed.

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  D. J. Morrice,et al.  FROM TIMED AUTOMATA TO DEVS MODELS , 2003 .

[3]  J.-L. Paillet,et al.  From timed automata to DEVS models , 2003, Proceedings of the 2003 Winter Simulation Conference, 2003..

[4]  Gabriel A. Wainer,et al.  Using the CD + + DEVS Tookit to Develop Petri Nets , 2022 .

[5]  Hans Vangheluwe,et al.  Transforming Statecharts to Devs , .

[6]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[7]  Michelle L. Crane,et al.  UML vs. classical vs. rhapsody statecharts: not all models are created equal , 2005, MoDELS'05.

[8]  Jeffrey D. Ullman,et al.  Introduction to automata theory, languages, and computation, 2nd edition , 2001, SIGA.

[9]  Tag Gon Kim,et al.  DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems , 2006, Inf. Softw. Technol..

[10]  Karsten P. Ulland,et al.  Vii. References , 2022 .

[11]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.

[12]  Bernard P. Zeigler,et al.  DEVS representation of dynamical systems: event-based intelligent control , 1989, Proc. IEEE.

[13]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[14]  B. P. Ziegler,et al.  Theory of Modeling and Simulation , 1976 .

[15]  Jacques Pulou,et al.  Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems , 1978, MFCS.

[16]  C. A. Petri.  Introduction to General Net Theory , 1979, Advanced Course: Net Theory and Applications.

[17]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[18]  Nandamudi Lankalapalli Vijaykumar,et al.  Introducing probabilities in Statecharts to specify reactive systems for performance analysis , 2006, Comput. Oper. Res..