Capturing simulation tool and application domain knowledge for automating simulation model creation

Model-driven architecture (MDA) is a contemporary strategy for software development using three distinct kinds of models: (1) models expressing the problem to be solved in the semantics of its domain; (2) models of the solution space in terms of hardware and software elements; and (3) models that map from the domain space to the solution space. We explore an adaptation of the MDA strategy to meet some key application challenges in creating simulation models to support system design and operating decisions. For a given simulation tool, our approach requires a single transformation model that is applicable for any domain for which the simulation tool is appropriate. For a given application domain, our approach allows an iterative development of the domain semantics. Our approach empowers the domain stakeholders with engineering tools for defining the problem to be solved and formally integrating that definition with the simulation solver. Finally, our approach captures knowledge about how to translate from the problem domain to the simulation tool so that knowledge can be taught, reused, and refined.

[1]  Bran Selic,et al.  Using UML for Modeling Complex Real-Time Systems , 1998, LCTES.

[2]  Arie van Deursen,et al.  Domain-specific language design requires feature descriptions , 2002 .

[3]  Fertigungstechnik Maschinenbau,et al.  ATLAS Transformation Language , 2010 .

[4]  Mark Strembeck,et al.  An approach for the systematic development of domain‐specific languages , 2009, Softw. Pract. Exp..

[5]  Anne Rogers,et al.  Hancock: a language for extracting signatures from data streams , 2000, KDD '00.

[6]  Bin Liu,et al.  A Modeling Language Based on UML for Modeling Simulation Testing System of Avionic Software , 2011 .

[7]  Marco Antoniotti,et al.  SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation , 1997, DSL.

[8]  Ketil Stølen,et al.  What is model driven architecture , 2003 .

[9]  Christiaan J. J. Paredis,et al.  Modeling Continuous System Dynamics in SysML , 2007 .

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

[11]  Thomas Ball,et al.  Mawl: A Domain-Specific Language for Form-Based Services , 1999, IEEE Trans. Software Eng..

[12]  Leon F. McGinnis,et al.  SysML to discrete-event simulation to analyze electronic assembly systems , 2012, SpringSim.

[13]  David Frankel,et al.  Model Driven Architecture: Applying MDA to Enterprise Computing , 2003 .

[14]  Alan W. Brown.  Model driven architecture: Principles and practice , 2004, Software and Systems Modeling.

[15]  Jörg Becker,et al.  Developing a Business Process Modeling Language for the Banking Sector - A Design Science Approach , 2009, AMCIS.

[16]  Manas Bajaj,et al.  Simulation-Based Design Using SysML Part 1: A Parametrics Primer , 2007 .

[17]  Leon F. McGinnis,et al.  6.5.2 MBSE Supports Manufacturing System Design , 2012 .

[18]  J. C. Cain,et al.  Summary and future work , 1973 .

[19]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[20]  Olivia Freeman,et al.  Talking points personal outcomes approach: practical guide. , 2012 .

[21]  C.J.H. Mann,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2009 .

[22]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[23]  Juan de Lara.  Distributed Event Graphs: Formalizing Component-based Modelling and Simulation , 2005, Electron. Notes Theor. Comput. Sci..

[24]  Gerhard Friedrich,et al.  Uml as Domain Specific Language for the Construction of Knowledge-Based Configuration Systems , 1999, Int. J. Softw. Eng. Knowl. Eng..

[25]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

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

[27]  Neil A. Speirs,et al.  Automatic Generation of Distributed System Simulations from UML , 1999 .

[28]  Lee W. Schruben,et al.  Simulation modeling with event graphs , 1983, CACM.

[29]  Robert B. France,et al.  A UML-based language for specifying domain-specific patterns , 2004, J. Vis. Lang. Comput..

[30]  A. Siadat,et al.  MASON: A Proposal For An Ontology Of Manufacturing Domain , 2006, IEEE Workshop on Distributed Intelligent Systems: Collective Intelligence and Its Applications (DIS'06).

[31]  Bran Selic,et al.  A Systematic Approach to Domain-Specific Language Design Using UML , 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

[32]  Leon F. McGinnis,et al.  Toward on-demand wafer fab simulation using formal structure & behavior models , 2008, 2008 Winter Simulation Conference.

[33]  Leon F. McGinnis,et al.  Ontologies and simulation: a practical approach , 2011, J. Simulation.

[34]  Stephen J. Mellor,et al.  MDA Distilled Principles Of Model-Driven Architecture , 2004 .

[35]  YOUNG JUN SON,et al.  Simulation-based shop floor control: formal model, model generation and control interface , 2003 .

[36]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[37]  Jean Pierre Bourey,et al.  A comparison of model transformation tools: Application for Transforming GRAI Extended Actigrams into UML Activity Diagrams , 2008, Comput. Ind..

[38]  Behzad Bordbar,et al.  UML2ALLOY: A tool for lightweight modelling of discrete event systems , 2005, IADIS AC.