Object Process Methodology

[1] Based on a minimal universal ontology of stateful objects and processes that transform them, OPM can be used to formally specify the function, structure, and behavior of artificial and natural systems in a large variety of domains.

Based on a minimal universal ontology of stateful objects and processes that transform them, OPM can be used to formally specify the function, structure, and behavior of artificial and natural systems in a large variety of domains.

Catering to human cognitive abilities, an OPM model represents the system under design or study bimodally in both graphics and text for improved representation, understanding, communication, and learning.

[6]Around that time, in 1991, Dov Dori, who then joined Technion – Israel Institute of Technology as faculty said in his 2016 book Model-Based Systems Engineering with OPM and SysML that he: realized that just as the procedural approach to software was inadequate, so was the “pure” OO approach, which puts objects as the sole “first class” citizens, with “methods” (or “services”) being their second-class subordinate procedures.Dori published the first paper on OPM in 1995.

[2] In 1997, Unified Modeling Language (UML), by the Object Management Group (OMG), became the de facto standard for software design.

The entire system is specified in its entirety by the union of the details (model facts) appearing in all the OPDs.

A correct OPM model constructed in OPCAT can be simulated by animating it, visually expressing how the system behaves over time to achieve its function at all detail levels.

An incorrect OPM model will not execute all the way through, and will indicate where and why it is stuck, effectively serving as a visual debugger.

However, in recent years OPM started to serve also researchers in molecular biology, yielding new published findings related to the mRNA lifecycle.

To apply OPM in a useful manner, the modeler has to make the essential distinction between objects and processes, as a prerequisite for successful system analysis and design.

More information and examples can be found in Model-Based Systems Engineering with OPM and SysML, Chapter 3.3 "Adding structural links".

A structural or a procedural link connecting with an attribute that has a real number value may specify a relationship constraint, which is distinct from an object multiplicity.

The logical operators AND, XOR, and OR among procedural relations enable specification of elaborate process precondition and postcondition.

The definition of system purpose, scope, and function in terms of boundary, stakeholders and preconditions is the basis for determining whether other elements should appear in the model.

OPM provides abstracting and refining mechanisms to manage the expression of model clarity and completeness.

OPM shall provide abstracting and refining mechanisms to manage the expression of model clarity and completeness.

These mechanisms shall enable presenting and viewing the system, and the things that comprise it, in various contexts that are interrelated by the objects, processes and relations that are common amongst them.

For processes, in-zooming enables modeling the sub-processes, their temporal order, their interactions with objects, and passing of control to and from this context.

In the beginning of 2016 a team of students under the management of Dori began working on the new generation of OPCAT which will be called OPCloud.

These standards provide world-class specifications for products, services and systems, to ensure quality, safety and efficiency.

[16] The OPM Study Group began its work in October 2010 and issued an interim report for the 2011 SC5 Plenary.

This deficiency could be significantly reduced if the standards were model-based rather than text-based, and OPM offered a useful underlying modeling paradigm for this purpose.

A final OPM Study Group Report and a draft for a metamodel for model-based standards authoring document were delivered at the 2012 SC5 Plenary.

[citation needed] Most of the content simply identified sub-clause headings and space holder graphics.

[citation needed] By the 2012 SC5 Plenary, the PAS draft included 10 full clauses describing OPM features and 6 annexes totaling 86 pages.

[citation needed] Further effort to add meaningful examples and complete all of the identified sections resulted in a draft of 138 pages by the time of the 2013 SC5 Plenary.

[citation needed] ISO/PAS 19450 was formally published with a total of 162 pages by ISO on December 15, 2015, culminating a six-year effort to provide the standardization community with a formal specification for a new approach to modeling that binds together graphics and textual representations into a single paradigm suitable for automated simulation of model behavior.

The crucial differences stem from the structure-oriented approach of UML, in which behavior is spread over thirteen diagram types, a fact that inevitably invokes the model multiplicity problem.

[3][page needed] In addition, it is easy to understand what is the main system's benefit (presented at the SD).

OPM requires extensive knowledge of systematic processes such as how the system saved the path and gets decisions.