Termination analysis of model transformations by petri nets

Authors:
Dániel Varró;Szilvia Varró–Gyapay;Hartmut Ehrig;Ulrike Prange;Gabriele Taentzer
Affiliations:
Department of Measurement and Information Systems, Budapest University of Technology and Economics;Department of Measurement and Information Systems, Budapest University of Technology and Economics;Technical University of Berlin;Technical University of Berlin;Technical University of Berlin
Venue:
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Year:
2006

Citing 12
Cited 13

Graph processes

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)
A Static Analysis Technique for Graph Transformation Systems

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Concurrent Graph and Term Graph Rewriting

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
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)
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Graph Transformation Semantics for a QVT Language

Electronic Notes in Theoretical Computer Science (ENTCS)
Termination criteria for model transformation

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

Towards a Systematic Method for Proving Termination of Graph Transformation Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Workshop on Petri Nets and Graph Transformations

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Combining Quality Assurance and Model Transformations in Business-Driven Development

Applications of Graph Transformations with Industrial Relevance
Translating model simulators to analysis models

FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Leveraging model-based tool integration by conceptual modeling techniques

The evolution of conceptual modeling
Catch me if you can – debugging support for model transformations

MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
A model-driven framework for guided design space exploration

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Change-driven model transformations

Software and Systems Modeling (SoSyM)
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
Model-based testing of service infrastructure components

TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Automated verification of model transformations based on visual contracts

Automated Software 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)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Despite the increasing relevance of model transformation techniques in model-driven software development, research is mainly conducted to the specification and the automation of such transformations. However, since the transformations themselves may also contain conceptual flaws, it is essential to formally analyze them prior to executing them on user models. In the current paper, we focus on a central validation problem of trusted model transformations, namely, termination and propose a Petri net based analysis method that provides a sufficient criterion for the termination problem of model transformations captured by graph transformation systems.