A formal approach to the specification and transformation of constraints in MDE
DOI10.1016/J.JLAP.2012.03.006zbMATH Open1246.68098OpenAlexW2005238862MaRDI QIDQ444494FDOQ444494
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
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
constraintscategory theorygraph transformationmodel transformationdiagram predicate frameworkmodel-driven engineering
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of software (68N99)
Cites Work
- Formal Methods in Software and Systems Modeling
- A formalisation of the copy-modify-merge approach to version control in MDE
- Title not available (Why is that?)
- An algebraic semantics for MOF
- Fundamentals of algebraic graph transformation
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Graph Transformations
- Fundamental Approaches to Software Engineering
- Constraint validation support in visual model transformation systems
- Generalized sketches as a framework for completeness theorems. I-III
- 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)
