Communications of the ACM
ACM Transactions on Software Engineering and Methodology (TOSEM)
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
Efficient Graph Rewriting and Its Implementation
Efficient Graph Rewriting and Its Implementation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
A Pluralistic Knowledge-Based Approach to Software Specification
ESEC '89 Proceedings of the 2nd European Software Engineering Conference
Issues in the Practical Use of Graph Rewriting
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment
CAiSE ;96 Proceedings of the 8th International Conference on Advances Information System Engineering
Meta-CASE in Practice: a Case for KOGGE
CAiSE '97 Proceedings of the 9th International Conference on Advanced Information Systems Engineering
MULTIGRAPH: an architecture for model-integrated computing
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
Proceedings of the 35th conference on Winter simulation: driving innovation
Journal of Integrated Design & Process Science
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models
A Graph-Based Framework For Rapid Construction Of Document Integration Tools
Journal of Integrated Design & Process Science
Intuitive Visualization-Oriented Metamodeling
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Towards Model Transformation in Generated Eclipse Editor Plug-Ins
Electronic Notes in Theoretical Computer Science (ENTCS)
Independence of net transformations and token firing in reconfigurable place/transition systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Concept and pragmatics of an intuitive visualization-oriented metamodeling tool
Journal of Visual Languages and Computing
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Integration tools for consistency management between design documents in development processes
Graph transformations and model-driven engineering
Model-Driven assessment of use cases for dependable systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Multi-formalism modelling of cardiac tissue
FIMH'05 Proceedings of the Third international conference on Functional Imaging and Modeling of the Heart
Termination criteria for model transformation
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Agent-oriented approach based on discrete event systems (WIP)
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Hi-index | 0.00 |
This paper proposes a Multi-Paradigm approach to the modelling of complex systems. The approach consists of the combination of meta-modelling, multi-formalism modelling, and modelling at multiple levels of abstraction. We implement these concepts in AToM3, A Tool for Multi-formalism, Meta-Modelling. In AToM3, modelling formalisms are modelled in their own right at a meta-level within an appropriate formalism. AToM3 uses the information found in the meta-models to automatically generate tools to process (create, edit, check, optimize, transform and generate simulators for) the models in the described formalism. Model processing is described at a meta-level by means of models in the graph grammar formalism. As an example, meta-models for both syntax and semantics of Statecharts (without hierarchy) and Petri-Nets are presented. This includes a graph grammar modelling the transformation between Statecharts and Petri-Nets.