System entity structure and model base framework in model based engineering of simulations for technical systems

Model-based engineering is defined as the pragmatic utilization of model-based practices, namely, modeling, metamodeling and model transformations in various steps of engineering. In the last decade, the simulation of technical systems has leveraged graphical modeling and model-to-text transformations, but metamodeling and model transformation practices have not become widely accessible. Thereby, the benefits of employed model-driven approaches have been limited. System Entity Structures are directed labelled graphs that were proposed in the 1980s for specifying a family of system configurations for modular and hierarchical systems. The System Entity Structure and Model Base (SES/MB) framework combines the SES ontology with the classical workflow of modeling for an interactive or automatic generation of executable simulation models. After reviewing comparable approaches in software engineering, this paper discusses the application of SES/MB framework for metamodeling and model transformations for model-based engineering of simulations of technical systems.

[1]  Thorsten Pawletta,et al.  Model-based testing methodology using system entity structures for MATLAB/Simulink models , 2016, Simul..

[2]  Bernhard Rumpe,et al.  First-class variability modeling in Matlab/Simulink , 2013, VaMoS.

[3]  José Luis Risco-Martín,et al.  A MDA-based approach for the development of DEVS/SOA simulations , 2010, SpringSim.

[4]  Thorsten Pawletta,et al.  Ontology-Assisted System Modeling and Simulation within MATLAB/Simulink , 2014, Simul. Notes Eur..

[5]  Sven Hartmann,et al.  Using System Entity Structures to Model the Elements of a Scenario in a Research Flight Simulator , 2017 .

[6]  Pieter J. Mosterman,et al.  Rule-based model transformation for, and in simulink , 2014, SpringSim.

[7]  Umut Durak,et al.  Tool support for transformation from an OWL ontology to an HLA Object Model , 2010, SimuTools.

[8]  Thorsten Pawletta,et al.  Extended variability modeling using system entity structure ontology within MATLAB/Simulink , 2016, SpringSim.

[9]  Tianyuan Xiao,et al.  Modeling and Simulation Framework for Cyber Physical Systems , 2012 .

[10]  W. E. Eder,et al.  Theory of Technical Systems: A Total Concept Theory for Engineering Design , 1988 .

[11]  Umut Durak,et al.  Ontology-Based Domain Engineering for Trajectory Simulation Reuse , 2009, Int. J. Softw. Eng. Knowl. Eng..

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

[13]  Bernard P. Zeigler,et al.  Multifacetted Modelling and Discrete Event Simulation , 1984 .

[14]  Juan de Lara,et al.  AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.

[15]  Bernard P. Zeigler,et al.  Guide to Modeling and Simulation of Systems of Systems , 2012, SpringerBriefs in Computer Science.

[16]  Umut Durak,et al.  Pragmatic model transformations for refactoring in Scilab/Xcos , 2016, Int. J. Model. Simul. Sci. Comput..

[17]  Andreas Tolk,et al.  Systems engineering, architecture, and simulation , 2014, Modeling and Simulation-Based Systems Engineering Handbook.

[18]  Bernard P. Zeigler,et al.  Theory of Modelling and Simulation , 1979, IEEE Transactions on Systems, Man and Cybernetics.

[19]  Saurabh Mittal,et al.  From domain specific languages to DEVS components: application to cognitive M&S , 2011, SpringSim.

[20]  Paul Hudak,et al.  Building domain-specific embedded languages , 1996, CSUR.

[21]  Bernard P. Zeigler,et al.  System theoretic foundations of modeling and simulation: a historic perspective and the legacy of A Wayne Wymore , 2012, Simul..

[22]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[23]  Bernard P. Zeigler,et al.  System entity structuring and model base management , 1990, IEEE Trans. Syst. Man Cybern..

[24]  Janina Decker,et al.  Simulation and Model-Based Methodologies: An Integrative View , 1984, NATO ASI Series.

[25]  Hans Vangheluwe,et al.  Processing causal block diagrams with graph-grammars in AToM3 , 2002 .

[26]  Okan Topçu,et al.  A metamodel for federation architectures , 2008, TOMC.

[27]  Andreas Tolk.  Avoiding another Green Elephant - A Proposal for the Next Generation HLA based on the Model Driven Architecture , 2010, ArXiv.

[28]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[29]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[30]  Umut Durak.  Extending the Knowledge Discovery Metamodel for architecture-driven simulation modernization , 2015, Simul..

[31]  Jordi Cabot,et al.  Model-Driven Software Engineering in Practice , 2017, Synthesis Lectures on Software Engineering.

[32]  Edward A. Lee,et al.  A model-based design methodology for cyber-physical systems , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.

[33]  Bran Selic,et al.  Model Driven Engineering and Ontology Development - Toc , 2016 .

[34]  Hans Vangheluwe,et al.  Model transformations for round-trip engineering in control deployment co-design , 2015, SpringSim.

[35]  Andy Schürr,et al.  MATE - A Model Analysis and Transformation Environment for MATLAB Simulink , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[36]  P.J. Mosterman,et al.  Formalizing Causal Block Diagrams for Modeling a Class of Hybrid Dynamic Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[37]  Umut Durak,et al.  User-guided transformations for ontology based simulation design , 2009 .

[38]  Bernard P. Zeigler,et al.  Modeling & Simulation-Based Data Engineering: Introducing Pragmatics into Ontologies for Net-Centric Information Exchange , 2007 .

[39]  Stefan Kowalewski,et al.  Using higher-order transformations to derive variability mechanism for embedded systems , 2009, MODELS'09.