Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Communications of the ACM
ACM Transactions on Software Engineering and Methodology (TOSEM)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Efficient Graph Rewriting and Its Implementation
Efficient Graph Rewriting and Its Implementation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
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
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
Towards An Integration Of Different Specification Methods By Using The Viewpoint Framework
Journal of Integrated Design & Process Science
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Proceedings of the 35th conference on Winter simulation: driving innovation
A framework for modeling and implementing visual notations with applications to software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generation of visual editors as eclipse plug-ins
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Advanced model transformation language constructs in the VIATRA2 framework
Proceedings of the 2006 ACM symposium on Applied computing
Computer automated multi-paradigm modelling for analysis and design of traffic networks
WSC '04 Proceedings of the 36th conference on Winter simulation
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Attributed graph transformation with node type inheritance
Theoretical Computer Science
Model transformation in the large
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
The model transformation language of the VIATRA2 framework
Science of Computer Programming
The model transformation language of the VIATRA2 framework
Science of Computer Programming
Proceedings of the 2007 workshop on Automating service quality: Held at the International Conference on Automated Software Engineering (ASE)
Multi-formalism modelling and model transformation for the design of reactive systems
Proceedings of the 2007 Summer Computer Simulation Conference
Integrating Refinement into Software Development Tools
Electronic Notes in Theoretical Computer Science (ENTCS)
Transformational Pattern System -- Some Assembly Required
Electronic Notes in Theoretical Computer Science (ENTCS)
Visual Specification of Metrics for Domain Specific Visual Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Visual Languages and Computing
Visual specification of measurements and redesigns for domain specific visual languages
Journal of Visual Languages and Computing
Experiences with the DEVStone benchmark
Proceedings of the 2008 Spring simulation multiconference
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Models in Software Engineering
Programmed Graph Rewriting with Time for Simulation-Based Design
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Live Model Transformations Driven by Incremental Pattern Matching
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Distributed Graphs Transformed by Multiagent System
ICAISC '08 Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing
GRADIS --- Multiagent Environment Supporting Distributed Graph Transformations
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A Model-Driven Measurement Approach
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Combining Quality Assurance and Model Transformations in Business-Driven Development
Applications of Graph Transformations with Industrial Relevance
Using Graph Transformation to Support Collaborative Ontology Evolution
Applications of Graph Transformations with Industrial Relevance
A Generic Layout Algorithm for Meta-model Based Editors
Applications of Graph Transformations with Industrial Relevance
Domain Specific Languages with Graphical and Textual Views
Applications of Graph Transformations with Industrial Relevance
Programmed Graph Rewriting with DEVS
Applications of Graph Transformations with Industrial Relevance
Transforming Timeline Specifications into Automata for Runtime Monitoring
Applications of Graph Transformations with Industrial Relevance
Ludo: A Case Study for Graph Transformation Tools
Applications of Graph Transformations with Industrial Relevance
Supporting user-oriented analysis for multi-view domain-specific visual languages
Information and Software Technology
DREP: A Requirements Engineering Process for Dependable Reactive Systems
Methods, Models and Tools for Fault Tolerance
Rapid Development of Scoped User Interfaces
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
Tooling the Dynamic Behavior Models of Graphical DSLs
Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques
Exploring Multi-Paradigm Modeling Techniques
Simulation
An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Time and Space Issues in the Generation of Graph Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Graph Transformation Based Generation of Visual Editors Using Eclipse
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed Event Graphs: Formalizing Component-based Modelling and Simulation
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of Visual Models in a Rule-based Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Building syntax-aware editors for visual languages
Journal of Visual Languages and Computing
A model-based recognition engine for sketched diagrams
Journal of Visual Languages and Computing
Towards the generation of a text-based IDE from a language metamodel
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
A transformation-driven approach to the verification of security policies in web designs
ICWE'07 Proceedings of the 7th international conference on Web engineering
A survey on transformation tools for model based user interface development
HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Matrix Graph Grammars with Application Conditions
Fundamenta Informaticae
Information and Software Technology
Synchronization of abstract and concrete syntax in domain-specific modeling languages
Software and Systems Modeling (SoSyM)
Behavioural interoperability to support model-driven systems integration
Proceedings of the First International Workshop on Model-Driven Interoperability
Deep meta-modelling with METADEPTH
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Lessons learned from building a graph transformation system
Graph transformations and model-driven engineering
A framework for evolution of modelling languages
Science of Computer Programming
An approach for effective design space exploration
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Model-driven generative development of measurement software
Software and Systems Modeling (SoSyM)
Transforming UML2.0 class diagrams and statecharts to atomic DEVS
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
A model-driven software environment for modeling, simulation and analysis of complex systems
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Graphical definition of in-place transformations in the eclipse modeling framework
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model-Driven assessment of use cases for dependable systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Applying model-driven engineering for linking web service and context models: position paper
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Modular artifact synthesis from domain-specific models
Innovations in Systems and Software Engineering
Graphical template language for transformation synthesis
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Towards reusing model components in systems biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Model view management with triple graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Explicit transformation modeling
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Model transformation by-example: a survey of the first wave
Conceptual Modelling and Its Theoretical Foundations
Tree based domain-specific mapping languages
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Change-driven model transformations
Software and Systems Modeling (SoSyM)
Computations in graph rewriting: inductive types and pullbacks in DPO approach
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Calibration of deployment simulation models: a multi-paradigm modelling approach
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
MDD4MS: a model driven development framework for modeling and simulation
Proceedings of the 2011 Summer Computer Simulation Conference
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
A cooperative-relational approach to digital libraries
ECDL'07 Proceedings of the 11th European conference on Research and Advanced Technology for Digital Libraries
A visual token-based formalization of BPMN 2.0 based on in-place transformations
Information and Software Technology
The SIMTHESys multiformalism modeling framework
Computers & Mathematics with Applications
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
A visual modeling language for RDIS and ROS nodes using AToM3
SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots
An approach to supporting architecture evolution in Internetware
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
Metamodeling and model transformations in modeling and simulation
Proceedings of the Winter Simulation Conference
Software test automation using DEVSimPy environment
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Harmonizing textual and graphical visualizations of domain specific models
Proceedings of the Second Workshop on Graphical Modeling Language Development
A multi-level modeling environment for SUM-based software engineering
Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling
Viewpoints, formalisms, languages, and tools for cyber-physical systems
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
Exploiting product forms solution techniques in multiformalism modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Contribution of model-driven engineering to crop modeling
ICCSA'13 Proceedings of the 13th international conference on Computational Science and Its Applications - Volume 1
Hi-index | 0.00 |
This article introduces the combined use of multiformalism modelling and meta-modelling to facilitate computer assisted modelling of complex systems. The approach allows one to model different parts of a system using different formalisms. Models can be automatically converted between formalisms thanks to information found in a Formalism Transformation Graph (FTG), proposed by the authors. To aid in the automatic generation of multi-formalism modelling tools, formalisms are modelled in their own right (at a meta-level) within an appropriate formalism. This has been implemented in the interactive tool AToM3. 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, transform, simulate, optimise, ...) models expressed in the corresponding formalism. AToM3 relies on graph rewriting techniques and graph grammars to perform the transformations between formalisms as well as for other tasks, such as code generation and operational semantics specification.