Correctness, completeness and termination of pattern-based model-to-model transformation

DOI10.1007/978-3-642-03741-2_26MaRDI QIDQ2888500zbMATH OpenOpenAlexFDO

Authors Fernando Orejas, Esther Guerra, Juan de Lara, 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

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

Recommendations

• Pattern-Based Model-to-Model Transformation
• Formal analysis of model transformations based on triple graph grammars
• Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
• Formal analysis of functional behaviour for model transformations based on triple graph grammars
• Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels

Cites work

• Correctness, completeness and termination of pattern-based model-to-model transformation
• Foundations of Software Science and Computation Structures
• Fundamental Approaches to Software Engineering
• Fundamentals of algebraic graph transformation
• scientific article; zbMATH DE number 1231489 (Why is no real title available?)
• scientific article; zbMATH DE number 1946739 (Why is no real title available?)
• Pattern-Based Model-to-Model Transformation

Cited in

(8)

• Correctness, completeness and termination of pattern-based model-to-model transformation
• Controlling reuse in pattern-based model-to-model transformations
• On the Specification and Verification of Model Transformations
• Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
• Pattern-Based Model-to-Model Transformation
• A formal approach to the specification and transformation of constraints in MDE
• Formal analysis of model transformations based on triple graph grammars
• Finding the right way to Rome: effect-oriented graph transformation

This page was built for publication: Correctness, completeness and termination of pattern-based model-to-model transformation

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