Informationtechnology—CommonLogic(CL)—Aframeworkforafamilyoflogic-basedlanguagesTechnologiesdel'information—LogiqueCommune(CL)—Cadrepourunefamilledeslangageslogique-basésINTERNATIONALSTANDARDISO/IEC24707ReferencenumberISO/IEC24707:2018(E)Secondedition2018-07©ISO/IEC2018ISO/IEC24707:2018(E)ii©ISO/IEC2018–AllrightsreservedCOPYRIGHTPROTECTEDDOCUMENT©ISO/IEC2018Allrightsreserved.Unlessotherwisespecified,orrequiredinthecontextofitsimplementation,nopartofthispublicationmaybereproducedorutilizedotherwiseinanyformorbyanymeans,electronicormechanical,includingphotocopying,orpostingontheinternetoranintranet,withoutpriorwrittenpermission.PermissioncanberequestedfromeitherISOattheaddressbeloworISO’smemberbodyinthecountryoftherequester.ISOcopyrightofficeCP401•Ch.deBlandonnet8CH-1214Vernier,GenevaPhone:+41227490111Fax:+41227490947Email:copyright@iso.orgWebsite:www.iso.orgPublishedinSwitzerlandISO/IEC24707:2018(E)Foreword........................................................................................................................................................................................................................................ivIntroduction..................................................................................................................................................................................................................................v1Scope.................................................................................................................................................................................................................................12Normativereferences......................................................................................................................................................................................13Termsanddefinitions..............................................................................................................................................
