Skip to main content
Article thumbnail
Location of Repository

Extending OCL to include Actions

By Jos Warmer

Abstract

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

Topics: OCL, constraints, pre- and postconditions, invariants, actions, operations, dynamic
Publisher: Springer
Year: 2000
OAI identifier: oai:CiteSeerX.psu:10.1.1.134.1105
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.ise.gmu.edu/~dumind... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.