Constraint validation support in visual model transformation systems

MaRDI QIDQ5475622zbMATH OpenFDO

Authors Laszlo Lengyel, Tihamér Levendovszky, Hassan Charaf

Publication date 27 June 2006

zbMATH Keywords

Model-Driven ArchitecturePlatform-Independent Model

Mathematics Subject Classification ID

Theory of operating systems (68N25) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 2016069
• A formal approach to the specification and transformation of constraints in MDE
• Model Transformations Incorporating Multiple Views
• A model-based development approach for model transformations
• Visual modelling and analysis of model transformations based on graph transformation

Cited in

(5)

• scientific article; zbMATH DE number 1693509 (Why is no real title available?)
• Termination criteria for DPO transformations with injective matches
• Imposing Modeling Rules on Industrial Applications through Meta-modeling
• scientific article; zbMATH DE number 1951527 (Why is no real title available?)
• A formal approach to the specification and transformation of constraints in MDE

This page was built for publication: Constraint validation support in visual model transformation systems

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