ISO INTERNATIONAL STANDARD 18629-1 First edition 2004-11-15 Industrial automation systems and integration Process specification language - Part 1: Overview and basic principles Systemes d'automatisation industrielle et integration Langage de spécificationdeprocédé- Partie 1: Vue d'ensemble et principes de base Reference number ISO 18629-1:2004(E) @ ISO 2004 Copyright International Organization for Standardization In SHI Aq p Not for Resale ISO 18629-1:2004(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 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 parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by IsO member bodies. In @ISO2004 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 memberbody 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 CopyightInternatinal organization for Standardization @ISO2004-All rights reserved vithout license from IHS Not for Resale ISO 18629-1 : 2004 (E) Contents Page 1. Scope. 2. Normative references 3. Terms, definitions and abbreviations ... 3.1. Terms and definitions .... 3.2. Abbreviations 4. Overview of ISO 18629 .... 4.1. ISO 18629 general. 4.2. The Process Specification Language (PSL) fundamental principles.. 4.3. Requirements for PSL extensions ..... 4.3.1. Non-logical Lexicon... 4.3.2. Specification of Models.. 12 4.3.3. Axioms of the extensions .... 12 4.3.4. Grammar for process descriptions... 4.3.5. Format for extensions... 12 4.4. Organisation of the ISO 18629 Standard. 4.5. ISO 18629-1x series Core theories.... 14 4.5.1. ISO 18629-11 PSL-Core .... 14 4.5.2. ISO 18629-12 Outer Core ... 4.5.3. ISO 18628-13 Time and ordering theories ... 16 4.5.4. ISO 18629-14 Resource theories... 16 4.5.5. ISO 18629-15 Activity performance theories ... 17 4.6. ISO 18629-2x series External mappings..... 4.7. ISO 18629-4x series Definitional Extensions . 4.7.1. ISO 18629-41: Activities... 17 4.7.2. ISO 18629-42: Time and State .. 18 4.7.3. ISO 18629-43: Ordering... 18 4.7.4. 19 4.7.5. ISO 18629-45 Kinds of resource sets .... 19 4.7.6. ISO 18629-46 Processor Activities ... 20 4.7.7. ISO 18629-47 Process intent.... 20 4.8. ISO 18629-2xx series Translator implementation guidelines .. 20 5. Conformance testing methodology and framework 20 5.1. Conformance of Applications with ISO 18629 ... 20 5.2. Conformance of Ontologies with ISO 18629... 21 5.2.1. Conformance of user-defined extensions .... 21 5.2.2. Conformance of external ontologies ... 21 5.3. Conformance of future extensions... 5.3.1. Specification of Models... 21 5.3.2. Verification of the extensions... .22 Annex A (normative) ASN.1 Identifier of ISO 18629-1.. Annex B (informative) Background to the development of ISO 18629... .24 Annex C (informative) The Need for Semantics. 25 Annex D (informative) Interoperability . Annex E (informative) Architecture of PSL 32 @ ISO 2004 - All rights reserved ii Copyright International Organization for Standardization nse from IHS Not for Resale ISO 18629-1 : 2004 (E) Bibliography.... Figures : Figure Dl: Interlingua Architecture Figure D2: Interoperability and PSL 31 Figure El: The theories in the Outer Core of PSL .33 Figure E2: Definitional extensions of PSL. 35 iv @ ISO 2004 - All rights reserved Copyright International Organizationfor Standardization d by IHS und Not for Resale ISO 18629-1 : 2004 (E) Foreword IS