Enhancing the Message Concept of the Object Constraint Language

The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of OCL messages that enable modelers to put restrictions on messages sent. However, this concept shows some shortcomings with respect to the existing OCL language concepts. On the one hand, the proposed syntax does not quite conform to the established notation of OCL. On the other hand, the formal OCL semantics still lacks an integration of OCL messsages. This article reviews the syntax and semantics of OCL messages and presents a new approach to better integrate this concept with the rest of OCL 2.0.

• Type: Conference
• Year: 2004
• Where: SEKE
• Authors: Stephan Flake
• Keywords: OCL Language Concepts, OCL Messages, OCL Version, SEKE 2004