A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems

Persson, Magnus; Törngren, Martin; Qamar, Ahsan; Westman, Jonas; Biehl, Matthias; Tripakis, Stavros; Vangheluwe, Hans; Denil, Joachim

doi:10.1109/emsoft.2013.6658588

Cited by 42 publications

(20 citation statements)

References 40 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…On the other hand, Levi argues that there exists a small set of semantic relationships that may imply others [10]. Persson et al [11] provides a taxonomy of relations from three perspectives: content (of views), process-related, and operations (on views).…”

Section: Related Workmentioning

confidence: 99%

Analyzing semantic relationships between multiformalism models for inconsistency management

Qamar

Herzig

Paredis

et al. 2015

2015 Annual IEEE Systems Conference (SysCon) Proceedings

Self Cite

View full text Add to dashboard Cite

The involvement of multiple stakeholders in the design of complex engineered system presents many challenges. One of the challenge is that the overlapping stakeholder concerns leads to semantic relationships appearing between models. From an inconsistency management perspective, it is critical to investigate how these relationships appear and what are their types. Based on a decision-theoretic foundation, this paper investigates the types of semantic relationships between multiformalism models. We argue that the semantic relationships can be formally captured for two cases -between model versions, and between models from a given instant. Further, we argue that semantic overlap for these two cases can be described through three relationships: equivalence, refinement and abstraction. These relationships can lead to the three types of inconsistencies: inconsistent constraints, inconsistent predictions and inconsistencies between specification and analysis. The paper presents a set of generic rules which can be used to detect these inconsistencies. I. INTRODUCTIONComplex Engineered Systems (CES) cannot be designed by an individual but involve multiple stakeholders from product design to manufacturing and supply chain. In Model-Based Systems Engineering (MBSE), the predominant way to manage the CES design complexity is to divide the overall problem into sub-problems and address the multiple stakeholder concerns by studying the system from different viewpoints. In this way, different aspects of the system are captured through models developed at different levels of abstractions and using different formalisms. While a viewpoint provides an advantage of dealing with only a limited set of concerns, overlaps between viewpoints cannot be avoided since partitioning does not guarantee complete separation of concerns. As a consequence of these overlaps, relationships appear between models that support different viewpoints. In current MBSE practice, these relationships are managed on adhoc basis and efforts to capture them formally have been minimal. Inadequate management of such relationships can result in inconsistencies, where information in one model logically contradicts the other. Making decisions on contradictory information can prove to be fatal and/or very costly, e.g., the case with Mars Climate Orbiter [1], where the models had inconsistent units. We argue that investigating the nature of overlaps between heterogeneous models is vital to build a support for capturing the relationships between them formally and explicitly. In addition, modeling these relationships is essential for inconsistency management -i.e., to detect and resolve inconsistencies.

show abstract

Section: Related Workmentioning

confidence: 99%

Analyzing semantic relationships between multiformalism models for inconsistency management

Qamar

Herzig

Paredis

et al. 2015

2015 Annual IEEE Systems Conference (SysCon) Proceedings

Self Cite

View full text Add to dashboard Cite

show abstract

“…A concern will be related to one or more aspects of the systems. A viewpoint is a specification of the conventions for using a view, by establishing the purposes and audience for a view, and the techniques for its creation and analysis [6]. Multi-view modeling refers to a system designer constructing distinct and separate models of the same system to model different (semantic) aspects of a system.…”

Section: View Oriented Approach To Specify and Model Aerospace Cymentioning

confidence: 99%

View Oriented Approach to Specify and Model Aerospace Cyber-physical Systems

Zhang

2013

2013 IEEE 11th International Conference on Dependable, Autonomic and Secure Computing

View full text Add to dashboard Cite

The analysis and design of aerospace cyber physical systems call for the proper dimensioning of mechanical, electronic and embedded control subsystems from different views. Usually, the physical world part and the cyber part are modeled independently of each others. This modeling approach does not exploit many potential advantages of an integrated specification, analysis and design process, which are lost in the separate points of view of different engineering domains. In fact, the physical properties and the dynamical behavior of physical world parts play a central role in aerospace cyber physical systems development process. Thus, significant improvements to overall system performances can be obtained by early integrating the physical world and the cyber part development. It is clear that an appropriate specification and modeling approach cannot be fitted into the limitations of one formalism at time, particularly in the early stages of the design process. Hence, it is necessary to take a combination of different methodologies in a multi-formalism approach from different views. In this paper, we propose a view oriented approach to integrated different models, at different level of details to specify and model aerospace cyber physical systems as a whole. The effectiveness of the approach is illustrated by means of one practical case study: specifying and modeling the lunar rover system. In this paper, we specify and model the lunar rover with integrating Modelica and AADL, the physical world is modeled by Modelica, the cyber part is modeled by AADL.

show abstract

“…-Consistency among models: refers to the fact that the information covered in each model should not contradict each other [19]. For instance, if the concept actor appears in more than one model, its instances in all corresponding models have to be syntactically and semantically equivalent.…”

Section: Inter Model Consistency: Key Terms and Conceptsmentioning

confidence: 99%

A Systematic Literature Review of Consistency Among Business Process Models

Awadid

Nurcan

2016

Enterprise, Business-Process and Information Systems Modeling

View full text Add to dashboard Cite

Abstract. The field of business process modeling has been beset by inter-model consistency problems which are mainly due to the existence of multiple variants of the same business process, for instance when models have been produced by different actors, or through the time by a same (or different) actor(s), as well as the possibility of its modeling from discrete and complementary perspectives (using different lenses).The aim of our research is manifold. First we aim to develop a framework (i) enabling situating new research activities as well as the existing approaches and (ii) targeting to master the inter-model consistency issue. Second, this framework shall offer the capability of handling business process models coherence issue (i) having in mind various modeling goals and targets/products and (ii) having in hand a wide range of problem statements and project situations requiring the use of a large catalogue of business process meta-models. Third, we have the ambition of determining gaps in current research with the aim of suggesting areas for further investigations in the area of inter-models consistency. In order to do so, this paper presents a systematic literature review (SLR) of consistency among business process models, where a total of 982 published papers extracted from the most relevant scientific sources, were considered, of which 41 papers, were ultimately included.

show abstract

A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems

Cited by 42 publications

References 40 publications

Analyzing semantic relationships between multiformalism models for inconsistency management

Analyzing semantic relationships between multiformalism models for inconsistency management

View Oriented Approach to Specify and Model Aerospace Cyber-physical Systems

A Systematic Literature Review of Consistency Among Business Process Models

Contact Info

Product

Resources

About