mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Lightweight Consistency Checking for Agile Model-Based Development in Practice
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-0401-1036
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-0416-1787
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Mälardalen University, School of Health, Care and Social Welfare.ORCID iD: 0000-0002-8461-0230
2019 (English)In: Journal of Object Technology, ISSN 1660-1769, E-ISSN 1660-1769, Vol. 18, no 2Article in journal (Refereed) Published
Abstract [en]

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.

Place, publisher, year, edition, pages
2019. Vol. 18, no 2
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-44918DOI: 10.5381/jot.2019.18.2.a11ISI: 000473336200012OAI: oai:DiVA.org:mdh-44918DiVA, id: diva2:1337925
Available from: 2019-07-18 Created: 2019-07-18 Last updated: 2019-07-18Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Jongeling, RobbertCiccozzi, FedericoCicchetti, AntonioCarlson, Jan

Search in DiVA

By author/editor
Jongeling, RobbertCiccozzi, FedericoCicchetti, AntonioCarlson, Jan
By organisation
Embedded SystemsSchool of Health, Care and Social Welfare
In the same journal
Journal of Object Technology
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 3 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf