Unisys.JCR.1 1.3.1 **Constraints in English** [1] a ConstantDef must be defined in a Container **Constraints in OCL ** [1] { definedIn.notEmpty } **Constraints in English** [7] if ModuleDef is defined in a Container, this Container must be another ModuleDef **Constraints in OCL ** [7] { definedIn.notEmpty implies (definedIn.oclIsKindOf (ModuleDef) and definedIn <> self) } **Constraints in English** [2] a TypedefDef must be defined in a Container **Constraints in OCL ** [2] { definedIn.notEmpty } **Constraints in English** [8] an InterfaceDef must be defined within a ModuleDef [10] Abstract ValueDefs may only derive from other abstract ValueDefs [11] base (if any) refers to a concrete ValueDef [12] abstractBase refers only to abstract ValueDefs **Constraints in OCL ** [8] { definedIn.oclIsKindOf (ModuleDef) } [10]{ isAbstract implies base->isEmpty } [11]{ base->notEmpty implies not base.isAbstract } [12]{ abstractBase->forAll(isAbstract) } ordered unique ordered unique **Constraints in English** [14] Contained elements have unique names within their Container **Constraints in OCL ** [14] { contents->forAll (c0, c1 | c0 <> c1 implies c0.identifier <> c1.identifier) } **Constraints in English** [5] a ValueMemberDef must be defined within a ValueDef **Constraints in OCL ** [5] { definedIn.oclIsTypeof (ValueDef) } //in the CORBA 2.3 IR is short access //and may assume the values const short PRIVATE_MEMBER = 0 const short PUBLIC_MEMBER = 1 **Constraints in English** [9] a ValueDef must be defined within a ModuleDef **Constraints in OCL ** [9] { definedIn.oclIsKindOf (ModuleDef) } **Constraints in English** [4] an OperationDef must be defined within an InterfaceDef or within a ValueDef **Constraints in OCL ** [4] { definedIn.oclIsKindOf (InterfaceDef) or definedIn.oclIsKindOf (ValueDef) } ordered unique **Constraints in English** [6] an ExceptionDef must be defined in a Container **Constraints in OCL ** [6] { definedIn.notEmpty } ordered unique **Constraints in English** [3] an AttributeDef can must be defined within an InterfaceDef or within a ValueDef **Constraints in OCL ** [3] { definedIn.oclIsKindOf (InterfaceDef) or definedIn.oclIsKindOf (ValueDef) } **Constraints in English** [23] A ComponentDef C may be dervied from at most one base. [24] Furthermore, that one base must be a ComponentDef [25] A ComponentDef may not define operations **Constraints in OCL** [23] {base->size <= 1} [24] {base->notEmpty implies (base->forAll (oclType = ComponentDef) } [25] {contents->forAll (oclType <> OperationDef)} **Constraints in English** [1] A ProvidesDef can be defined only within a ComponentDef **Constraints in OCL ** [1] {definedIn.oclType = ComponentDef} **Constraints in English** [26] A HomeDef may be dervied from at most one base. [27] Furthermore, that one base must be a HomeDef **Constraints in OCL** [26] {base->size <= 1} [27] {base->notEmpty implies (base->forAll (oclType = HomeDef)} **Constraints in English** [6] A FactoryDef can be defined only within a HomeDef [21] The return type must be the same as the type of the component that the FactoryDef's home manages. **Constraints in OCL ** [6] {definedIn.oclType = HomeDef} [21] {type = home.manages.type} **Constraints in English** [7] A FinderDef can be defined only within a HomeDef [22] The return type must be the same as the type of the component that the FinderDef's home manages. **Constraints in OCL ** [7] {definedIn.oclType = HomeDef} [22] {type = home.manages.type} **Constraints in English** [3] An EmitsDef can be defined only within a ComponentDef [17]] The ValueDef specified as the event must descend directly or indirectly from Components::EventBase **Constraints in OCL ** [3] {definedIn.oclType = ComponentDef} [17] {event.descendsFrom("Components::EventBase")} **Constraints in English** [4] A ConsumesDef can be defined only within a ComponentDef [19] The ValueDef specified as the event must descend directly or indirectly from Components::EventBase **Constraints in OCL ** [4] {definedIn.oclType = ComponentDef} [19] {event.descendsFrom("Components::EventBase")} **Constraints in English** [2] A UsesDef can be defined only within a ComponentDef **Constraints in OCL ** [2] {definedIn.oclType = ComponentDef} **Constraints in English** [5] A PublsihesDef can be defined only within a ComponentDef [18] The ValueDef specified as the event must descend directly or indirectly from Components::EventBase **Constraints in OCL ** [5] {definedIn.oclType = ComponentDef} [18] [{event.descendsFrom("Components::EventBase")}