Name: BS ISO 18629-42:2006 PDF - PDF Standards Store
Price: 215.11 USD
Availability: InStock

PDF Catalog

PDF Pages	PDF Title
2	National foreword
12	Foreword
13	Introduction
15	1 Scope 2 Normative References
16	3 Terms, definitions and abbreviations 3.1 Terms and definitions
18	3.2 Abbreviations
19	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
20	6 State-based preconditions for activities 6.1 Primitive lexicon of the State-based preconditions for activities
21	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
22	6.5.3 partial_state 6.5.4 rigid_state 6.6 Grammar for relations of State-based preconditions for activities
23	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
24	7.5.3 partial_timeprecond 7.5.4 rigid_time 7.6 Grammar for process descriptions of Time-based preconditions for activities
25	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
26	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
27	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
28	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
29	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
30	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
31	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
32	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
33	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
34	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
35	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
36	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
37	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
38	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
39	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
40	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
41	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
42	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
43	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
44	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
45	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
46	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
47	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
48	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
49	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
50	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
51	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
52	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
53	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
54	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
55	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
56	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
57	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
58	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
59	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
60	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
61	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
62	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
63	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
64	30.5.3 rigid_state_filter 30.5.4 time_filter 30.5.5 partial_time_filter
65	30.5.6 rigid_time_filter 30.5.7 state_nonfilter 30.5.8 partial_state_nonfilter 30.5.9 rigid_state_nonfilter
66	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
67	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
68	31.5.2 partial_state_ideal 31.5.3 rigid_state_ideal 31.5.4 time_ideal 31.5.5 partial_time_ideal
69	31.5.6 rigid_time_ideal 31.5.7 state_nonideal 31.5.8 partial_state_nonideal 31.5.9 rigid_state_nonideal
70	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
71	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
72	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
73	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
74	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
75	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
76	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
77	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
78	35.5.2 partial_state_clobber 35.5.3 unconditional_clobber 35.5.4 time_clobber 35.5.5 sometime_clobber
79	35.5.6 rigid_clobber 35.6 Grammar for process descriptions of Variation off clobbering effects
80	Annex A (normative) ASN.1 Identifier of ISO 18629‑42
81	Annex B (informative) Example of process description using ISO 18629‑42
87	Bibliography

Published By	Publication Date	Number of Pages
BSI	2023	88


PDF Format	Searchable	Printable	Preview Now

Status	Under Review
Pages	88
Publication Date	2023-03-22
ISBN	978 0 539 22225 8
Standard Number	BS ISO 18629-42:2006
Title	Industrial automation systems and integration. Process specification language – Definitional extension: Temporal and state extensions
Identical National Standard Of	ISO 18629-42:2006
Descriptors	Industrial process measurement, Specifications, Requirements languages
Publisher	BSI
Committee	AMT/4
ICS Codes	25.040.40 - Industrial process measurement and control

BS ISO 18629-42:2006:2023 Edition

PDF Catalog

Related products