The Object Centered Language Manual
OCL
h
- Version1.2
Contents
Introduction
Domain Model Components
2.1.
A brief Description of the Components of OCL
h
2.2.
Some Key Concepts
Guidelines for Writing OCL
h
3.1.
Natural Language Description
3.2.
Identifying Sorts and Objects
3.3.
Relationships and Properties
3.4.
Object Class Definitions
3.5.
State Invariants
3.6.
Operator Specification
Task Specification
Development of an Hierarchical Domain Model
5.1.
Sort Hierarchy
5.2.
Special Rules Relating to Hierarchical Transitions
5.3.
Compound and Method Operators
5.3.
The Transparency Property
5.3.
Task Specification
Feedback: