ISO INTERNATIONAL 18629-12 STANDARD First edition 2005-10-01 Industrial automation systems and integration Process specification language - Part 12: Outer core Systemes d'automatisation industrielle et integration-Langage de specification deprocede Partie12:Noyauexterne Reference number ISO 18629-12:2005(E) @ISO2005 ISO18629-12: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 parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by IsO member bodies. In @ISO2005 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying and microfilm, without permission in writing from either SO at the address below or ISO's member body in the country of the requester. ISO copyright office Case postale 56.CH-1211 Geneva 20 Tel. + 41 22 749 01 11 Fax + 41 22 749 09 47 E-mail [email protected] Web www.iso.org Published in Switzerland IsO2005-All rights reserved ISO18629-12 : 2005 (E) Content Page 1 Scope... 2 Normative references 3 Terms, definitions, and abbreviations 3.1 Terms and definitions.. 3.2 Abbreviations. 4 ISO 18629 general... 5 OrganizationofISO18629-12... 5.1 Extensions in Outer core.... Subactivity core theory... 6 6.1 Primitive Relations of the Subactivity core theory.. 6.2 Defined Relations of the Subactivity core theory... 6.3 Relationship to other sets of axioms. 10 6.4 Informal Semantics of the Subactivity core theory . 10 6.4.1 subactivity 10 6.4.2 primitive 10 6.5 Definitions in the Subactivity core theory.... 10 6.5.1 Definition 1: 10 6.6 Axioms of the Subactivity coretheory. 6.6.1Axiom 1 6.6.2 Axiom 2. 6.6.3 Axiom 3. 6.6.4 Axiom 4.... 11 6.6.5 Axiom 5.. 6.6.6 Axiom 6... 12 Occurrence tree core theory . 13 7.1 Primitive Relations...... 13 7.2 Primitive Functions. 13 7.3 Relationship to other sets of axioms.. 13 7.4 Informal Semantics of the Occurrence tree core theory. 13 7.4.1 earlier. 13 7.4.2 initial.. 14 7.4.3 legal.. 14 7.4.4 poss.... 7.4.5 precedes. 7.4.6 successor.. 15 7.5 AxiomsfortheOccurrencetreecoretheory 15 7.5.1 Axiom 1. 15 7.5.2 Axiom 2. 15 7.5.3 Axiom 3. 15 7.5.4 Axiom 4. 7.5.5 Axiom 5.. 16 7.5.6 Axiom 6. 16 7.5.7 Axiom 7... 17 7.5.8 Axiom 8.... 18 7.5.9 Axiom 9. 18 @ISO2005All rights reserved ili ISO 18629-12 : 2005 (E) 7.5.10Axiom10. 18 7.5.11 Axiom 11 18 7.5.12 Axiom 12. 19 7.5.13 Axiom 13 19 7.5.14 Axiom 14.. 7.5.15Definition 1 19 7.5.16 Definition 2.. 19 Discrete statecoretheory. 20 8.1 Primitive categories in the Discrete state core theory 20 8.2 Primitive relations in the Discrete state core theory.. 20 8.3 Relationship to other sets of axioms....... 20 Informal semantics of the Discrete state core theory ... .20 8.4 8.4.1 state... 20 8.4.2 holds ... 21 8.4.3 prior... 21 8.5 Axioms for theDiscrete state core theory 21 8.5.1 Axiom 1.. 21 8.5.2 Axiom 2.... 21 8.5.3 Axiom 3.. 22 8.5.4 Axiom 4. 22 8.5.5 Axiom 5. 22 8.5.6 Axiom 6.... 22 8.5.7 Axiom 7.. 23 Atomic activity coretheory... 23 9 Primitive Relations in the Atomic activity core theory .... 9.1 24 9.2 Primitive Functions in the Atomic activity core theory .... 24 9.3 Relationship to other sets of axioms... 24 9.4 Informal semantics of the Atomic activity core theory. 24 9.4.1 atomic. 24 9.4.2 conc 24 9.5 Definitions in Atomic activity core theory 24 9.6 Axioms of theAtomic activitycoreth