Towards a framework for executable systems modeling: an executable systems modeling language (ESysML)

The Systems Modeling Language (SysML), which is the de-facto modeling standard in the systems engineering community, consists of a number of independently derived methodologies (i.e. state charts, activity diagrams etc.) which have been co-opted into a single modeling framework. This and the lack of an overarching meta-model that specifies relationships and rules governing the various language constructs precludes their uniform application across diagram types. This has resulted in a large unwieldy and at best semi-formal language specification, with adverse implications for interoperability of modeling tools and model execution. This paper presents an executable language that re-factors the SysML language schema and offers an equivalent textual syntax for model specification in tandem with the existing graphical syntax. This is aimed at supporting the development of time based simulation models useful for decision support and architecture verification and validation in systems engineering.

[1]  Brian Henderson-Sellers,et al.  Ontological Evaluation of the UML Using the Bunge–Wand–Weber Model , 2002, Software and Systems Modeling.

[2]  Bryan Ford,et al.  Parsing expression grammars: a recognition-based syntactic foundation , 2004, POPL '04.

[3]  Ed Seidewitz UML with meaning: executable modeling in foundational UML and the Alf action language , 2014 .

[4]  John S. Baras,et al.  HybridSim: A Modeling and Co-simulation Toolchain for Cyber-physical Systems , 2013, 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications.

[5]  Alexander Verbraeck,et al.  MDD4MS: a model driven development framework for modeling and simulation , 2011, SCSC 2011.

[6]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[7]  Leon F. McGinnis,et al.  A simple example of SysML-driven simulation , 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).

[8]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.

[9]  Cris Kobryn,et al.  UML 3.0 and the future of modeling , 2004, Software & Systems Modeling.

[10]  Joerg Evermann,et al.  Ontology based object-oriented domain modelling: fundamental concepts , 2005, Requirements Engineering.

[11]  Steve Cook Looking back at UML , 2012, Software & Systems Modeling.

[12]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.