List of Tables

Table 3-1: Rights and obligations in a contract

Table 4-1: Mapping of basic types from OCL to Java

Table 4-2: Mapping of collection types from OCL to Java

Table 7-1: Standard operations for the Boolean type

Table 7-2: Standard operations for the Integer and Real types

Table 7-3: Standard operations for the String type

Table 7-4: Precedence for OCL operations (highest to lowest )

Table 9-1: Standard operations on all collection types

Table 9-2: Collection operations with variant meaning

Table 9-3: Loop operations on all collection types

Table 10-1: Message related operations on any OCL instance

Table 10-2: Operations on any OCL instance

Table C-1: Business modeling syntax for predefined iterators

Table C-2: Business modeling syntax of collection operations