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

DOI10.1016/j.jlap.2012.03.006zbMath1246.68098OpenAlexW2005238862MaRDI QIDQ444494

Yngve Lamo, Alessandro Rossini, Adrian Rutle, U. E. 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

category theoryconstraintsmodel transformationmodel-driven engineeringgraph transformationdiagram predicate framework

Mathematics Subject Classification ID

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

Related Items (6)

Multilevel Typed Graph Transformations ⋮ Multilevel coupled model transformations for precise and reusable definition of model behaviour ⋮ A formalisation of deep metamodelling ⋮ Comprehensive systems: a formal foundation for multi-model consistency management ⋮ Composition of multilevel domain-specific modelling languages ⋮ Fibred amalgamation, descent data, and Van Kampen squares in topoi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized sketches as a framework for completeness theorems. I-III
• A formalisation of the copy-modify-merge approach to version control in MDE
• Reasoning with graph constraints
• An algebraic semantics for MOF
• Fundamentals of algebraic graph transformation
• A Diagrammatic Logic for Object-Oriented Visual Modeling
• Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
• Pattern-Based Model-to-Model Transformation
• Graph Transformations
• Fundamental Approaches to Software Engineering
• Formal Methods in Software and Systems Modeling

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