Formal Methods in Software and Systems Modeling

DOI10.1007/b106390zbMath1075.68623OpenAlexW2492988005MaRDI QIDQ5710414

Karl-Heinz Pennemann, Annegret Habel

Publication date: 2 December 2005

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

Full work available at URL: https://doi.org/10.1007/b106390

Mathematics Subject Classification ID

Transportation, logistics and supply chain management (90B06) Grammars and rewriting systems (68Q42) Theory of computing (68Q99)

Related Items (10)

Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations ⋮ Conditional Bigraphs ⋮ Specifying graph languages with type graphs ⋮ Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs ⋮ A formal approach to the specification and transformation of constraints in MDE ⋮ Attributed Graph Constraints ⋮ Resolution-Like Theorem Proving for High-Level Conditions ⋮ Development of Correct Graph Transformation Systems ⋮ On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems ⋮ A Logic of Graph Constraints

This page was built for publication: Formal Methods in Software and Systems Modeling