ISO 18629-42:2006
(Main)Industrial automation systems and integration — Process specification language — Part 42: Definitional extension: Temporal and state extensions
Industrial automation systems and integration — Process specification language — Part 42: Definitional extension: Temporal and state extensions
ISO 18629-42:2006 provides definitions written in the language of ISO 18629 for concepts related to activity extensions in the process specification language. The process specification language is 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 42: Extension de définition: Extensions temporelle et d'état
General Information
Standards Content (Sample)
INTERNATIONAL ISO
STANDARD 18629-42
First edition
2006-08-15
Industrial automation systems and
integration — Process specification
language —
Part 42:
Definitional extension: Temporal
and state extensions
Systèmes d'automatisation industrielle et intégration — Langage de
spécification de procédé —
Partie 42: Extension de définition: Extensions temporelle et d'état
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 copyright@iso.org
Web www.iso.org
Published in Switzerland
ii © ISO 2006 – All rights reserved
Contents Page
1 Scope. 1
2 Normative References . 1
3 Terms, definitions and abbreviations . 2
3.1 Terms and definitions .2
3.2 Abbreviations. 5
4 Overview of parts 41 to 49 of ISO 18629. 5
5 Organization of this part of ISO 18629 . 6
5.1 Introduction . 6
5.2 Extensions in ISO 18629-42 . 6
6 State-based preconditions for activities. 7
6.1 Primitive lexicon of the State-based preconditions for activities . 7
6.2 Defined lexicon for concepts of State-based preconditions for activities. 7
6.3 Core theories required by State-based preconditions for activities. 8
6.4 Definitional extensions required by State-based preconditions for activities . 8
6.5 Definitions of concepts for State-based preconditions for activities . 8
6.5.1 state_equiv. 8
6.5.2 markov_precond. 8
6.5.3 partial_state .9
6.5.4 rigid_state. 9
6.6 Grammar for relations of State-based preconditions for activities . 9
7 Time-based preconditions for activities. 10
7.1 Primitive lexicon of Time-based preconditions for activities . 10
7.2 Defined lexicon for concepts of Time-based preconditions for activities . 10
7.3 Theories required by Time-based preconditions for activities. 11
7.4 Definitional extensions required by Time-based preconditions for activities. 11
7.5 Definitions of Time-based preconditions for activities. 11
7.5.1 begin_equiv . 11
7.5.2 time_precond . 11
7.5.3 partial_time_precond. 11
7.5.4 rigid_time . 12
7.6 Grammar for process descriptions of Time-based preconditions for activities. 12
8 Preconditions based on state and time. 13
8.1 Primitive lexicon of Preconditions based on state and time . 13
iii
8.2 Defined lexicon of Preconditions based on state and time . 13
8.3 Theories required by Preconditions based on state and time. 13
8.4 Definitional extensions required by Preconditions based on state and time. 13
8.5 Definitions of Preconditions based on state and time. 14
8.5.1 mixed_precond. 14
8.5.2 partial_mixed. 14
8.5.3 rigid_mixed . 14
8.6 Grammar for Preconditions based on state and time . 14
9 Occurrence-based preconditions for activities . 15
9.1 Primitive lexicon of Occurrence-based preconditions for activities . 15
9.2 Defined relations of Occurrence-based preconditions for activities . 15
9.3 Theories required by Occurrence-based preconditions for activities. 16
9.4 Definitional extensions required by Occurrence-based preconditions for activities. 16
9.5 Definitions of Occurrence-based preconditions for activities. 16
9.5.1 tree_equiv. 16
9.5.2 occurrence_constrained . 16
9.5.3 occurrence_dependent . 17
9.5.4 occurrence_independent . 17
9.6 Grammar for Occurrence-based preconditions for activities . 17
10 Preventable conditions for activities. 18
10.1 Primitive lexicon of Preventable conditions for activities. 18
10.2 Defined relations of Preventable conditions for activities . 18
10.3 Theories required by Preventable conditions for activities . 18
10.4 Definitional extensions required by Preventable conditions for activities . 18
10.5 Definitions of Preventable conditions for activities. 19
10.5.1 preventable. 19
10.5.2 possibly_preventable . 19
10.5.3 unpreventable . 19
10.6 Grammar for process descriptions of Preventable conditions for activities . 20
11 Periodic preconditions for activities . 20
11.1 Primitive lexicon of Periodic preconditions for activities . 20
11.2 Defined lexicon of Periodic preconditions for activities. 20
11.3 Theories required by Periodic preconditions for activities . 20
11.4 Definitional extensions required by Periodic preconditions for activities. 21
11.5 Definitions of Periodic preconditions for activities . 21
11.5.1 periodic. 21
11.5.2 intermittent . 21
11.5.3 aperiodic.21
iv
11.6 Grammar for of Periodic preconditions for activities. 22
12 Spoilage preconditions for activities . 22
12.1 Primitive lexicon of Spoilage preconditions for activities. 22
12.2 Defined lexicon of Spoilage preconditions for activities. 22
12.3 Theories required by Spoilage preconditions for activities . 23
12.4 Definitional extensions required by Spoilage preconditions for activities . 23
12.5 Definitions of Spoilage preconditions for activities . 23
12.5.1 spoilage . 23
12.5.2 possible_spoilage. 23
12.5.3 nonspoilage. 24
12.6 Grammar of Spoilage preconditions for activities. 24
13 Effects of activities. 24
13.1 Primitive lexicon of Effects of activities. 24
13.2 Defined lexicon of Effects of activities . 24
13.3 Theories required by Effects of activities. 25
13.4 Definitional extensions required by Effects of activities . 25
13.5 Definitions of Effects of activities. 25
13.5.1 effects_equiv. 25
13.5.2 context_free. 25
13.5.3 null . 25
13.6 Grammar for Effects of activities . 26
14 State-based effects of activities.26
14.1 Primitive lexicon of State-based effects of activities. 26
14.2 Defined lexicon of State-based effects of activities . 26
14.3 Core theories required by State-based effects of activities . 27
14.4 Definitional extensions required by State-based effects of activities . 27
14.5 Definitions of State-based effects of activities . 27
14.5.1 markov_effects. 27
14.5.2 partial_state_effects. 27
14.5.3 rigid_state_effects.
...
Questions, Comments and Discussion
Ask us and Technical Secretary will try to provide an answer. You can facilitate discussion about the standard in here.