Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
Parallel DEVS: a parallel, hierarchical, modular modeling formalism and its distributed simulator
Transactions of the Society for Computer Simulation International
Proceedings of the 22nd international conference on Software engineering
A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development
Discrete Event Dynamic Systems
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Graph Grammar Engineering with PROGRES
Proceedings of the 5th 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
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Graph Transformation with Time: Causality and Logical Clocks
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Metamodel based model transformation language
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Graph Transformation in a Nutshell
Electronic Notes in Theoretical Computer Science (ENTCS)
MOFLON: a standard-compliant metamodeling framework with graph transformations
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Transforming Timeline Specifications into Automata for Runtime Monitoring
Applications of Graph Transformations with Industrial Relevance
Graph transformation for domain-specific discrete event time simulation
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Explicit transformation modeling
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Integrating efficient model queries in state-of-the-art EMF tools
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Domain-specific discrete event modelling and simulation using graph transformation
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short review of existing programmed graph rewriting systems, listing the control structures they provide. As DEVS is a timed, highly modular, hierarchical formalism for the description of reactive systems, control structures such as sequence, choice, and iteration are easily modelled. Non-determinism and parallel composition also follow from DEVS' semantics. The proposed approach is illustrated through the modelling of a simple PacMan game, first in AToM3 and then using DEVS. We show how the use of DEVS allows for modular modification of control structure.