Defining the context of OCL expressions

Authors:
Steve Cook;Anneke Kleppe;Richard Mitchell;Jos Warmer;Alan Wills
Affiliations:
IBM UK Ltd, Sunbury-on-Thames, Middlesex, UK;Klasse Objecten, Soest, The Netherlands;University of Brighton, Brighton, UK;Klasse Objecten, Soest, The Netherlands;TriReme International Ltd, UK
Venue:
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Year:
1999

Citing 4
Cited 8

Objects, components, and frameworks with UML: the catalysis approach

Objects, components, and frameworks with UML: the catalysis approach
The object constraint language: precise modeling with UML

The object constraint language: precise modeling with UML
The Unified Modeling Language reference manual

The Unified Modeling Language reference manual
The Java Programming Language

The Java Programming Language

Object-oriented modeling: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Introducing Context-Based Constraints

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
External Requirements Validation for Component-Based Systems

CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
The Amsterdam Manifesto on OCL

Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Using OCL and UML to Specify System Behavior

Object Modeling with the OCL, The Rationale behind the Object Constraint Language
OCL: Syntax, Semantics, and Tools

Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Keeping track of crosscutting requirements in UML models via context-based constraints

Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
From use cases to system operation specifications

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard

Quantified Score

Hi-index	0.00

Visualization

Abstract

Expressions written in Object Constraint Language (OCL) within a UML model assume a context, depending upon where they are written. Currently the exact nature of this context is not fully defined. Furthermore there is no mechanism for defining the context for OCL expressions in extensions to UML. This paper defines the context of OCL expressions, and proposes precise and flexible mechanisms for how to specify this context.