BS ISO 19450:2024 – TC
$280.87
Tracked Changes. Automation systems and integration. Object-Process Methodology
Published By | Publication Date | Number of Pages |
BSI | 2024 | 484 |
PDF Catalog
PDF Pages | PDF Title |
---|---|
308 | National foreword |
314 | Foreword |
315 | Introduction |
317 | 1 Scope 2 Normative references 3 Terms and definitions |
325 | 4 Symbols |
326 | 5 Conformance |
327 | 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 |
328 | 6.1.4 Function versus behaviour 6.1.5 System boundary setting 6.1.6 Clarity and completeness trade-off |
329 | 6.2 OPM fundamental concepts 6.2.1 Bimodal representation 6.2.2 OPM modelling elements |
330 | 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) |
331 | 7 OPM thing syntax and semantics 7.1 Objects 7.1.1 Description |
332 | 7.1.2 Representation 7.2 Processes 7.2.1 Description 7.2.2 Representation |
333 | 7.3 OPM things 7.3.1 OPM thing defined 7.3.2 Object-process test 7.3.3 OPM thing generic properties |
334 | 7.3.4 Default values of thing generic properties |
335 | 7.3.5 Object states |
336 | 8 OPM link syntax and semantics overview 8.1 Procedural link overview 8.1.1 Kinds of procedural links |
337 | 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 |
338 | 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 |
339 | 9.1.2 Consumption link 9.1.3 Result link |
340 | 9.1.4 Effect link 9.1.5 Basic transforming links summary 9.2 Enabling links 9.2.1 Kinds of enabling links |
341 | 9.2.2 Agent and agent link 9.2.3 Instrument and instrument link |
342 | 9.2.4 Basic enabling links summary 9.3 State-specified transforming links 9.3.1 State-specified consumption link |
343 | 9.3.2 State-specified result link |
344 | 9.3.3 State-specified effect links |
346 | 9.3.4 State-specified transforming links summary |
347 | 9.4 State-specified enabling links 9.4.1 State-specified agent link 9.4.2 State-specified instrument link |
348 | 9.4.3 State-specified enabling links summary 9.5 Control links 9.5.1 Kinds of control links |
349 | 9.5.2 Event links |
355 | 9.5.3 Condition links |
362 | 9.5.4 Exception links |
363 | 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 |
364 | 10.2.4 Reciprocal tagged structural link |
365 | 10.3 Fundamental structural relations 10.3.1 Kinds of fundamental structural relations 10.3.2 Aggregation-participation relation link |
367 | 10.3.3 Exhibition-characterization link |
370 | 10.3.4 Generalization-specialization and Inheritance |
373 | 10.3.5 Classification-instantiation link |
375 | 10.3.6 Fundamental structural relation link and tagged structural link summary |
376 | 10.4 State-specified structural relations and links 10.4.1 State-specified characterization relation link |
377 | 10.4.2 State-specified tagged structural relations |
382 | 11 Relationship cardinalities 11.1 Object multiplicity in structural and procedural links |
383 | 11.2 Object multiplicity expressions and constraints |
385 | 11.3 Attribute value and multiplicity constraints |
386 | 12 Logical operators: AND, XOR, and OR 12.1 Logical AND procedural links |
387 | 12.2 Logical XOR and OR procedural links |
388 | 12.3 Diverging and converging XOR and OR links |
391 | 12.4 State-specified XOR and OR link fans 12.5 Control-modified link fans |
392 | 12.6 State-specified control-modified link fans |
393 | 12.7 Link probabilities and probabilistic link fans |
395 | 13 Execution path and path labels |
396 | 14 Context management with Object-Process Methodology (OPM) 14.1 Completing the system diagram (SD) |
397 | 14.2 Achieving model comprehension 14.2.1 OPM refinement-abstraction mechanisms |
401 | 14.2.2 Control (operational) semantics within an in-zoomed process context |
412 | 14.2.3 OPM fact consistency principle |
413 | 14.2.4 Abstraction ambiguity resolution for procedural links |
416 | Annex A (normative) Object-Process Language (OPL) formal syntax in Extended Bachus-Naur form (EBNF) |
433 | Annex B (informative) Guidance for Object-Process Methodology (OPM) |
436 | Annex C (informative) Modelling OPM using OPM |
475 | Annex D (informative) OPM dynamics and simulation |
481 | Bibliography |