Package de.tuberlin.cs.cis.ocl.example.check

Provides classes implementing an example type level of a model.

See:
Description

Class Summary

ExampleEnumDesc	An ExampleEnumDesc describes the enumeration type of the enumerations in the OCL 1.5 example model (i.e.
ExampleTypeDesc	Describes the Classes presented in the example model defined in OCL1.5 chapter 6.2.2 Example Class Diagram.
ExampleTypedProperty	Implements a property in the context of the example model defined in OCL1.5 chapter 6.2.2 Example Class Diagram.
ExampleTypeFacade	Implements the example model defined in OCL1.5 chapter 6.2.2 Example Class Diagram.
StateModel	Implements an arbitrary model whose types uses a state machine as defined in OCL 1.5 - 6.5.10 Predefined properties on All Objects.

Package de.tuberlin.cs.cis.ocl.example.check Description

Provides classes implementing an example type level of a model. It presents how to implement a TypeFacade in a simple way. Such an implementation of a TypeFacade enables the type check of OCL constraints in the context of an arbitrary model. The type level of the example model is derived from the Example Class Diagram of the OCL1.5 Standard, chapter 6.2.2. The model is additionally used for the purpose of testing.

Related Documentation

For overviews, tutorials, examples, guides, and tool documentation, please see:

• Naomi Project at Sourceforge
• Fadi Chabarek's diploma thesis
• OCL 1.5 Standard