ISO 18629-13:2006

Industrial automation systems and integration — Process specification language — Part 13: Duration and ordering theories

ISO 18629-13:2006 provides a description of the duration and ordering core theories in ISO 18629, which defines elements needed by most of the extensions of the process specification language (PSL) aimed at structuring the semantic concepts intrinsic to the capture and exchange of process information related to discrete manufacturing.

Systèmes d'automatisation industrielle et intégration — Langage de spécification de procédé — Partie 13: Théories de classement et de durée

General Information

• Status: Published
• Publication Date: 13-Aug-2006
• ICS: 25.040.40 - Industrial process measurement and control
• Technical Committee: ISO/TC 184/SC 4 - Industrial data
• Drafting Committee: ISO/TC 184/SC 4/WG 15 - Digital manufacturing
• Current Stage: 9020 - International Standard under periodical review
• Start Date: 15-Jul-2025
• Completion Date: 15-Jul-2025

Relations

• Splited From: ISO 18629-1:2004 - Industrial automation systems and integration — Process specification language — Part 1: Overview and basic principles
• Effective Date: 15-Apr-2008
• Consolidated By: ISO/IEC 17021:2011 - Conformity assessment — Requirements for bodies providing audit and certification of management systems
• Effective Date: 06-Jun-2022

Standards Content (Sample)

INTERNATIONAL ISO
STANDARD 18629-13
First edition
2006-08-15
Industrial automation systems and
integration — Process specification
language —
Part 13:
Duration and ordering theories
Systèmes d'automatisation industrielle et intégration — Langage de
spécification de procédé —
Partie 13: Théories de classement et de durée

Reference number
©
ISO 2006
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 2006
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 [e-mail]
Web www.iso.org
Published in Switzerland
ii © ISO 2006 – All rights reserved

ISO 18629-13 : 2006 (E)
Contents        Page
1 Scope . 1
2 Normative references . 1
3 Terms, definitions, and abbreviations . 2
3.1 Terms and definitions. 2
3.2 Abbreviations . 6
4 General information on ISO 18629 . 6
5 Organization of this part of ISO 18629 . 7
6 Subactivity occurrence ordering core Theory . 7
6.1 Primitive Relations of the Subactivity occurrence ordering theory. 8
6.2 Defined Relations of the Subactivity occurrence ordering theory. 8
6.3 Relationship to other sets of axioms. 8
6.4 Informal Semantics of the Subactivity occurrence ordering theory . 8
6.4.1 soo . 8
6.4.2 soo_precedes . 9
6.4.3 soomap. 9
6.5 Definitions in the Subactivity occurrence ordering theory. 9
6.5.1 Definition 1 (related to root_soo). 9
6.5.2 Definition 2 (related to leaf_soo) . 9
6.5.3 Definition 3 (related to next_soo). 10
6.6 Axioms of the Subactivity occurrence ordering theory. 10
6.6.1 Axiom 1.10
6.6.2 Axiom 2.10
6.6.3 Axiom 3.10
6.6.4 Axiom 4.11
6.6.5 Axiom 5.11
6.6.6 Axiom 6.11
6.6.7 Axiom 7.11
6.6.8 Axiom 8.12
7 Duration theory . 12
7.1 Primitive relations in the Duration theory . 12
7.2 Primitive Functions and Constants. 12
7.3 Defined Relations of the Duration theory . 12
7.4 Relationship to other sets of axioms. 13
7.5 Informal Semantics of the Duration theory . 13
7.5.1 timeduration. 13
7.5.2 lesser. 13
7.5.3 duration. 13
7.5.4 time_add .13
7.5.5 add . 14
7.5.6 mult. 14
7.5.7 zero . 14
7.5.8 one . 14
ISO 18629-13 : 2006 (E)
7.5.9 max+. 14
7.5.10 max-. 14
7.6 Definitions of Duration theory . 14
7.6.1 Definition 1.14
7.7 Axioms for the Duration theory . 15
7.7.1 Axiom 1.15
7.7.2 Axiom 2.15
7.7.3 Axiom 3.15
7.7.4 Axiom 4.16
7.7.5 Axiom 5.16
7.7.6 Axiom 6.16
7.7.7 Axiom 7.16
7.7.8 Axiom 8.16
7.7.9 Axiom 9.17
7.7.10 Axiom 10. 17
7.7.11 Axiom 11. 17
7.7.12 Axiom 12. 17
7.7.13 Axiom 13. 17
7.7.14 Axiom 14. 18
7.7.15 Axiom 15. 18
7.7.16 Axiom 16. 18
7.7.17 Axiom 17. 18
7.7.18 Axiom 18. 19
7.7.19 Axiom 19. 19
7.7.20 Axiom 20. 19
7.7.21 Axiom 21. 19
7.7.22 Axiom 22. 20
8 Occurrence tree automorphisms. 20
8.1 Primitive Relations in the Occurrence tree automorphism theory. 20
8.2 Defined Relations in the Occurrence tree automorphism theory. 20
8.3 Relationship to other sets of axioms. 21
8.4 Informal semantics of the Occurrence tree automorphism theory. 21
8.4.1 ubiquitous .21
8.4.2 end_iso. 21
8.4.3 legal_map . 21
8.4.4 tree_map .22
8.5 Definitions in the Occurrence tree automorphism theory . 22
8.5.1 Definition 1.22
8.5.2 Definition 2.22
8.5.3 Definition 3.23
8.6 Axioms for the Occurrence tree automorphism theory . 23
8.6.1 Axiom 1.23
8.6.2 Axiom 2.24
8.6.3 Axiom 3.24
iv              © ISO 2006 All rights reserved

ISO 18629-13 : 2006 (E)
9 Activity envelope theory . 25
9.1 Primitive Relations in the Activity envelope theory . 25
9.2 Defined relation in Activity envelope theory . 25
9.3 Relationship to other sets of axioms. 25
9.4 Informal semantics of the Activity envelope theory . 25
9.4.1 envelope. 25
9.4.2 umbra. 26
9.5 Definitions in activity envelop theory . 26
9.
...