Abstract
The UML’s Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The constraints which can be expressed in this language, all state requirements on the static aspects of the system. The Object Constraint Language currently lacks a way to express that events have happened or will happen, that signals are or will be send, or that operations are or will be called. This paper introduces an extension to OCL to solve the above problem: the so-called action clause. We describe how this extension is integrated with the UML semantics to avoid semantics overlap. It also shows that a modeler can use it to specify dynamic requirements declaratively on an abstract level, without the need to use full operational dynamic diagrams.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Hans-Erik Eriksson and Magnus Penker, Business Modeling with UML, Business Patterns at Work, 2000, Wiley
Desmond D’Souza and Alan Wills, Objects, Components and Frameworks with UML, The Catalysis Approach, 1999, Addison-Wesley
Steve Cook and John daniels, Designing Object Systems: Object-oriented modeling with Syntropy, 1994, Prentice-Hall
Jos Warmer and Anneke Kleppe, The Object Constraint Language, Precise Modeling with UML, 1999, Addison-Wesley
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides, Design Patterns, Elements of Reusable Object-Oriented Software, 1995, Addison-Wesley
James Martin and James J. Odell, Object-Oriented Methods, A Foundation, 1998, Prentice-Hall
Brad Cox, Superdistribution: Objects As Property on the Electronic Frontier, 1996, Addison-Wesley
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kleppe, A., Warmer, J. (2000). Extending OCL to Include Actions. In: Evans, A., Kent, S., Selic, B. (eds) ≪UML≫ 2000 — The Unified Modeling Language. UML 2000. Lecture Notes in Computer Science, vol 1939. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40011-7_32
Download citation
DOI: https://doi.org/10.1007/3-540-40011-7_32
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41133-8
Online ISBN: 978-3-540-40011-0
eBook Packages: Springer Book Archive