BSI 22/30452673 DC 2022
$24.66
BS ISO 19450. Automation systems and integration. Object-Process Methodology
Published By | Publication Date | Number of Pages |
BSI | 2022 | 179 |
PDF Catalog
PDF Pages | PDF Title |
---|---|
1 | 30452673-NC.pdf |
3 | ISO_DIS 19450 ed.1 – id.84612 Enquiry PDF (en).pdf |
8 | Foreword |
9 | Introduction |
11 | 1 Scope 2 Normative references 3 Terms and definitions |
18 | 4 Symbols |
20 | 5 Conformance 6 Object-Process Methodology principles and concepts 6.1 OPM modelling principles 6.1.1 Modelling as a purpose-serving activity |
21 | 6.1.2 Unification of function, structure, and behaviour 6.1.3 Identify functional value 6.1.4 Function versus behaviour 6.1.5 System boundary setting |
22 | 6.1.6 Clarity and completeness trade-off 6.2 OPM Fundamental concepts 6.2.1 Bimodal representation 6.2.2 OPM modelling elements |
23 | 6.2.3 OPM things: objects and processes 6.2.4 OPM links: procedural and structural |
24 | 6.2.5 OPM context management 6.2.6 OPM model implementation (informative) |
25 | 7 OPM thing syntax and semantics 7.1 Objects 7.1.1 Description 7.1.2 Representation 7.2 Processes 7.2.1 Description |
26 | 7.2.2 Representation 7.3 OPM things 7.3.1 OPM thing defined 7.3.2 Object-process test |
27 | 7.3.3 OPM thing generic properties |
28 | 7.3.4 Default values of thing generic properties 7.3.5 Object states |
30 | 8 OPM link syntax and semantics overview 8.1 Procedural link overview 8.1.1 Kinds of procedural links 8.1.2 Procedural link uniqueness OPM principle 8.1.3 State-specified procedural links 8.2 Operational semantics and flow of execution control 8.2.1 The Event-Condition-Action control mechanism |
31 | 8.2.2 Preprocess object set and postprocess object set 8.2.3 Skip semantics of condition vs. wait semantics of non-condition links |
32 | 9 Procedural links 9.1 Transforming links 9.1.1 Kinds of transforming links 9.1.2 Consumption link |
33 | 9.1.3 Result link 9.1.4 Effect link |
34 | 9.1.5 Basic transforming links summary 9.2 Enabling links 9.2.1 Kinds of enabling links 9.2.2 Agent and Agent Link |
35 | 9.2.3 Instrument and Instrument Link |
36 | 9.2.4 Basic enabling links summary 9.3 State-specified transforming links 9.3.1 State-specified consumption link |
37 | 9.3.2 State-specified result link |
38 | 9.3.3 State-specified effect links |
40 | 9.3.4 State-specified transforming links summary |
41 | 9.4 State-specified enabling links 9.4.1 State-specified agent link 9.4.2 State-specified instrument link |
42 | 9.4.3 State-specified enabling links summary 9.5 Control links 9.5.1 Kinds of control links |
43 | 9.5.2 Event links |
49 | 9.5.3 Condition links |
56 | 9.5.4 Exception links |
57 | 10 Structural links 10.1 Kinds of structural links 10.2 Tagged structural link 10.2.1 Unidirectional tagged structural link 10.2.2 Unidirectional null-tagged structural link |
58 | 10.2.3 Bidirectional tagged structural link 10.2.4 Reciprocal tagged structural link |
59 | 10.3 Fundamental structural relations 10.3.1 Kinds of fundamental structural relations |
60 | 10.3.2 Aggregation-participation relation link |
61 | 10.3.3 Exhibition-characterization link |
64 | 10.3.4 Generalization-specialization and Inheritance |
67 | 10.3.5 Classification-instantiation link |
70 | 10.3.6 Fundamental structural relation link and tagged structural link summary |
71 | 10.4 State-specified structural relations and links 10.4.1 State-specified characterization relation link |
72 | 10.4.2 State-specified tagged structural relations |
77 | 11 Relationship cardinalities 11.1 Object multiplicity in structural and procedural links |
79 | 11.2 Object multiplicity expressions and constraints |
81 | 11.3 Attribute value and multiplicity constraints |
82 | 12 Logical operators: AND, XOR, and OR 12.1 Logical AND procedural links |
83 | 12.2 Logical XOR and OR procedural links |
84 | 12.3 Diverging and converging XOR and OR links |
86 | 12.4 State-specified XOR and OR link fans |
87 | 12.5 Control-modified link fans 12.6 State-specified control-modified link fans |
88 | 12.7 Link probabilities and probabilistic link fans |
91 | 13 Execution path and path labels |
93 | 14 Context management with Object-Process Methodology 14.1 Completing the system diagram 14.2 Achieving model comprehension 14.2.1 OPM refinement-abstraction mechanisms |
98 | 14.2.2 Control (operational) semantics within an in-zoomed process context |
109 | 14.2.3 OPM fact consistency principle 14.2.4 Abstraction ambiguity resolution for procedural links |
112 | Annex€A (normative) OPL Formal syntax in EBNF |
129 | Annex€B (informative) Guidance for Object-Process Methodology |
133 | Annex€C (informative) Modelling OPM using OPM |
172 | Annex€D (informative) OPM dynamics and simulation |
178 | Bibliography |