ISO INTERNATIONAL STANDARD 18629-11 First edition 2005-10-01 Industrial automation systems and integration Process specification language Part 11: PSL core Systemes d'automatisation industrielle et integration-Langage de spécificationdeprocéde Partie 11:Noyau PSL Reference number ISO 18629-11:2005(E) @ISO2005 ISO18629-11:2005(E) PDF disclaimer This PDF file may contain embedded typefaces. In accordance with Adobe's licensing policy, this file may be printed or viewed but shall not be edited unless the typefaces which are embedded are licensed to and installed on the computer performing the editing. In downloading this file, parties accept therein the responsibility of not infringing Adobe's licensing policy. The IsO Central Secretariat accepts no liability in this area. Adobe is a trademark of Adobe Systems Incorporated. Details of the software products used to create this PDF file can be found in the General Info relative to the file; the PDF-creation the unlikely event that a problem relating to it is found, please inform the Central Secretariat at the address given below. ?1SO2005 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, ISO's member body in the country of the requester. ISO copyright office Case postale 56:CH-1211Geneva 20 Tel. + 41 22 749 01 11 Fax + 41 22 749 09 47 E-mail [email protected] Web www.iso.org Published in Switzerland ISO18629-11:2005 (E) Contents Page Scope.... 1 2 Normativereferences 3 Terms, definitions, and abbreviations...... 3.1 Terms and definitions .. 3.2 Abbreviations...... 4 ISO 18629 general Language specification syntax 5.1 Basic symbols and Syntactic Categories.. 5.2 5.3 Grammar ... 5.4 Language.. Basic elements of the PSL Core.... 6 10 6.1 Basic features....... 10 6.2 Primitive lexicon of the PSL-Core.. 6.2.1 Primitive categories of the PSL-Core. 11 6.2.1.1 activity.. 11 6.2.1.2 activity_occurrence. 11 6.2.1.3 object... 6.2.1.4 timepoint.. 6.2.2 Individuals of the PSL-Core. 13 6.2.2.1 inf- 6.2.2.2 inf+ 6.2.3 Primitive relations of the PSL-Core 13 6.2.3.1 before... 6.2.3.2 occurrence_of 13 6.2.3.3 participates_in 6.2.4 Primitive functions ofthe PSL-Core 14 6.2.4.1 beginof... 14 6.2.4.2 endof.... 6.2.5 Theories required by the PSL-Core.. 15 6.3 Defined lexicon of the PSL-Core.... 15 6.3.1 Formal definitions of the PSL-Core. 15 6.3.1.1 between.. 15 6.3.1.2 beforeEq... 15 6.3.1.3 betweenEq. 6.3.1.4 exists_at... 16 6.3.1.5 is_occurring_at 16 6.4 16 6.4.1 Axiom 1 16 6.4.2 Axiom 2 6.4.3 Axiom3.. 17 6.4.4 Axiom 4 17 6.4.5 Axiom 5 17 6.4.6 Axiom6 17 6.4.7 Axiom 7. 6.4.8 Axiom8 18 6.4.9 Axiom 9 6.4.10 Axiom 10.. 18 6.4.11 Axiom 11 19 6.4.12 Axiom 12. 19 ISO 2005 All rights reserved ili ISO 18629-11 : 2005 (E) 6.4.13 Axiom 13 19 6.4.14 Axiom 14. 6.4.15 Axiom 15. 20 6.4.16 Axiom 16. 20 6.4.17 Axiom 17 20 ConformancetoPSL-Core 21 7.1 Conformance of Ontologies... 21 7.2 ConformanceofProcessDescriptions.. Annex A (Normative)ASN.1Identifier ofISO 18629-11 .22 AnnexB(Informative)KIFSyntaxandSemantics. 23 AnnexC (Informative)Example of process description using PSL-Core 31 Annex D (informative)BNFConventions. .40 Figures FigureC.1:TOPlevel process formanufacturingaGT350[9] 35 Figure C.2:PROCESS for manufacturing the 350-Engine [9]. 36 FigureC.3:PROCESSformanufacturingthe350-Block[9].. 37 FigureC.4:PROCESSformanufacturingthe350-Harness[9] 38 Figure C.5: PROCESS for manufacturing the 350-Wire [9].. FigureC.6:PROCESSformanufacturingthex50-Wire.. 38 Table Table C.1: GT-350 Product Structure Table . 33 iv ISO 2005 All rights reserved ISO18629-11:2005 (E) Foreword The International Organisation for Standardisation (ISO)is a worldwide federation of national standards bodies (IsO member bodies). The work of preparing International Standards is normally carried out through ISO technical committees. Each member body interested in a subject for which a technical committee has been established has the right to be represented on t