Previous Table of Contents Next


5.3.3 OCL Representation of BusinessInformation Constraints


   [C-3-1] A Description may not describe itself. context Description inv: self.modelElement->forAll(p | p <> self)

   [C-3-2] A Document may not describe itself. context Document inv: self.modelElement->forAll(p | p <> self)

   [C-3-3] A ResponsibleParty may not describe itself. context ResponsibleParty inv: self.modelElement->forAll(p | p <> self)