BS ISO 19450:2024
$215.11
Automation systems and integration. Object-Process Methodology
Published By | Publication Date | Number of Pages |
BSI | 2024 | 178 |
PDF Catalog
PDF Pages | PDF Title |
---|---|
2 | National foreword |
8 | Foreword |
9 | Introduction |
11 | 1 Scope 2 Normative references 3 Terms and definitions |
19 | 4 Symbols |
20 | 5 Conformance |
21 | 6 Object-Process Methodology (OPM) principles and concepts 6.1 OPM modelling principles 6.1.1 Modelling as a purpose-serving activity 6.1.2 Unification of function, structure, and behaviour 6.1.3 Identify functional value |
22 | 6.1.4 Function versus behaviour 6.1.5 System boundary setting 6.1.6 Clarity and completeness trade-off |
23 | 6.2 OPM fundamental concepts 6.2.1 Bimodal representation 6.2.2 OPM modelling elements |
24 | 6.2.3 OPM things: objects and processes 6.2.4 OPM links: procedural and structural 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 |
26 | 7.1.2 Representation 7.2 Processes 7.2.1 Description 7.2.2 Representation |
27 | 7.3 OPM things 7.3.1 OPM thing defined 7.3.2 Object-process test 7.3.3 OPM thing generic properties |
28 | 7.3.4 Default values of thing generic properties |
29 | 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 |
31 | 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 Event-Condition-Action control mechanism 8.2.2 Preprocess object set and postprocess object set |
32 | 8.2.3 Skip semantics of condition versus wait semantics of non-condition links 9 Procedural links 9.1 Transforming links 9.1.1 Kinds of transforming links |
33 | 9.1.2 Consumption link 9.1.3 Result link |
34 | 9.1.4 Effect link 9.1.5 Basic transforming links summary 9.2 Enabling links 9.2.1 Kinds of enabling links |
35 | 9.2.2 Agent and agent link 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 10.2.3 Bidirectional tagged structural link |
58 | 10.2.4 Reciprocal tagged structural link |
59 | 10.3 Fundamental structural relations 10.3.1 Kinds of fundamental structural relations 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 |
69 | 10.3.6 Fundamental structural relation link and tagged structural link summary |
70 | 10.4 State-specified structural relations and links 10.4.1 State-specified characterization relation link |
71 | 10.4.2 State-specified tagged structural relations |
76 | 11 Relationship cardinalities 11.1 Object multiplicity in structural and procedural links |
77 | 11.2 Object multiplicity expressions and constraints |
79 | 11.3 Attribute value and multiplicity constraints |
80 | 12 Logical operators: AND, XOR, and OR 12.1 Logical AND procedural links |
81 | 12.2 Logical XOR and OR procedural links |
82 | 12.3 Diverging and converging XOR and OR links |
85 | 12.4 State-specified XOR and OR link fans 12.5 Control-modified link fans |
86 | 12.6 State-specified control-modified link fans |
87 | 12.7 Link probabilities and probabilistic link fans |
89 | 13 Execution path and path labels |
90 | 14 Context management with Object-Process Methodology (OPM) 14.1 Completing the system diagram (SD) |
91 | 14.2 Achieving model comprehension 14.2.1 OPM refinement-abstraction mechanisms |
95 | 14.2.2 Control (operational) semantics within an in-zoomed process context |
106 | 14.2.3 OPM fact consistency principle |
107 | 14.2.4 Abstraction ambiguity resolution for procedural links |
110 | Annex A (normative) Object-Process Language (OPL) formal syntax in Extended Bachus-Naur form (EBNF) |
127 | Annex B (informative) Guidance for Object-Process Methodology (OPM) |
130 | Annex C (informative) Modelling OPM using OPM |
169 | Annex D (informative) OPM dynamics and simulation |
175 | Bibliography |