Efficient Graph Rewriting and Its Implementation
Efficient Graph Rewriting and Its Implementation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Issues in the Practical Use of Graph Rewriting
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Proceedings of the 35th conference on Winter simulation: driving innovation
HDPS, an XML/XSLT based hierarchal modeling system
WSC '04 Proceedings of the 36th conference on Winter simulation
Single-threaded specification of process-interaction formalism in Java
WSC '04 Proceedings of the 36th conference on Winter simulation
Meta-modeling framework: A new approach to manage meta-modelbase and modeling knowledge
Knowledge-Based Systems
Petri net translation patterns for the analysis of ebusiness collaboration messaging protocols
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Metamodelling: state of the art and research challenges
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Model-driven development of simulation solution based on SysML starting with the simulation core
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Towards reusing model components in systems biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Multi-perspective modelling of complex phenomena
Computational & Mathematical Organization Theory
Model transformation from BPMN to DEVS in the MDD4MS framework
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Overview of techniques for model-driven development of a simulation package
Proceedings of the Winter Simulation Conference
Metamodeling and model transformations in modeling and simulation
Proceedings of the Winter Simulation Conference
Hi-index | 0.03 |
This article introduces multi-formalism modelling and meta-modelling to facilitate computer assisted modelling and simulation of complex systems. To aid in the automatic generation of multi-formalism modelling and simulation tools, formalisms are modelled in their own right, at a meta-level, within an appropriate formalism. This approach is implemented in the interactive tool ATOM3 (A Tool for Multi-formalism Meta-Modelling). This tool is used to describe formalisms commonly used in the simulation of dynamical systems, as well as to generate custom tools to process (create, edit, simulate, ...) models expressed in the corresponding formalism. ATOM3 relies on graph rewriting techniques to perform the transformations (modelled as graph grammars) between formalisms as well as for other tasks, such as code generation or simulator specification. The Finite State Automata (FSA) formalism is used to demonstrate the concepts of meta-modelling as well as model transformation (in particular, simulation of FSA models). The issue of a neutral model exchange and re-use format is addressed in the context of meta-modelling. Core XML is proposed as a standard external format. Thanks to the power of the meta-modelling approach, DTD, XMLSchema, and XSLT specifications may be replaced by models, externally represented in core XML, in appropriate formalisms (Entity Relationship for syntax and Graph Grammar for transformation respectively).