ISO 18629-12:2005

INTERNATIONAL ISO
STANDARD 18629-12
First edition
2005-10-01
Industrial automation systems and
integration — Process specification
language —
Part 12:
Outer core
Systèmes d'automatisation industrielle et intégration — Langage de
spécification de procédé —
Partie 12: Noyau externe
Reference number
©
ISO 2005
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
the unlikely event that a problem relating to it is found, please inform the Central Secretariat at the address given below.

©  ISO 2005
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 ISO 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 copyright@iso.org
Web www.iso.org
Published in Switzerland
ii © ISO 2005 – All rights reserved

ISO 18629-12 : 2005 (E)
Content        Page
1 Scope . 1
2 Normative references . 1
3 Terms, definitions, and abbreviations . 2
3.1 Terms and definitions. 2
3.2 Abbreviations . 7
4 ISO 18629 general. 7
5 Organization of ISO 18629-12 . 8
5.1 Extensions in Outer core . 8
6 Subactivity core theory. 9
6.1 Primitive Relations of the Subactivity core theory. 9
6.2 Defined Relations of the Subactivity core theory. 9
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 core theory. 11
6.6.1 Axiom 1. 11
6.6.2 Axiom 2. 11
6.6.3 Axiom 3. 11
6.6.4 Axiom 4. 11
6.6.5 Axiom 5. 12
6.6.6 Axiom 6. 12
7 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. 14
7.4.5 precedes. 14
7.4.6 successor. 15
7.5 Axioms for the Occurrence tree core theory . 15
7.5.1 Axiom 1. 15
7.5.2 Axiom 2. 15
7.5.3 Axiom 3. 15
7.5.4 Axiom 4. 16
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
iii
 ISO 2005 All rights reserved

ISO 18629-12 : 2005 (E)
7.5.10 Axiom 10. 18
7.5.11 Axiom 11. 18
7.5.12 Axiom 12. 19
7.5.13 Axiom 13. 19
7.5.14 Axiom 14. 19
7.5.15 Definition 1. 19
7.5.16 Definition 2. 19
8 Discrete state core theory . 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
8.4 Informal semantics of the Discrete state core theory . 20
8.4.1 state. 20
8.4.2 holds . 21
8.4.3 prior . 21
8.5 Axioms for the Discrete 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
9 Atomic activity core theory. 23
9.1 Primitive Relations in the Atomic activity core theory . 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 the Atomic activity core theory . 25
9.6.1 Axiom 1. 25
9.6.2 Axiom 2. 25
9.6.3 Axiom 3. 25
9.6.4 Axiom 4. 25
9.6.5 Axiom 5. 25
9.6.6 Axiom 6. 26
9.6.7 Axiom 7. 26
9.6.8 Axiom 8. 26
9.6.9 Axiom 9. 26
10 Complex activity core theory .27
10.1 Primitive Relations in the Complex activity core theory . 27
10.2 Defined Relations in the Complex activity core theory . 27
10.3 Relationship to other sets of axioms. 27
10.4 Informal Semantics of the Complex activity core theory. 28
10.4.1 min_precedes.
...