Termination criteria for model transformation

Authors:
Hartmut Ehrig;Karsten Ehrig;Juan de Lara;Gabriele Taentzer;Dániel Varró;Szilvia Varró-Gyapay
Affiliations:
Technische Universität Berlin, Germany;Technische Universität Berlin, Germany;Universidad Autonoma of Madrid, Spain;Technische Universität Berlin, Germany;Budapest University of Technology and Economics, Hungary;Budapest University of Technology and Economics, Hungary
Venue:
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
Year:
2005

Citing 14
Cited 31

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Graph grammars with negative application conditions

Fundamenta Informaticae - Special issue on graph transformations
Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach

Handbook of graph grammars and computing by graph transformation
Termination of graph rewriting is undecidable

Fundamenta Informaticae
Graph rewrite systems for program optimization

ACM Transactions on Programming Languages and Systems (TOPLAS)
Designing the automatic transformation of visual languages

Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Introduction to the Algebraic Theory of Graph Grammars (A Survey)

Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts

ICGT '02 Proceedings of the First International Conference on Graph Transformation
A Formal Semantics of UML Statecharts by Model Transition Systems

ICGT '02 Proceedings of the First International Conference on Graph Transformation
Confluence of Typed Attributed Graph Transformation Systems

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
Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation

VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
Model Driven Architecture with Executable UML(TM)

Model Driven Architecture with Executable UML(TM)

Attributed graph transformation with node type inheritance

Theoretical Computer Science
Termination Criteria for DPO Transformations with Injective Matches

Electronic Notes in Theoretical Computer Science (ENTCS)
Undecidable Control Conditions in Graph Transformation Units

Electronic Notes in Theoretical Computer Science (ENTCS)
Graph Transformation Semantics for a QVT Language

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Systematic Method for Proving Termination of Graph Transformation Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations

ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Graph Multiset Transformation as a Framework for Massively Parallel Computation

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Compositionality of Model 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)
Efficient Detection of Conflicts in Graph-based Model Transformation

Electronic Notes in Theoretical Computer Science (ENTCS)
High-level replacement units and their termination properties

Journal of Visual Languages and Computing
Incremental resolution of model inconsistencies

WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Generating transformation rules from examples for behavioral models

Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Correctness, completeness and termination of pattern-based model-to-model transformation

CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Towards Formal Analysis of Multi-paradigm Model Transformations

Simulation
Combining termination criteria by isolating deletion

ICGT'10 Proceedings of the 5th international conference on Graph transformations
DSLTrans: a turing incomplete transformation language

SLE'10 Proceedings of the Third international conference on Software language engineering
Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing

Natural Computing: an international journal
Tractable model transformation testing

ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Semantic clone detection for model-based development of embedded systems

Proceedings of the 14th international conference on Model driven engineering languages and systems
On validation of ATL transformation rules by transformation models

Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs

Theoretical Computer Science
Termination analysis of model transformations by petri nets

ICGT'06 Proceedings of the Third international conference on Graph Transformations
Weakest preconditions for high-level programs

ICGT'06 Proceedings of the Third international conference on Graph Transformations
Generating instance models from meta models

FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Combining graph transformation and algebraic specification into model transformation

WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Typing model transformations using tracts

ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Formal specification and testing of model transformations

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
Towards a model transformation intent catalog

Proceedings of the First Workshop on the Analysis of Model Transformations
Verification of Model Transformations

Electronic Notes in Theoretical Computer Science (ENTCS)
A declarative and bidirectional model transformation approach based on graph co-spans

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by its transformation to some other domain), optimization, evolution, migration or even code generation. In this work, we show termination criteria for model transformation based on graph transformation. This framework offers visual and formal techniques based on rules, in such a way that model transformations can be subject to analysis. Previous results on graph transformation are extended by proving the termination of a transformation if the rules applied meet certain criteria. We show the suitability of the approach by an example in which we translate a simplified version of Statecharts into Petri nets for functional correctness analysis.