🔥🔥 Don’t Miss Out on Our End of Autumn Sale. If you have any questions, feel free to click the bottom right corner to contact our customer service..

Concat us[email protected]
Shopping Cart

No products in the cart.

🔍
BS ISO 18629-12:2005:2023 Edition

BS ISO 18629-12:2005:2023 Edition

$189.07

Industrial automation systems and integration. Process specification language – Outer core

Published By Publication Date Number of Pages
BSI 2023 50
PDF Format Searchable Printable Preview Now
Guaranteed Safe Checkout
Category:

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

PDF Catalog

PDF Pages PDF Title
2 National foreword
8 Foreword
9 Introduction
11 1 Scope
2 Normative references
3 Terms, definitions, and abbreviations
3.1 Terms and definitions
15 3.2 Abbreviations
16 4 ISO 18629 general
5 Organization of ISO 18629‑12
5.1 Extensions in Outer core
17 6 Subactivity core theory
6.1 Primitive Relations of the Subactivity core theory
6.2 Defined Relations of the Subactivity core theory
18 6.3 Relationship to other sets of axioms
6.4 Informal Semantics of the Subactivity core theory
6.4.1 subactivity
6.4.2 primitive
6.5 Definitions in the Subactivity core theory
6.5.1 Definition 1:
6.6 Axioms of the Subactivity core theory
6.6.1 Axiom 1
6.6.2 Axiom 2
19 6.6.3 Axiom 3
6.6.4 Axiom 4
6.6.5 Axiom 5
6.6.6 Axiom 6
7 Occurrence tree core theory
20 7.1 Primitive Relations
7.2 Primitive Functions
7.3 Relationship to other sets of axioms
7.4 Informal Semantics of the Occurrence tree core theory
7.4.1 earlier
7.4.2 initial
21 7.4.3 legal
7.4.4 poss
7.4.5 precedes
7.4.6 successor
7.5 Axioms for the Occurrence tree core theory
7.5.1 Axiom 1
22 7.5.2 Axiom 2
7.5.3 Axiom 3
7.5.4 Axiom 4
7.5.5 Axiom 5
7.5.6 Axiom 6
7.5.7 Axiom 7
7.5.8 Axiom 8
23 7.5.9 Axiom 9
7.5.10 Axiom 10
7.5.11 Axiom 11
7.5.12 Axiom 12
7.5.13 Axiom 13
7.5.14 Axiom 14
7.5.15 Definition 1
24 7.5.16 Definition 2
8 Discrete state core theory
8.1 Primitive categories in the Discrete state core theory
8.2 Primitive relations in the Discrete state core theory
8.3 Relationship to other sets of axioms
8.4 Informal semantics of the Discrete state core theory
8.4.1 state
25 8.4.2 holds
8.4.3 prior
8.5 Axioms for the Discrete state core theory
8.5.1 Axiom 1
8.5.2 Axiom 2
8.5.3 Axiom 3
8.5.4 Axiom 4
26 8.5.5 Axiom 5
8.5.6 Axiom 6
8.5.7 Axiom 7
9 Atomic activity core theory
9.1 Primitive Relations in the Atomic activity core theory
9.2 Primitive Functions in the Atomic activity core theory
9.3 Relationship to other sets of axioms
27 9.4 Informal semantics of the Atomic activity core theory
9.4.1 atomic
9.4.2 conc
9.5 Definitions in Atomic activity core theory
9.6 Axioms of the Atomic activity core theory
9.6.1 Axiom 1
9.6.2 Axiom 2
9.6.3 Axiom 3
28 9.6.4 Axiom 4
9.6.5 Axiom 5
9.6.6 Axiom 6
9.6.7 Axiom 7
9.6.8 Axiom 8
9.6.9 Axiom 9
10 Complex activity core theory
29 10.1 Primitive Relations in the Complex activity core theory
10.2 Defined Relations in the Complex activity core theory
10.3 Relationship to other sets of axioms
10.4 Informal Semantics of the Complex activity core theory
10.4.1 minp_recedes
30 10.4.2 root
10.4.3 subtree
10.4.4 leaf
10.4.5 do
10.4.6 next subocc
10.4.7 sibling
31 10.5 Definitions in Complex activity core theory
10.5.1 Definition 1
10.5.2 Definition 2
10.5.3 Definition 3
10.5.4 Definition 4
10.5.5 Definition 5
32 10.6 Axioms of the Complex activity core theory
10.6.1 Axiom 1
10.6.2 Axiom 2
10.6.3 Axiom 3
10.6.4 Axiom 4
33 10.6.5 Axiom 5
10.6.6 Axiom 6
10.6.7 Axiom 7
10.6.8 Axiom 8
10.6.9 Axiom 9
10.6.10 Axiom 10
34 10.6.11 Axiom 11
11 Activity occurrence core theory
11.1 Primitive Relations in the Activity occurrence core theory
11.2 Defined Relations in the Activity occurrence core theory
11.3 Relationship to other sets of axioms
11.4 Informal Semantics of the Activity occurrence core theory
11.4.1 subactivityoccurrence
35 11.4.2 mono
11.4.3 root_occ
11.4.4 leaf_occ
11.4.5 iso_occ
11.4.6 hom
36 11.4.7 same_grove
11.5 Definitions for Activity occurrence core theory
11.5.1 Definition 1
11.5.2 Definition 2
11.5.3 Definition 3
11.5.4 Definition 3
37 11.5.5 Definition 4
11.5.6 Definition 5
11.6 Axioms for Activity occurrence core theory
11.6.1 Axiom 1
11.6.2 Axiom 2
11.6.3 Axiom 3
38 11.6.4 Axiom 4
11.6.5 Axiom 5
11.6.6 Axiom 6
11.6.7 Axiom 7
11.6.8 Axiom 8
39 11.6.9 Axiom 9
11.6.10 Axiom 10
11.6.11 Axiom 11
11.6.12 Axiom 12
11.6.13 Axiom 13
11.6.14 Axiom 14
11.6.15 Axiom 15
41 Annex A (normative) Use of ASN.l Identifiers in SC4 standards
42 Annex B (informative) Relationship to Situation Calculus
43 Annex C (informative) Example of process description using PSL-Outercore
48 Bibliography

Related products

BS ISO 18629-12:2005
$189.07