BS ISO 18629-11:2005:2023 Edition
$167.15
Industrial automation systems and integration. Process specification language – PSL core
Published By | Publication Date | Number of Pages |
BSI | 2023 | 42 |
PDF Catalog
PDF Pages | PDF Title |
---|---|
2 | National foreword |
6 | Foreword |
7 | Introduction |
9 | 1 Scope 2 Normative references 3 Terms, definitions, and abbreviations 3.1 Terms and definitions |
13 | 3.2 Abbreviations |
14 | 4 ISO 18629 general 5 Language specification syntax 5.1 Basic symbols and Syntactic Categories |
15 | 5.2 Lexicon 5.3 Grammar 5.4 Language |
16 | 6 Basic elements of the PSL Core 6.1 Basic features 6.2 Primitive lexicon of the PSL-Core 6.2.1 Primitive categories of the PSL-Core |
17 | 6.2.2 Individuals of the PSL-Core |
18 | 6.2.3 Primitive relations of the PSL-Core |
19 | 6.2.4 Primitive functions of the PSL-Core 6.2.5 Theories required by the PSL-Core 6.3 Defined lexicon of the PSL-Core 6.3.1 Formal definitions of the PSL-Core |
20 | 6.4 Axioms 6.4.1 Axiom 1 6.4.2 Axiom 2 |
21 | 6.4.3 Axiom 3 6.4.4 Axiom 4 6.4.5 Axiom 5 6.4.6 Axiom 6 6.4.7 Axiom 7 6.4.8 Axiom 8 6.4.9 Axiom 9 |
22 | 6.4.10 Axiom 10 6.4.11 Axiom 11 6.4.12 Axiom 12 6.4.13 Axiom 13 6.4.14 Axiom 14 |
23 | 6.4.15 Axiom 15 6.4.16 Axiom 16 6.4.17 Axiom 17 7 Conformance to PSL-Core 7.1 Conformance of Ontologies 7.2 Conformance of Process Descriptions |
24 | Annex A (Normative) ASN.1 Identifier of ISO 18629‑11 |
25 | Annex B (Informative) KIF Syntax and Semantics |
31 | Annex C (Informative) Example of process description using PSL-Core |
39 | Annex D (informative) BNF Conventions |
40 | Bibliography |