Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation

DOI10.1007/978-3-642-03741-2_26zbMath1239.68026OpenAlexW1557021622MaRDI QIDQ2888500

Fernando Orejas, Juan de Lara, Esther Guerra, Hartmut Ehrig

Publication date: 1 June 2012

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10486/664376

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation ⋮ On the Specification and Verification of Model Transformations ⋮ A formal approach to the specification and transformation of constraints in MDE ⋮ Formal analysis of model transformations based on triple graph grammars ⋮ Controlling Reuse in Pattern-Based Model-to-Model Transformations

Cites Work

• Unnamed Item
• Unnamed Item
• Fundamentals of algebraic graph transformation
• Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
• Pattern-Based Model-to-Model Transformation
• Foundations of Software Science and Computation Structures
• Fundamental Approaches to Software Engineering

This page was built for publication: Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation