@inproceedings{Bau2007, Author = {Bauer, Jörg and Damm, Werner and Toben, Tobe and Westphal, Bernd}, Title = {Verification and Synthesis of OCL Constraints via Topology Analysis - A case study}, Year = {2007}, Pages = {361-376}, Month = {10}, Publisher = {Springer}, Series = {LNCS}, Edition = {5088}, type = {inproceedings}, note = {On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragment of UML, where a graph represents an object diagram, allows us to apply T}, Abstract = {On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragment of UML, where a graph represents an object diagram, allows us to apply Topology Analysis, a particular abstract interpretation of graph grammars. The outcome of this analysis is a finite and concise over-approximation of all possible reachable object diagrams, the so-called topology invariant. We discuss how topology invariants can be used to verify that constraints on a given model are respected by the behaviour and how they can be viewed as synthesised constraints providing insight into the dynamic behaviour of the model.} } @COMMENT{Bibtex file generated on }