| PDF Pages<\/th>\n | PDF Title<\/th>\n<\/tr>\n | ||||||
|---|---|---|---|---|---|---|---|
| 2<\/td>\n | National foreword <\/td>\n<\/tr>\n | ||||||
| 12<\/td>\n | Foreword <\/td>\n<\/tr>\n | ||||||
| 13<\/td>\n | Introduction <\/td>\n<\/tr>\n | ||||||
| 15<\/td>\n | 1 Scope 2 Normative References <\/td>\n<\/tr>\n | ||||||
| 16<\/td>\n | 3 Terms, definitions and abbreviations 3.1 Terms and definitions <\/td>\n<\/tr>\n | ||||||
| 18<\/td>\n | 3.2 Abbreviations <\/td>\n<\/tr>\n | ||||||
| 19<\/td>\n | 4 Overview of parts 41 to 49 of ISO 18629 5 Organization of this part of ISO 18629 5.1 Introduction 5.2 Extensions in this part of ISO 18629 <\/td>\n<\/tr>\n | ||||||
| 20<\/td>\n | 6 State-based preconditions for activities 6.1 Primitive lexicon of the State-based preconditions for activities <\/td>\n<\/tr>\n | ||||||
| 21<\/td>\n | 6.2 Defined lexicon for concepts of State-based preconditions for activities 6.3 Core theories required by State-based preconditions for activities 6.4 Definitional extensions required by State-based preconditions for activities 6.5 Definitions of concepts for State-based preconditions for activities 6.5.1 state_equiv 6.5.2 markov_precond <\/td>\n<\/tr>\n | ||||||
| 22<\/td>\n | 6.5.3 partial_state 6.5.4 rigid_state 6.6 Grammar for relations of State-based preconditions for activities <\/td>\n<\/tr>\n | ||||||
| 23<\/td>\n | 7 Time-based preconditions for activities 7.1 Primitive lexicon of Time-based preconditions for activities 7.2 Defined lexicon for concepts of Time-based preconditions for activities 7.3 Theories required by Time-based preconditions for activities 7.4 Definitional extensions required by Time-based preconditions for activities 7.5 Definitions of Time-based preconditions for activities 7.5.1 begin_equiv 7.5.2 time_precond <\/td>\n<\/tr>\n | ||||||
| 24<\/td>\n | 7.5.3 partial_timeprecond 7.5.4 rigid_time 7.6 Grammar for process descriptions of Time-based preconditions for activities <\/td>\n<\/tr>\n | ||||||
| 25<\/td>\n | 8 Preconditions based on state and time 8.1 Primitive lexicon of Preconditions based on state and time 8.2 Defined lexicon of Preconditions based on state and time 8.3 Theories required by Preconditions based on state and time 8.4 Definitional extensions required by Preconditions based on state and time 8.5 Definitions of Preconditions based on state and time 8.5.1 mixed_precond 8.5.2 partial_mixed <\/td>\n<\/tr>\n | ||||||
| 26<\/td>\n | 8.5.3 rigid_mixed 8.6 Grammar for Preconditions based on state and time 9 Occurrence-based preconditions for activities 9.1 Primitive lexicon of Occurrence-based preconditions for activities <\/td>\n<\/tr>\n | ||||||
| 27<\/td>\n | 9.2 Defined relations of Occurrence-based preconditions for activities 9.3 Theories required by Occurrence-based preconditions for activities 9.4 Definitional extensions required by Occurrence-based preconditions for activities 9.5 Definitions of Occurrence-based preconditions for activities 9.5.1 tree_equiv 9.5.2 occurrence_constrained 9.5.3 occurrence_dependent <\/td>\n<\/tr>\n | ||||||
| 28<\/td>\n | 9.5.4 occurrence_independent 9.6 Grammar for Occurrence-based preconditions for activities 10 Preventable conditions for activities 10.1 Primitive lexicon of Preventable conditions for activities <\/td>\n<\/tr>\n | ||||||
| 29<\/td>\n | 10.2 Defined relations of Preventable conditions for activities 10.3 Theories required by Preventable conditions for activities 10.4 Definitional extensions required by Preventable conditions for activities 10.5 Definitions of Preventable conditions for activities 10.5.1 preventable 10.5.2 possibly_preventable <\/td>\n<\/tr>\n | ||||||
| 30<\/td>\n | 10.5.3 unpreventable 10.6 Grammar for process descriptions of Preventable conditions for activities 11 Periodic preconditions for activities 11.1 Primitive lexicon of Periodic preconditions for activities 11.2 Defined lexicon of Periodic preconditions for activities 11.3 Theories required by Periodic preconditions for activities <\/td>\n<\/tr>\n | ||||||
| 31<\/td>\n | 11.4 Definitional extensions required by Periodic preconditions for activities 11.5 Definitions of Periodic preconditions for activities 11.5.1 periodic 11.5.2 intermittent 11.5.3 aperiodic <\/td>\n<\/tr>\n | ||||||
| 32<\/td>\n | 11.6 Grammar for of Periodic preconditions for activities 12 Spoilage preconditions for activities 12.1 Primitive lexicon of Spoilage preconditions for activities 12.2 Defined lexicon of Spoilage preconditions for activities 12.3 Theories required by Spoilage preconditions for activities 12.4 Definitional extensions required by Spoilage preconditions for activities <\/td>\n<\/tr>\n | ||||||
| 33<\/td>\n | 12.5 Definitions of Spoilage preconditions for activities 12.5.1 spoilage 12.5.2 possible_spoilage 12.5.3 nonspoilage 12.6 Grammar of Spoilage preconditions for activities 13 Effects of activities 13.1 Primitive lexicon of Effects of activities <\/td>\n<\/tr>\n | ||||||
| 34<\/td>\n | 13.2 Defined lexicon of Effects of activities 13.3 Theories required by Effects of activities 13.4 Definitional extensions required by Effects of activities 13.5 Definitions of Effects of activities 13.5.1 effects_equiv 13.5.2 context_free 13.5.3 null <\/td>\n<\/tr>\n | ||||||
| 35<\/td>\n | 13.6 Grammar for Effects of activities 14 State-based effects of activities 14.1 Primitive lexicon of State-based effects of activities 14.2 Defined lexicon of State-based effects of activities 14.3 Core theories required by State-based effects of activities 14.4 Definitional extensions required by State-based effects of activities 14.5 Definitions of State-based effects of activities <\/td>\n<\/tr>\n | ||||||
| 36<\/td>\n | 14.5.1 markov_effects 14.5.2 partial_state_effects 14.5.3 rigid_state_effects 14.6 Grammar for State-based Effects Activities. 15 Time-based effects of activities 15.1 Primitive lexicon of Time-based effects of activities <\/td>\n<\/tr>\n | ||||||
| 37<\/td>\n | 15.2 Defined lexicon of Time-based effects of activities 15.3 Core theories required by Time-based effects of activities 15.4 Definitional extensions required by Time-based effects of activities 15.5 Definitions of Time-based effects of activities 15.5.1 temporal_effects 15.5.2 partial_temporal 15.5.3 nontemporal <\/td>\n<\/tr>\n | ||||||
| 38<\/td>\n | 15.6 Grammar for Time-based effects of activities 16 Occurrence-based effects of activities 16.1 Primitive lexicon of Occurrence-based effects of activities 16.2 Defined lexicon of Occurrence-based effects of activities 16.3 Core theories required by Occurrence-based effects of activities 16.4 Definitional extensions required by Occurrence-based effects of activities 16.5 Definitions of Occurrence-based effects of activities <\/td>\n<\/tr>\n | ||||||
| 39<\/td>\n | 16.5.1 occ_effects 16.5.2 occ_depend_effects 16.5.3 nonocc_effects 16.6 Grammar for Occurrence-based effects of activities 17 Effects of activities: Occurrence Constraints 17.1 Primitive lexicon of Effects of activities: Occurrence Constraints <\/td>\n<\/tr>\n | ||||||
| 40<\/td>\n | 17.2 Defined lexicon of Effects of activities: Occurrence Constraints 17.3 Core theories required by Effects of activities: Occurrence Constraints 17.4 Definitional extensions required by Effects of activities: Occurrence Constraints 17.5 Definitions of Effects of activities: Occurrence Constraints 17.5.1 quantum 17.5.2 semiclassical 17.5.3 classical <\/td>\n<\/tr>\n | ||||||
| 41<\/td>\n | 17.6 Grammar for Effects of activities: Occurrence Constraints 18 Effects of activities: Temporal and Occurrence Constraints 18.1 Primitive lexicon of Effects of activities: Temporal and Occurrence Constraints 18.2 Defined lexicon of Effects of activities: Temporal and Occurrence Constraints 18.3 Core theories required by Effects of activities: Temporal and Occurrence Constraints 18.4 Definitional extensions required by Effects of activities: Temporal and Occurrence Constraints <\/td>\n<\/tr>\n | ||||||
| 42<\/td>\n | 18.5 Definitions of Effects of activities: Temporal and Occurrence Constraints 18.5.1 relativistic 18.5.2 seminewton 18.5.3 newtonian 18.6 Grammar for Effects of activities: Temporal and Occurrence Constraints <\/td>\n<\/tr>\n | ||||||
| 43<\/td>\n | 19 Fluent trees 19.1 Primitive lexicon of Fluent trees 19.2 Defined relations of Fluent trees 19.3 Core theories required by Fluent trees 19.4 Definitional extensions required by Fluent trees 19.5 Definitions of Fluent trees 19.5.1 achieved 19.5.2 falsified <\/td>\n<\/tr>\n | ||||||
| 44<\/td>\n | 19.5.3 irreversible 19.5.4 unachievable 19.5.5 bounded 19.6 Grammar for process descriptions of Fluent trees 20 Distribution of complex activities 20.1 Primitive lexicon of Distribution of complex activities 20.2 Defined relations of Distribution of complex activities <\/td>\n<\/tr>\n | ||||||
| 45<\/td>\n | 20.3 Core theories required by Distribution of complex activities 20.4 Definitional extensions required by Distribution of complex activities 20.5 Definitions of Distribution of complex activities 20.5.1 profile 20.5.2 root_equiv 20.5.3 universal <\/td>\n<\/tr>\n | ||||||
| 46<\/td>\n | 20.5.4 local 20.5.5 restricted 20.6 Grammar for process descriptions of Distribution of complex activities 21 State-based distribution of complex activities 21.1 Primitive lexicon of State-based distribution of complex activities <\/td>\n<\/tr>\n | ||||||
| 47<\/td>\n | 21.2 Defined relations of State-based distribution of complex activities 21.3 Theories required by State-based distribution of complex activities 21.4 Definitional extensions required by State-based distribution of complex activities 21.5 Definitions of State-based distribution of complex activities 21.5.1 trigger 21.5.2 partial_trigger <\/td>\n<\/tr>\n | ||||||
| 48<\/td>\n | 21.5.3 nontrigger 21.6 Grammar for process descriptions of State-based distribution of complex activities 22 Time-based distribution of complex activities 22.1 Primitive lexicon of Time-based distribution of complex activities 22.2 Defined relations of Time-based distribution of complex activities 22.3 Theories required by Time-based distribution of complex activities <\/td>\n<\/tr>\n | ||||||
| 49<\/td>\n | 22.4 Definitional extensions required by Time-based distribution of complex activities 22.5 Definitions of Time-based distribution of complex activities 22.5.1 launch 22.5.2 partial_launch 22.5.3 rigid_launch 22.6 Grammar for process descriptions of Time-baseddistribution of complex activities <\/td>\n<\/tr>\n | ||||||
| 50<\/td>\n | 23 Mixed distribution of complex activities 23.1 Primitive lexicon of Mixed distribution of complex activities 23.2 Defined relations of Mixed distribution of complex activities 23.3 Core theories required by Mixed distribution of complex activities 23.4 Definitional extensions required by Mixed distribution of complex activities 23.5 Definitions of Mixed distribution of complex activities 23.5.1 conditional_launch <\/td>\n<\/tr>\n | ||||||
| 51<\/td>\n | 23.5.2 partial_conditional_launch 23.5.3 unconditional_launch 23.6 Grammar for process descriptions of Mixed distribution of complex activities 24 Variation of complex activities 24.1 Primitive lexicon of Variation of complex activities <\/td>\n<\/tr>\n | ||||||
| 52<\/td>\n | 24.2 Defined relations of Variation of complex activities 24.3 Theories required by Variation of complex activities 24.4 Definitional extensions required by Variation of complex activities 24.5 Definitions of Variation of complex activities 24.5.1 min_equiv 24.5.2 uniform 24.5.3 variegated <\/td>\n<\/tr>\n | ||||||
| 53<\/td>\n | 24.5.4 multiform 24.6 Grammar for process descriptions of Variation of complex activities 25 State-based variation of complex activities 25.1 Primitive lexicon of State-based variation of complex activities <\/td>\n<\/tr>\n | ||||||
| 54<\/td>\n | 25.2 Defined relations of State-based variation of complex activities 25.3 Theories required by State-based variation of complex activities 25.4 Definitional extensions required by State-based variation of complex activities 25.5 Definitions of State-based variation of complex activities 25.5.1 conditional 25.5.2 partial_conditional <\/td>\n<\/tr>\n | ||||||
| 55<\/td>\n | 25.5.3 rigid_conditional 25.6 Grammar for process descriptions of State-based variation of complex activities 26 Time-based variation of complex activities 26.1 Primitive lexicon of Time-based variation of complex activities 26.2 Defined relations of Time-based variation of complex activities 26.3 Theories required by Time-based variation of complex activities <\/td>\n<\/tr>\n | ||||||
| 56<\/td>\n | 26.4 Definitional extensions required by Time-based variation of complex activities 26.5 Definitions of Time-based variation of complex activities 26.5.1 time_conditional 26.5.2 partial_time_conditional 26.5.3 rigid_time_conditional <\/td>\n<\/tr>\n | ||||||
| 57<\/td>\n | 26.6 Grammar for process descriptions of Time-based variation of complex activities 27 Mixed variation of complex activities 27.1 Primitive lexicon of Mixed variation of complex activities 27.2 Defined relations of Mixed variation of complex activities 27.3 Theories required by Mixed variation of complex activities 27.4 Definitional extensions required by Mixed variation of complex activities 27.5 Definitions of Mixed variation of complex activities <\/td>\n<\/tr>\n | ||||||
| 58<\/td>\n | 27.5.1 mixed_conditional 27.5.2 partial_mixed_conditional 27.5.3 rigid_mixed_conditional 27.6 Grammar for process descriptions of Mixed variation of complex activities <\/td>\n<\/tr>\n | ||||||
| 59<\/td>\n | 28 Embedded activities: plans 28.1 Primitive lexicon of Embedded activities: plans 28.2 Defined relations of Embedded activities: plans 28.3 Theories required by Embedded activities: plans 28.4 Definitional extensions required by Embedded activities: plans 28.5 Definitions of Embedded activities: plans 28.5.1 plan <\/td>\n<\/tr>\n | ||||||
| 60<\/td>\n | 28.5.2 nondet_plan 28.5.3 unplan 28.6 Grammar for process descriptions of Embedded activities: plans 29 Embedded activities: temporal spread 29.1 Primitive lexicon of Embedded activities: temporal spread <\/td>\n<\/tr>\n | ||||||
| 61<\/td>\n | 29.2 Defined relations of Embedded activities: temporal spread 29.3 Theories required by Embedded activities: temporal spread 29.4 Definitional extensions required by Embedded activities: temporal spread 29.5 Definitions of Embedded activities: temporal spread 29.5.1 spread 29.5.2 partial_spread <\/td>\n<\/tr>\n | ||||||
| 62<\/td>\n | 29.5.3 tight 29.6 Grammar for process descriptions of Embedded activities: temporal spread 30 Variation for upwards atomic activities 30.1 Primitive lexicon of Variation for upwards atomic activities 30.2 Defined relations of Variation for upwards atomic activities <\/td>\n<\/tr>\n | ||||||
| 63<\/td>\n | 30.3 Theories required by Variation for upwards atomic activities 30.4 Definitional extensions required by Variation for upwards atomic activities 30.5 Definitions of Variation for upwards atomic activities 30.5.1 state_filter 30.5.2 partial_state_filter <\/td>\n<\/tr>\n | ||||||
| 64<\/td>\n | 30.5.3 rigid_state_filter 30.5.4 time_filter 30.5.5 partial_time_filter <\/td>\n<\/tr>\n | ||||||
| 65<\/td>\n | 30.5.6 rigid_time_filter 30.5.7 state_nonfilter 30.5.8 partial_state_nonfilter 30.5.9 rigid_state_nonfilter <\/td>\n<\/tr>\n | ||||||
| 66<\/td>\n | 30.5.10 time_nonfilter 30.5.11 partial_timenonfilter 30.5.12 rigid_time_nonfilter 30.6 Grammar for process descriptions of Variation for upwards atomic activities 31 Variation for downwards atomic activities 31.1 Primitive lexicon of Variation for downwards atomic activities <\/td>\n<\/tr>\n | ||||||
| 67<\/td>\n | 31.2 Defined relations of Variation for downwards atomic activities 31.3 Theories required by Variation for downwards atomic activities 31.4 Definitional extensions required by Variation for downwards atomic activities 31.5 Definitions of Variation for downwards atomic activities 31.5.1 state_ideal <\/td>\n<\/tr>\n | ||||||
| 68<\/td>\n | 31.5.2 partial_state_ideal 31.5.3 rigid_state_ideal 31.5.4 time_ideal 31.5.5 partial_time_ideal <\/td>\n<\/tr>\n | ||||||
| 69<\/td>\n | 31.5.6 rigid_time_ideal 31.5.7 state_nonideal 31.5.8 partial_state_nonideal 31.5.9 rigid_state_nonideal <\/td>\n<\/tr>\n | ||||||
| 70<\/td>\n | 31.5.10 time_nonideal 31.5.11 partial_time_nonideal 31.5.12 rigid_time_nonideal 31.6 Grammar for process descriptions of Variation for downwards atomic activities <\/td>\n<\/tr>\n | ||||||
| 71<\/td>\n | 32 Preconditions for concurrent activities 32.1 Primitive lexicon of Preconditions for concurrent activities 32.2 Defined relations of Preconditions for concurrent activities 32.3 Theories required by Preconditions for concurrent activities 32.4 Definitional extensions required by Preconditions for concurrent activities 32.5 Definitions of Preconditions for concurrent activities 32.5.1 preserved_filter <\/td>\n<\/tr>\n | ||||||
| 72<\/td>\n | 32.5.2 noninterfering 32.5.3 interfering 32.5.4 imperial 32.5.5 global_interfere 32.6 Grammar for process descriptions of Preconditions for concurrent activities 33 Effects for concurrent activities 33.1 Primitive lexicon of Effects for concurrent activities <\/td>\n<\/tr>\n | ||||||
| 73<\/td>\n | 33.2 Defined relations of Effects for concurrent activities 33.3 Theories required by Effects for concurrent activities 33.4 Definitional extensions required by Effects for concurrent activities 33.5 Definitions of Effects for concurrent activities 33.5.1 preserved_effects 33.5.2 nonclobbering <\/td>\n<\/tr>\n | ||||||
| 74<\/td>\n | 33.5.3 clobbering 33.5.4 meddling 33.5.5 global_clobber 33.6 Grammar for process descriptions of Effects for concurrent activities 34 Variation of interfering preconditions 34.1 Primitive lexicon of Variation of interfering preconditions 34.2 Defined relations of Variation of interfering preconditions <\/td>\n<\/tr>\n | ||||||
| 75<\/td>\n | 34.3 Theories required by Variation of interfering preconditions 34.4 Definitional extensions required by Variation of interfering preconditions 34.5 Definitions of Variation of interfering preconditions 34.5.1 state_interfere 34.5.2 partial_interfere 34.5.3 unconditional_interfere <\/td>\n<\/tr>\n | ||||||
| 76<\/td>\n | 34.5.4 time_interfere 34.5.5 sometime_interfere 34.5.6 rigid_interfere 34.6 Grammar for process descriptions of Variation of interfering preconditions <\/td>\n<\/tr>\n | ||||||
| 77<\/td>\n | 35 Variation off clobbering effects 35.1 Primitive lexicon of Variation off clobbering effects 35.2 Defined relations of Variation off clobbering effects 35.3 Theories required by Variation off clobbering effects 35.4 Definitional extensions required by Variation off clobbering effects 35.5 Definitions of Variation of clobbering effects 35.5.1 state_clobber <\/td>\n<\/tr>\n | ||||||
| 78<\/td>\n | 35.5.2 partial_state_clobber 35.5.3 unconditional_clobber 35.5.4 time_clobber 35.5.5 sometime_clobber <\/td>\n<\/tr>\n | ||||||
| 79<\/td>\n | 35.5.6 rigid_clobber 35.6 Grammar for process descriptions of Variation off clobbering effects <\/td>\n<\/tr>\n | ||||||
| 80<\/td>\n | Annex A (normative) ASN.1 Identifier of ISO 18629\u201142 <\/td>\n<\/tr>\n | ||||||
| 81<\/td>\n | Annex B (informative) Example of process description using ISO 18629\u201142 <\/td>\n<\/tr>\n | ||||||
| 87<\/td>\n | Bibliography <\/td>\n<\/tr>\n<\/table>\n","protected":false},"excerpt":{"rendered":" Industrial automation systems and integration. Process specification language – Definitional extension: Temporal and state extensions<\/b><\/p>\n |