Adding Graph Transformation Concepts to UML's Constraint Language OCL

DOI10.1016/S1571-0661(04)80946-0zbMath1263.68114MaRDI QIDQ4923511

Andy Schürr

Publication date: 24 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Modular architecture for a toolset supporting OCL
• Handbook of Graph Grammars and Computing by Graph Transformation

This page was built for publication: Adding Graph Transformation Concepts to UML's Constraint Language OCL