A history of discrete event simulation programming languages
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Arena: a SIMAN/Cinema-based hierarchical modeling system
WSC '92 Proceedings of the 24th conference on Winter simulation
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Simulation modeling with event graphs
Communications of the ACM
A comparison of simulation event list algorithms
Communications of the ACM
Discrete-event simulation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
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
The semantics and execution of a synchronous block-diagram language
Science of Computer Programming
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Domain-Specific Modeling
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Attributed graph transformation with node type inheritance
Theoretical Computer Science
Modeling and Verification of Reliable Messaging by Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
SIMIO: a new simulation system based on intelligent objects
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Programmed Graph Rewriting with DEVS
Applications of Graph Transformations with Industrial Relevance
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
Software Language Engineering
Rewriting Logic Semantics and Verification of Model Transformations
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Tools For Structured and Object-Oriented Design
Tools For Structured and Object-Oriented Design
A graphical approach for modeling time-dependent behavior of DSLs
VLHCC '09 Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Decentralized service composition in pervasive computing environments
Proceedings of the 6th International Wireless Communications and Mobile Computing Conference
An algebraic semantics for MOF
Formal Aspects of Computing
On the behavioral semantics of real-time domain specific visual languages
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Graph transformation for domain-specific discrete event time simulation
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Formal real-time model transformations in MOMENT2
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Incremental service composition based on partial matching of visual contracts
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Conflict detection for graph transformation with negative application conditions
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Stochastic Graph Transformation Systems
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Graph Transformation with Time
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
Modeling and verifying dynamic communication structures based on graph transformations
Computer Science - Research and Development
Inside discrete-event simulation software: how it works and why it matters
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
Graph transformation is being increasingly used to express the semantics of domain-specific visual languages since its graphical nature makes rules intuitive. However, many application domains require an explicit handling of time to accurately represent the behaviour of a real system and to obtain useful simulation metrics to measure throughputs, utilization times and average delays. Inspired by the vast knowledge and experience accumulated by the discrete event simulation community, we propose a novel way of adding explicit time to graph transformation rules. In particular, we take the event scheduling discrete simulation world view and provide rules with the ability to schedule the occurrence of other rules in the future. Hence, our work combines standard, efficient techniques for discrete event simulation (based on the handling of a future event set) and the intuitive, visual nature of graph transformation. Moreover, we show how our formalism can be used to give semantics to other timed approaches and provide an implementation on top of the rewriting logic system Maude.