A Formal Semantics for OCL 1.4

MarĂ­a Victoria Cengarle, Alexander Knapp. A Formal Semantics for OCL 1.4. In Martin Gogolla, Cris Kobryn, editors, «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings. Volume 2185 of Lecture Notes in Computer Science, pages 118-133, Springer, 2001. [doi]

Abstract

Abstract is missing.