Descriptive Object-Oriented Operation Specification for UML

The purpose of this paper is to show how system operations can be specified by pre- and postconditions using the Object Constraint Language (OCL), as defined by the Unified Modeling Language (UML) specification, and how these system operation specifications relate to the analysis class model and other models of the analysis phasis. It is also shown how the communication between the system and actors by event sending can be modeled. The result is a system behavior model at a higher-level of abstraction than the one provided by collaboration diagrams, which concentrate on method invocations between objects.

    Keywords: Fondue ; UML ; OCL


    • LGL-REPORT-2000-006

    Record created on 2005-09-20, modified on 2016-08-08


  • There is no available fulltext. Please contact the lab or the authors.

Related material