A formal approach to the specification and transformation of constraints in MDE

DOI10.1016/J.JLAP.2012.03.006MaRDI QIDQ444494zbMATH OpenOpenAlexFDO

Authors Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter

Publication date 14 August 2012

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2012.03.006

zbMATH Keywords

constraintscategory theorygraph transformationmodel transformationdiagram predicate frameworkmodel-driven engineering

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of software (68N99)

Recommendations

• Constraint validation support in visual model transformation systems
• Pattern-Based Model-to-Model Transformation
• On the Specification and Verification of Model Transformations
• Constructing constraint-preserving interaction schemes in adhesive categories
• The model transformation language of the VIATRA2 framework

Cites work

• scientific article; zbMATH DE number 1670627 (Why is no real title available?)
• scientific article; zbMATH DE number 2010596 (Why is no real title available?)
• scientific article; zbMATH DE number 2006493 (Why is no real title available?)
• scientific article; zbMATH DE number 2086744 (Why is no real title available?)
• scientific article; zbMATH DE number 803303 (Why is no real title available?)
• A diagrammatic logic for object-oriented visual modeling
• A formalisation of the copy-modify-merge approach to version control in MDE
• An algebraic semantics for MOF
• Constraint validation support in visual model transformation systems
• Correctness, completeness and termination of pattern-based model-to-model transformation
• Formal Methods in Software and Systems Modeling
• Fundamental Approaches to Software Engineering
• Fundamentals of algebraic graph transformation
• Generalized sketches as a framework for completeness theorems. I-III
• Graph Transformations
• Pattern-Based Model-to-Model Transformation
• Reasoning with graph constraints

Cited in

(9)

• Pattern-Based Model-to-Model Transformation
• Multilevel coupled model transformations for precise and reusable definition of model behaviour
• Fibred amalgamation, descent data, and Van Kampen squares in topoi
• A formalisation of deep metamodelling
• Constraint validation support in visual model transformation systems
• Constructing optimized constraint-preserving application conditions for model transformation rules
• Multilevel typed graph transformations
• Comprehensive systems: a formal foundation for multi-model consistency management
• Composition of multilevel domain-specific modelling languages

This page was built for publication: A formal approach to the specification and transformation of constraints in MDE

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