From Core OCL Invariants to Nested Graph Constraints

DOI10.1007/978-3-319-09108-2_7zbMath1423.68092OpenAlexW2223919673MaRDI QIDQ3192227

Hendrik Radke, Gabriele Taentzer, Thorsten Arendt, Annegret Habel

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

meta-modelinggraph constraintsapplication conditionsOCL

Mathematics Subject Classification ID

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

Related Items

Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations ⋮ Variability-based model transformation: formal foundation and application ⋮ PTL: a model transformation language based on logic programming

Uses Software

• Alloy
• UMLtoCSP