<scp>OPCloud</scp>: An<scp>OPM</scp>Integrated Conceptual‐Executable Modeling Environment for Industry 4.0

Dori, Dov; Kohen, Hanan; Jbara, Ahmad; Wengrowicz, Niva; Lavi, Rea; Soskin, Natali Levi; Bernstein, Kfir; Shani, Uri

doi:10.1002/9781119513957.ch11

Cited by 25 publications

(19 citation statements)

References 32 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Methodical Approach to Executable Integrative Modeling (MAXIM) [34] is an integrated ISO 19450:2015 OPM modelbased systems engineering and software engineering methodology, developed and implemented as part of OPCloud [32]. MAXIM provides for advancing the initial process of conceptually modeling systems to express their architecture and overall design by seamlessly incorporating quantitative computations into the conceptual model within OPCloud.…”

Section: B Maxim -Methodical Approach To Executable Integrative Modelingmentioning

confidence: 99%

“…Cloud-based applications provide for considering, valuing, supporting, or opposing different viewpoints [29]. OPCloud [30]- [32] is SaaS developed at the Technion's Enterprise Systems Modeling Laboratory for creating, editing, and storing OPM ISO 19450 models. OPCloud supports the construction of correct-byconstruction OPM models in a friendly, collaborative way.…”

Section: A Opcloud -The Opm Modeling Environmentmentioning

confidence: 99%

See 1 more Smart Citation

Securing the Internet of Things with Object-Process Methodology Stereotypes

Kohen¹,

Dori²

2022

Preprint

Self Cite

View full text Add to dashboard Cite

<p>The Internet of Things (IoT) is creating a network of cyber-physical devices – sensors, actuators, and other devices, which monitor and control physical systems, such as manufacturing facilities operating with the Industry 4.0 paradigm, while collecting and sharing massive data globally over the internet. As the IoT security landscape evolves, so does the “cyber mafia,” which targets cyber-physical systems from the corporate level all the way to Industry 4.0 floor-shop control systems, in which IoT is a key component. IoT devices are becoming ubiquitous and controllable from hand-held devices, raising the potential to disrupt or destroy large industrial complexes in a touch of a screen if not protected properly. This growing risk mandates the adoption of new approaches to incorporating rigorous security standards into IoT systems as early as possible in their system lifecycle. A methodology is presented for incorporating into IoT systems security as a bona fide, quantifiable attribute that is built into the components (objects) and operations (processes). To this end, the synergy of combining model-based systems engineering with embedded IoT system security is leveraged. At the heart of the methodology is a combined qualitative-quantitative IoT OPM model of the system with security scores, which provides for evaluating underlying system configurations, each with its level of security and possibly other optimization criteria. This approach enables balancing IoT systems’ metrics, such as performance and cost, with security, and even optimizing the system under specified constraints.</p>

show abstract

Section: B Maxim -Methodical Approach To Executable Integrative Modelingmentioning

confidence: 99%

Section: A Opcloud -The Opm Modeling Environmentmentioning

confidence: 99%

Securing the Internet of Things with Object-Process Methodology Stereotypes

Kohen¹,

Dori²

2022

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

“…OPM models can be easily built using OPCloud, a cloud-based modeling studio [28]. OPCloud has been applied in medicine [29], industry [30], aerospace [31], and digital transformation [10]. We used OPCloud to build models and generate specifications that we later analyzed separarely.…”

Section: Object-process Methodology (Opm)mentioning

confidence: 99%

Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle

2021

View full text Add to dashboard Cite

We introduce the Concept→Model→Graph→View Cycle (CMGVC). The CMGVC facilitates coherent architecture analysis, reasoning, insight, and decision making based on conceptual models that are transformed into a generic, robust graph data structure (GDS). The GDS is then transformed into multiple views of the model, which inform stakeholders in various ways. This GDS-based approach decouples the view from the model and constitutes a powerful enhancement of model-based systems engineering (MBSE). The CMGVC applies the rigorous foundations of Category Theory, a mathematical framework of representations and transformations. We show that modeling languages are categories, drawing an analogy to programming languages. The CMGVC architecture is superior to direct transformations and language-coupled common representations. We demonstrate the CMGVC to transform a conceptual system architecture model built with the Object Process Modeling Language (OPM) into dual graphs and a stakeholder-informing matrix that stimulates system architecture insight.

show abstract

“…OPM models can be easily built using OPCloud a novel cloud-based modeling studio [25]. OPCloud has been applied in medicine [26], industry [27], aerospace [28] and digital transformation [10]. OPCloud was used in this paper to build the model, generate a specification, and submit it for analysis by the proposed approach.…”

Section: Object-process Methodology (Opm)mentioning

confidence: 99%

Category-Theoretic Formulation of Model-Based Systems Architecting: The Concept-Model-Graph-View-Concept Transformation Cycle

Mordecai¹,

Fairbanks²,

Crawley³

2021

Preprint

View full text Add to dashboard Cite

We introduce the Concept-Model-Graph-View-Concept (CMGVC) transformation cycle. The CMGVC cycle facilitates coherent architecture analysis, reasoning, insight, and decision-making based on conceptual models that are transformed into a common, robust graph data structure (GDS). The GDS is then transformed into multiple views on the model, which inform stakeholders in various ways. This GDS-based approach decouples the view from the model and constitutes a powerful enhancement of model-based systems engineering (MBSE). CMGVC applies the rigorous foundations of Category Theory, a mathematical framework of representations and transformations. The CMGVC architecture is superior to direct transformations and language-coupled common representations. We demonstrate the CMGVC cycle to transform a conceptual system architecture model built with the Object Process Modeling Language (OPM) into dual graphs and a decision support matrix (DSM) that stimulates system architecture insight.

show abstract

OPCloud: AnOPMIntegrated Conceptual‐Executable Modeling Environment for Industry 4.0

Cited by 25 publications

References 32 publications

Securing the Internet of Things with Object-Process Methodology Stereotypes

Securing the Internet of Things with Object-Process Methodology Stereotypes

Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle

Category-Theoretic Formulation of Model-Based Systems Architecting: The Concept-Model-Graph-View-Concept Transformation Cycle

Contact Info

Product

Resources

About