Fundamental Approaches to Software Engineering

DOI10.1007/B107062MaRDI QIDQ5316443zbMATH OpenOpenAlexFDO

Authors Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Dániel Varró, Szilvia Varró-Gyapay, Gabriele Taentzer

Publication date 13 September 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107062

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Combining termination proofs in model transformation systems
• Termination Analysis of Model Transformations by Petri Nets
• Termination criteria for DPO transformations with injective matches
• Combining termination criteria by isolating deletion
• On the Specification and Verification of Model Transformations

Cited in

(17)

• Grammar-based model transformations: definition, execution, and quality properties
• Finding a universal execution strategy for model transformation networks
• Termination criteria for DPO transformations with injective matches
• Undecidable control conditions in graph transformation units
• Correctness, completeness and termination of pattern-based model-to-model transformation
• Combining graph transformation and algebraic specification into model transformation
• Proving termination of graph transformation systems using weighted type graphs over semirings
• Graph Multiset Transformation as a Framework for Massively Parallel Computation
• Termination Analysis of Model Transformations by Petri Nets
• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• Towards a systematic method for proving termination of graph transformation systems
• Graph transformation semantics for a QVT language
• Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars
• A typed attributed graph grammar with inheritance for the abstract syntax of UML class and sequence diagrams
• Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing
• Termination and expressiveness of execution strategies for networks of bidirectional model transformations
• Attributed graph transformation with node type inheritance

Describes a project that uses

Uses Software

• AGG
• AToM3

This page was built for publication: Fundamental Approaches to Software Engineering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5316443)