Graph grammars with negative application conditions
Fundamenta Informaticae - Special issue on graph transformations
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
VIATRA " Visual Automated Transformations for Formal Verification and Validation of UML Models
Proceedings of the 17th IEEE international conference on Automated software engineering
DiaGen: a generator for diagram editors providing direct manipulation and execution of diagrams
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
MetaEdit+: defining and using domain-specific modeling languages and code generators
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of Visual Models in a Rule-based Setting
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
| Hi-index | 0.00 |
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanced with information on concrete visualization of objects and relations, and the language syntax is defined by a graph grammar. Moreover, graph transformation can also formalize the semantic aspects of models, thus providing a basis for model validation by simulation. Apart from editing and simulating the behavior of a system, there may be necessary reconfiguration operations which change the underlying system structure at runtime. In this paper, we focus on the interrelation of simulation and reconfiguration operations using formal verification techniques based on graph transformation. Our approach is demonstrated by the definition of a domain-specific language for building, simulating and reconfiguring small railway systems, using the Tiger tool environment. For further verification, we define a model transformation from the railway domain to Petri nets.