ReferencenumberISO/IEC19507:2012(E)©ISO/IEC2012INTERNATIONALSTANDARDISO/IEC19507Firstedition2012-04-15Informationtechnology—ObjectManagementGroupObjectConstraintLanguage(OCL)Technologiesdel'information—Langagedecontraintesorienté-objet(OCL)del'OMGISO/IEC19507:2012(E)COPYRIGHTPROTECTEDDOCUMENT©ISO/IEC2012Allrightsreserved.Unlessotherwisespecified,nopartofthispublicationmaybereproducedorutilizedinanyformorbyanymeans,electronicormechanical,includingphotocopyingandmicrofilm,withoutpermissioninwritingfromeitherISOattheaddressbeloworISO'smemberbodyinthecountryoftherequester.ISOcopyrightofficeCasepostale56CH-1211Geneva20Tel.+41227490111Fax+41227490947E-mailcopyright@iso.orgWebwww.iso.orgPublishedinSwitzerlandii©ISO/IEC2012–AllrightsreservedISO/IEC19507:2012(E)©ISO/IEC2012-AllrightsreservediiiTableofContentsForeword...................................................................................................ixIntroduction...............................................................................................x1Scope.......................................................................................12Conformance............................................................................13References...............................................................................23.1NormativeReferences.............................................................................23.2InformativeReferences............................................................................24TermsandDefinitions..............................................................35NotationalConventions............................................................36AdditionalInformation..............................................................36.1ChangestoAdoptedOMGSpecifications................................................36.2StructureoftheSpecification...................................................................36.3Acknowledgements..................................