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

Status
Published
Publication Date
17-Aug-2006
Current Stage
9060 - Close of review
Start Date
02-Dec-2025
Ref Project

Buy Standard

Standard
ISO 18629-42:2006 - Industrial automation systems and integration -- Process specification language
English language
95 pages
sale 15% off
Preview
sale 15% off
Preview

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 18629-42:2006(E)
©
ISO 2006

---------------------- Page: 1 ----------------------
ISO 18629-42:2006(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
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

---------------------- Page: 2 ----------------------
ISO 18629-42: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. 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
© ISO 2006 All rights reserved

---------------------- Page: 3 ----------------------
ISO 18629-42:2006(E)



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
                                                  © ISO 2006 All rights reserved

---------------------- Page: 4 ----------------------
ISO 18629-42:2006(E)

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. 28
14.6 Grammar for State-based Effects Activities. . 28
15 Time-based effects of activities. 28
15.1 Primitive lexicon of Time-based effects of activities. 28
15.2 Defined lexicon of Time-based effects of activities . 28
15.3 Core theories required by Time-based effects of activities. 29
15.4 Definitional extensions required by Time-based effects of activities . 29
v
© ISO 2006 All rights reserved

---------------------- Page: 5 ----------------------
ISO 18629-42:2006(E)


15.5 Definitions of Time-based effects of activities. 29
15.5.1 temporal_effects. 29
15.5.2 partial_temporal. 29
15.5.3 nontemporal. 29
15.6 Grammar for Time-based effects of activities . 30
16 Occurrence-based effects of activities. 30
16.1 Primitive lexicon of Occurrence-based effects of activities. 30
16.2 Defined lexicon of Occurrence-based effects of activities . 30
16.3 Core theories required by Occurrence-based effects of activities. 30
16.4 Definitional extensions required by Occurrence-based effects of activities. 31
16.5 Definitions of Occurrence-based effects of activities. 31
16.5.1 occ_effects.31
16.5.2 occ_depend_effects . 31
16.5.3 nonocc_effects . 31
16.6 Grammar for Occurrence-based effects of activities . 32
17 Effects of activities: Occurrence Constraints. 32
17.1 Primitive lexicon of Effects of activities: Occurrence Constraints . 32
17.2 Defined lexicon of Effects of activities: Occurrence Constraints . 32
17.3 Core theories required by Effects of activities: Occurrence Constraints. 32
17.4 Definitional extensions required by Effects of activities: Occurrence Constraints. 32
17.5 Definitions of Effects of activities: Occurrence Constraints. 33
17.5.1 quantum . 33
17.5.2 semiclassical . 33
17.5.3 classical. 33
17.6 Grammar for Effects of activities: Occurrence Constraints . 34
18 Effects of activities: Temporal and Occurrence Constraints . 34
18.1 Primitive lexicon of Effects of activities: Temporal and Occurrence Constraints . 34
18.2 Defined lexicon of Effects of activities: Temporal and Occurrence Constraints. 34
18.3 Core theories required by Effects of activities: Temporal and Occurrence Constraints
34
18.4 Definitional extensions required by Effects of activities: Temporal and Occurrence
Constraints. 35
18.5 Definitions of Effects of activities: Temporal and Occurrence Constraints . 35
18.5.1 relativistic. 35
18.5.2 seminewton. 35
18.5.3 newtonian . 35
18.6 Grammar for Effects of activities: Temporal and Occurrence Constraints . 36
19 Fluent trees. 36
vi
                                                  © ISO 2006 All rights reserved

---------------------- Page: 6 ----------------------
ISO 18629-42:2006(E)

19.1 Primitive lexicon of Fluent trees . 36
19.2 Defined relations of Fluent trees . 36
19.3 Core theories required by Fluent trees. 36
19.4 Definitional extensions required by Fluent trees. 37
19.5 Definitions of Fluent trees. 37
19.5.1 achieved .37
19.5.2 falsified . 37
19.5.3 irreversible . 37
19.5.4 unachievable. 37
19.5.5 bounded . 38
19.6 Grammar for process descriptions of Fluent trees. 38
20 Distribution of complex activities. 38
20.1 Primitive lexicon of Distribution of complex activities . 38
20.2 Defined relations of Distribution of complex activities . 38
20.3 Core theories required by Distribution of complex activities. 38
20.4 Definitional extensions required by Distribution of complex activities. 38
20.5 Definitions of Distribution of complex activities. 39
20.5.1 profile. 39
20.5.2 root_equiv. 39
20.5.3 universal .39
20.5.4 local. 40
20.5.5 restricted. 40
20.6 Grammar for process descriptions of Distribution of complex activities. 40
21 State-based distribution of complex activities . 41
21.1 Primitive lexicon of State-based distribution of complex activities . 41
21.2 Defined relations of State-based distribution of complex activities . 41
21.3 Theories required by State-based distribution of complex activities. 41
21.4 Definitional extensions required by State-based distribution of complex activities. 41
21.5 Definitions of State-based distribution of complex activities. 41
21.5.1 trigger . 42
21.5.2 partial_trigger. 42
21.5.3 nontrigger. 42
21.6 Grammar for process descriptions of State-based distribution of complex activities. 43
22 Time-based distribution of complex activities . 43
22.1 Primitive lexicon of Time-based distribution of complex activities . 43
22.2 Defined relations of Time-based distribution of complex activities. 43
22.3 Theories required by Time-based distribution of complex activities . 43
22.4 Definitional extensions required by Time-based distribution of complex activities. 43
vii
© ISO 2006 All rights reserved

---------------------- Page: 7 ----------------------
ISO 18629-42:2006(E)


22.5 Definitions of Time-based distribution of complex activities . 44
22.5.1 launch . 44
22.5.2 partial_launch. 44
22.5.3 rigid_launch . 44
22.6 Grammar for process descriptions of Time-baseddistribution of complex activities . 45
23 Mixed distribution of complex activities . 45
23.1 Primitive lexicon of Mixed distribution of complex activities . 45
23.2 Defined relations of Mixed distribution of complex activities. 45
23.3 Core theories required by Mixed distribution of complex activities . 45
23.4 Definitional extensions required by Mixed distribution of complex activities. 45
23.5 Definitions of Mixed distribution of complex activities . 46
23.5.1 conditional_launch . 46
23.5.2 partial_conditional_launch. 46
23.5.3 unconditional_launch. 47
23.6 Grammar for process descriptions of Mixed distribution of complex activities . 47
24 Variation of complex activities. 47
24.1 Primitive lexicon of Variation of complex activities. 47
24.2 Defined relations of Variation of complex activities. 47
24.3 Theories required by Variation of complex activities . 48
24.4 Definitional extensions required by Variation of complex activities . 48
24.5 Definitions of Variation of complex activities . 48
24.5.1 min_equiv. 48
24.5.2 uniform.48
24.5.3 variegated. 48
24.5.4 multiform . 49
24.6 Grammar for process descriptions of Variation of complex activities . 49
25 State-based variation of complex activities . 50
25.1 Primitive lexicon of State-based variation of complex activities. 50
25.2 Defined relations of State-based variation of complex activities. 50
25.3 Theories required by State-based variation of complex activities . 50
25.4 Definitional extensions required by State-based variation of complex activities . 50
25.5 Definitions of State-based variation of complex activities . 50
25.5.1 conditional. 51
25.5.2 partial_conditional . 51
25.5.3 rigid_conditional. 51
25.6 Grammar for process descriptions of State-based variation of complex activities . 52
26 Time-based variation of complex activities. 52
...

Questions, Comments and Discussion

Ask us and Technical Secretary will try to provide an answer. You can facilitate discussion about the standard in here.