A Declarative Approach for Transforming SysML Models to Executable Simulation Models

[1]  Sandro Morasca,et al.  Property-Based Software Engineering Measurement , 1996, IEEE Trans. Software Eng..

[2]  José Luis Risco-Martín,et al.  A W3C XML schema for DEVS scenarios , 2007, SpringSim '07.

[3]  Christiaan J. J. Paredis,et al.  A formal framework for capturing knowledge to transform structural models into analysis models , 2011, J. Simulation.

[4]  Mara Nikolaidou,et al.  Simulating simulation-agnostic SysML models for enterprise information systems via DEVS , 2016, Simul. Model. Pract. Theory.

[5]  Luís Ferreira Pires,et al.  Performance in Model Transformations: Experiments with ATL and QVT , 2011, ICMT@TOOLS.

[6]  José Luis Risco-Martín,et al.  DEVSML 3.0 stack: rapid deployment of DEVS farm in distributed cloud environment using microservices and containers , 2017, SpringSim.

[7]  Mara Nikolaidou,et al.  Model-based system engineering using SysML: Deriving executable simulation models with QVT , 2014, 2014 IEEE International Systems Conference Proceedings.

[8]  M. Frank,et al.  Characteristics of engineering systems thinking - a 3D approach for curriculum content , 2002, IEEE Trans. Syst. Man Cybern. Part C.

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

[10]  Oliver Niggemann,et al.  Automatic Parameter Estimation for Reusable Software Components of Modular and Reconfigurable Cyber-Physical Production Systems in the Domain of Discrete Manufacturing , 2018, IEEE Transactions on Industrial Informatics.

[11]  Reinhard German,et al.  Merging OMG standards in a general modeling, transformation, and simulation framework , 2015, SimuTools.

[12]  Volker Stolz,et al.  QVT-based model transformation using XSLT , 2011, SOEN.

[13]  Frédéric Jouault,et al.  On the interoperability of model-to-model transformation languages , 2007, Sci. Comput. Program..

[14]  Loyd Baker,et al.  FOUNDATIONAL CONCEPTS FOR MODEL DRIVEN SYSTEM DESIGN , 2000 .

[15]  Gergely Popovics,et al.  An approach to Determine Simulation Model Complexity , 2016 .

[16]  S. W. Ambler,et al.  Agile model driven development is good enough , 2003 .

[17]  Carlos Daniel Luna,et al.  Towards an automatic model transformation mechanism from UML state machines to DEVS models , 2015, CLEI Electron. J..

[18]  Oliver Rose,et al.  First steps towards a general SysML model for discrete processes in production systems , 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).

[19]  Mara Nikolaidou,et al.  Simulating SysML models: Overview and challenges , 2015, 2015 10th System of Systems Engineering Conference (SoSE).

[20]  Jose Ignacio Aizpurua,et al.  A Model-Based Hybrid Approach for Circuit Breaker Prognostics Encompassing Dynamic Reliability and Uncertainty , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[21]  Federico Bergero,et al.  PowerDEVS: a tool for hybrid system modeling and real-time simulation , 2011, Simul..

[22]  Mara Nikolaidou,et al.  Extending SysML to explore non-functional requirements: the case of information system design , 2012, SAC '12.

[23]  Mara Nikolaidou,et al.  Simulating SysML transportation models , 2016, 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

[24]  Leon F. McGinnis,et al.  System modeling in SYsML and system analysis in Arena , 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).

[25]  Mara Nikolaidou,et al.  An integrated framework for automated simulation of SysML models using DEVS , 2014, Simul..

[26]  Thomas Witte,et al.  XML-based DEVS modeling and interpretation , 2009, SpringSim '09.

[27]  Brian J. Sauser,et al.  Transitioning Systems Thinking to Model-Based Systems Engineering: Systemigrams to SysML Models , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[28]  Steffen Becker,et al.  Evaluating Maintainability with Code Metrics for Model-to-Model Transformations , 2010, QoSA.

[29]  Elisabet Estévez-Estévez,et al.  Automatic Generation of the Supervisor Code for Industrial Switched-Mode Systems , 2013, IEEE Transactions on Industrial Informatics.

[30]  Perdita Stevens,et al.  Bidirectional model transformations in QVT: semantic issues and open questions , 2007, MODELS'07.

[31]  Dov Dori,et al.  Model-Based Interoperability Engineering in Systems-of-Systems and Civil Aviation , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[32]  Randall P. Sadowski,et al.  Simulation with Arena , 1998 .

[33]  Kleanthis Thramboulidis,et al.  UML4IoT - A UML profile to exploit IoT in cyber-physical manufacturing systems , 2015, ArXiv.

[34]  Bernhard Westfechtel.  A case study for evaluating bidirectional transformations in QVT relations , 2015, 2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE).

[35]  Werner Retschitzegger,et al.  Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy , 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.

[36]  Rochdi Merzouki,et al.  Multilevel Modeling of System of Systems , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[37]  Leon F. McGinnis,et al.  Capturing simulation tool and application domain knowledge for automating simulation model creation , 2015, J. Simulation.

[38]  Leon F. McGinnis,et al.  System and simulation modeling using SYSML , 2007, 2007 Winter Simulation Conference.

[39]  Su-Youn Hong,et al.  DEVSim++ Toolset for Defense Modeling and Simulation and Interoperation , 2011 .

[40]  Pieter Van Gorp,et al.  Evaluation of model transformation approaches for model refactoring , 2014, Sci. Comput. Program..

[41]  Jing Du,et al.  The "weight" of models and complexity , 2016, Complex..

[42]  Jinya Su,et al.  Model-Based Fault Diagnosis System Verification Using Reachability Analysis , 2019, IEEE Transactions on Systems, Man, and Cybernetics: Systems.