Multi-view approaches for software and system modelling: a systematic literature review

Cicchetti, Antonio; Ciccozzi, Federico; Pierantonio, Alfonso

doi:10.1007/s10270-018-00713-w

Cited by 79 publications

(31 citation statements)

References 42 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Federation is evidently an instance of synthetic multi-view modeling and the literature reports on different view integration approaches presented in Fig. 6, see [KM18,CCP19,dLGKH18] for further references. One of the most widespread approaches is model merging [BCE + 06], i.e.…”

Section: Problem Statement: Federationmentioning

confidence: 96%

GraphQL Federation: A Model-Based Approach.

Stünkel¹,

Bargen²,

Rutle³

et al. 2020

JOT

View full text Add to dashboard Cite

The Graph Query Language (GraphQL) is a framework for developing Web Services, which works on the domain model level rather than the functions. While the declarative nature of this framework has already attracted the interest of practitioners in both academia and industry, it still lacks integration capabilities. This shortcoming has been recognized in the industry; there exists a first tool creating a federation-a virtual integrated system-on top of instrumented systems. Being relatively new, it suffers from a few practical and conceptual shortcomings, such as consolidation of (conflicting) schemas and identification of multiple types. In this paper, we will analyze the federation challenge and propose a solution utilizing multi-view modeling and domain specific modeling. Our approach is accompanied by a proof-of-concept implementation and provides a model-based presentation of the GraphQL framework.

show abstract

Section: Problem Statement: Federationmentioning

confidence: 96%

GraphQL Federation: A Model-Based Approach.

Stünkel¹,

Bargen²,

Rutle³

et al. 2020

JOT

View full text Add to dashboard Cite

show abstract

“…A recent and useful survey of the field of multi-view modelling is [8]. Based on its systematic literature review, [8] summarises by saying "there is a lack of support for semantic consistency management" which needs to be remedied: this paper is a step in that direction.…”

Section: Multi-view Modellingmentioning

confidence: 99%

Maintaining consistency in networks of models: bidirectional transformations in the large

Stevens

2019

Softw Syst Model

View full text Add to dashboard Cite

The model-driven development of systems involves multiple models, metamodels and transformations, and relationships between them. A bidirectional transformation (bx) is usually defined as a means of maintaining consistency between "two (or more)" models. This includes cases where one model may be generated from one or more others, as well as more complex ("symmetric") cases where models record partially overlapping information. In recent years, binary bx, those relating two models, have been extensively studied. Multiary bx, those relating more than two models, have received less attention. In this paper, we consider how a multiary consistency relation may be defined in terms of binary consistency relations and how consistency restoration may be carried out on a network of models and relationships between them. In particular, we consider the circumstances under which we can prove non-interference between several bidirectional transformations that impact on the same model and how the use of a more refined notion of consistency can help in cases where this is not possible. In the process, we develop an abstract theory of parts of a model that are read or modified by a bidirectional transformation. We relate the work to megamodelling and discuss further research that is needed.

show abstract

“…The existing literature on consistency management in general is extensive [CCP19], so necessarily, the included works cover only a small portion of it. Notably, Feldmann et al categorize existing approaches as proof theory-based, rule-based, or synchronizationbased [FHK + 15].…”

Section: Related Workmentioning

confidence: 99%

“…Models are becoming critical assets for development of industrial systems and software, not only within single projects but over several projects through model reuse. In modern industrial MBD practice, software systems are modelled through multiple views, using so-called multi-view modelling [CCP19].…”

Section: Introductionmentioning

confidence: 99%

Lightweight Consistency Checking for Agile Model-Based Development in Practice.

Jongeling¹,

Ciccozzi²,

Cicchetti³

et al. 2019

JOT

Self Cite

View full text Add to dashboard Cite

In model-based development projects, models at different abstraction levels capture different aspects of a software system, e.g., specification or design. Inconsistencies between these models can cause inefficient and incorrect development. A tool-based framework to assist developers creating and maintaining models conforming to different languages (i.e. heterogeneous models) and consistency between them is not only important but also much needed in practice. In this work, we focus on assisting developers bringing about multi-view consistency in the context of agile model-based development, through frequent, lightweight consistency checks across views and between heterogeneous models. The checks are lightweight in the sense that they are easy to create, edit, use and maintain, and since they find inconsistencies but do not attempt to automatically resolve them. With respect to ease of use, we explicitly separate the two main concerns in defining consistency checks, being (i) which modelling elements across heterogeneous models should be consistent with each other and (ii) what constitutes consistency between them. We assess the feasibility and illustrate the potential usefulness of our consistency checking approach, from an industrial agile model-based development point-of-view, through a proof-of-concept implementation on a sample project leveraging models expressed in SysML and Simulink. A continuous integration pipeline hosts the initial definition and subsequent execution of consistency checks, it is also the place where the user can view results of consistency checks and reconfigure them.

show abstract

Multi-view approaches for software and system modelling: a systematic literature review

Cited by 79 publications

References 42 publications

GraphQL Federation: A Model-Based Approach.

GraphQL Federation: A Model-Based Approach.

Maintaining consistency in networks of models: bidirectional transformations in the large

Lightweight Consistency Checking for Agile Model-Based Development in Practice.

Contact Info

Product

Resources

About