Termination Criteria for Model Transformation

No abstract is available for this paper.

• Publication year

  2005

• Venue

  Transformation Techniques in Software Engineering

• Publication date

  2005-04-04

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-540-31984-9_5
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Termination of High-Level Replacement Units with Application to Model Transformation

  2005cited by this paper
• Model Driven Architecture with Executable UML

  2004cited by this paper
• Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation

  2004cited by this paper
• Fundamental Theory for Typed Attributed Graph Transformation

  2004cited by this paper
• OCLPrime - Environment and Language for Model Query, Views and Transformations

  2004cited by this paper
• Automated Model Transformation and Its Validation Using AToM 3 and AGG

  2004cited by this paper
• Adhesive High-Level Replacement Categories and Systems

  2004cited by this paper
• Automated Model Transformations for the Analysis of It Systems

  2003influential reference
• Revised submission for MOF 2.0 query / views /transformations RFP.

  2003cited by this paper
• Confluence of Typed Attributed Graph Transformation Systems

  2002cited by this paper
• Designing the automatic transformation of visual languages

  2002cited by this paper
• A Formal Semantics of UML Statecharts by Model Transition Systems

  2002cited by this paper
• Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts

  2002cited by this paper
• Towards automatic translation of UML models into semantic domains

  2002cited by this paper
• Improving UML with Petri nets

  2001cited by this paper
• Semi-decisions in the validation of dependable systems 1

  2001cited by this paper
• Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation

  2000cited by this paper
• Graph rewrite systems for program optimization

  2000cited by this paper
• Termination of Graph Rewriting is Undecidable

  1998cited by this paper
• Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach

  1997cited by this paper
• Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations

  1997cited by this paper
• GRAPH GRAMMARS WITH NEGATIVE APPLICATION CONDITIONS

  1996cited by this paper
• Specification of Graph Translators with Triple Graph Grammars

  1994cited by this paper
• Statecharts: A Visual Formalism for Complex Systems

  1987cited by this paper
• Introduction to the Algebraic Theory of Graph Grammars (A Survey)

  1978cited by this paper

• Automated Transformation of a Domain-Specific Language for System Modeling to Stochastic Colored Petri Nets

  2024cites this paper
• Model Transformation Testing and Debugging: A Survey

  2022cites this paper
• Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations

  2022cites this paper
• Finding a Universal Execution Strategy for Model Transformation Networks

  2021cites this paper
• Towards language-to-language transformation

  2021cites this paper
• An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models

  2020cites this paper
• On the use of Triple Graph Grammars for Model Composition

  2020cites this paper
• Using internal domain-specific languages to inherit tool support and modularity for model transformations

  2019cites this paper
• Survey and classification of model transformation tools

  2018cites this paper
• An Approach Based on Hierarchical Petri Nets for the Verification of Interconnected BPEL Processes

  2018cites this paper
• Confluence analysis for a graph programming language

  2018cites this paper
• PROV-GTS: a template-based PROV graph transformation system for obscuring provenance confidential information

  2017cites this paper
• Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques

  2017cites this paper
• Pattern-based Rewriting through Abstraction

  2016cites this paper
• A template-based graph transformation system for the PROV data model

  2016cites this paper
• On the Quality Properties of Model Transformations: Performance and Correctness

  2016cites this paper
• Formal Verification Techniques for Model Transformations: A Tridimensional Classification

  2015influential citation
• Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings

  2015cites this paper
• Assessing and improving quality of QVTo model transformations

  2015cites this paper
• From UML diagrams to simulink models: a precise and verified translation

  2015cites this paper
• THE PRINCIPLES OF COMPLETE AND CORRECT TRANSFORMATION OF THE SYNCHRONIZED MODELS

  2015cites this paper
• Static Fault Localization in Model Transformations

  2015cites this paper
• Formal Verification of Graph-Based Model Transformations

  2015influential citation
• Confluence Detection for Transformations of Labelled Transition Systems

  2015cites this paper
• Comparison and Evaluation of Model Transformation Tools

  2015cites this paper
• Theoretical Computer Science

  2014cites this paper
• Heterogeneous verification of model transformations

  2014cites this paper
• Termination Analysis for Graph Transformation Systems

  2014cites this paper
• Analysing Graph Programs for Confluence

  2014cites this paper
• Software Models

  2014cites this paper
• Combining termination proofs in model transformation systems

  2014influential citation
• Grammar-based model transformations

  2014cites this paper
• Conflict detection and analysis for single-pushout high-level replacement

  2014cites this paper
• Trajectory Set Approximation for Optimization and Verification of IT Systems

  2014cites this paper
• Verification of Model Transformations: A Survey of the State-of-the-Art

  2013cites this paper
• Quality assurance with dynamic meta modeling

  2013cites this paper
• A declarative and bidirectional model transformation approach based on graph co-spans

  2013cites this paper
• From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis

  2013cites this paper
