From Core OCL invariants to nested graph constraints

DOI10.1007/978-3-319-09108-2_7MaRDI QIDQ3192227zbMATH OpenOpenAlexFDO

Authors Hendrik Radke, Thorsten Arendt, Annegret Habel, Gabriele Taentzer

Publication date 26 September 2014

Published in Graph Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-09108-2_7

zbMATH Keywords

application conditionsgraph constraintsmeta-modelingOCL

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Translating essential OCL invariants to nested graph constraints focusing on set operations
• Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars
• scientific article; zbMATH DE number 2085181
• Logic Foundations of the OCL Modelling Language
• Adding graph transformation concepts to UML's constraint language OCL

Cited in

(8)

• An institution theory of formal meta-modelling in graphically extended BNF
• Translating essential OCL invariants to nested graph constraints focusing on set operations
• Generating instance models from meta models
• Fundamental Approaches to Software Engineering
• Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars
• PTL: a model transformation language based on logic programming
• On the power of local graph expansion grammars with and without additional restrictions
• Variability-based model transformation: formal foundation and application

Describes a project that uses

Uses Software

• Alloy
• UMLtoCSP

This page was built for publication: From Core OCL invariants to nested graph constraints

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