• Formal specification and analysis of functional properties of graph rewriting‐based model transformation

  2013cites this paper
• Formal Specification and Testing of Model Transformations

  2012cites this paper
• Towards a model transformation intent catalog

  2012cites this paper
• Verification of Graph Programs

  2012cites this paper
• Tools of model transformation by graph transformation: A comparative study

  2012cites this paper
• Formal Methods for Model-Driven Engineering

  2012cites this paper
• Konzeption und Evaluation eines hybriden, skalierbaren Werkzeugs zur mechatronischen Systemdiagnose am Beispiel eines Diagnosesystems für freie Kfz-Werkstätten

  2012cites this paper
• A Tridimensional Approach for Studying the Formal Verification of Model Transformations

  2012cites this paper
• Typing Model Transformations Using Tracts

  2012cites this paper
• Specification and Validation of Model Transformations for Certified Systems' Development

  2012cites this paper
• A Graphical Specification of Model Composition with Triple Graph Grammars

  2012cites this paper
• Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs

  2012cites this paper
• Model transformation dependability evaluation by the automated creation of model generators

  2012cites this paper
• Analysis of Model Transformations

  2012influential citation
• Automated offline verification of graph rewriting-based model transformations

  2012cites this paper
• Instance Generation from Type Graphs with Arbitrary Multiplicities

  2012cites this paper
• Model-based (mechanical) product design

  2011cites this paper
• Verification and validation of model refinement implemented through graph transformation systems

  2011cites this paper
• Multi-layer syntactical model transformation for model based systems engineering

  2011cites this paper
• Tractable Model Transformation Testing

  2011cites this paper
• Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing

  2011cites this paper
• On validation of ATL transformation rules by transformation models

  2011cites this paper
• Semantic clone detection for model-based development of embedded systems

  2011cites this paper
• Electronic Communications of the EASST Volume 30 ( 2010 ) International Colloquium on Graph and Model Transformation On the occasion of the 65 th birthday of Hartmut Ehrig ( GraMoT 2010 ) Specification and Verification of Model Transformations

  2010cites this paper
• Combining Termination Criteria by Isolating Deletion

  2010cites this paper
• Transforming process models: executable rewrite rules versus a formalized java program

  2010cites this paper
• Graph rewriting for model construction in modal logic. (Réécriture de graphes pour la construction de modèles en logique modale)

  2010cites this paper
• Formal verification of model transformations: An automated framework

  2010cites this paper
• Generating transformation rules from examples for behavioral models

  2010cites this paper
• Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System

  2010cites this paper
• Towards Automated, Formal Verification of Model Transformations

  2010cites this paper
• Combining Graph Transformation and Algebraic Specification into Model Transformation

  2010cites this paper
• DSLTrans: A Turing Incomplete Transformation Language

  2010cites this paper
• Specification and Verification of Model Transformations

  2010cites this paper
• Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard

  2010cites this paper
• An approach to refactoring legacy systems

  2010cites this paper
• Towards Formal Analysis of Multi-paradigm Model Transformations

  2010cites this paper
• International Colloquium on Graph and Model Transformation On the occasion of the 65 th birthday of Hartmut Ehrig ( GraMoT 2010 ) A Termination Criterion for Graph Transformations with Negative Application Conditions

  2010cites this paper
• Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version

  2009cites this paper
• Compositionality of Model Transformations

  2009cites this paper
• Automatic development of service oriented models using graph transformation systems

  2009cites this paper
• Visual Modelling and Analysis of Model Transformations based on Graph Transformation

  2009cites this paper
• Towards a compositional approach to model transformation for software development

  2009influential citation
• Automatic Refinement of Platform Independent Models

  2009cites this paper
• Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation

  2009cites this paper
• Warshall Based Detection of Conflicts and Dependencies in Graph Transformation System

  2009cites this paper
• Building Dynamic Model in UML Using Colored Petri Nets

  2009cites this paper
• Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach

  2009cites this paper
• A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams

  2008cites this paper
• ADVANCED TECHNIQUES FOR THE IMPLEMENTATION OF MODEL TRANSFORMATION SYSTEMS

  2008cites this paper
• From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations

  2008cites this paper
• Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars

  2008cites this paper
• Graph Multiset Transformation as a Framework for Massively Parallel Computation

  2008cites this paper
• GRACE TECHNICAL REPORTS Towards Compositional Approach to Model Transformation for Software Development

  2008cites this paper
• Graph Transformation Semantics for a QVT Language

  2008cites this paper
• Meta-Modelling and Graph Transformation for the Definition of Multi-View Visual Languages

  2008cites this paper
• Matrix Graph Grammars

  2008cites this paper
• Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo

  2008cites this paper
• Recursive Graph Pattern Matching

  2008cites this paper
• Programmed Graph Rewriting with DEVS

  2008cites this paper
• Towards a Systematic Method for Proving Termination of Graph Transformation Systems

  2008cites this paper
• Model Transformation with a Visual Control Flow Language

  2008cites this paper