Detecting inconsistencies in annotated product line models

↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Search: WFRF:(Sundmark Daniel) > Detecting inconsist...

Details
MARC

Bilic, DamirMälardalens högskola,Inbyggda system (author)

Detecting inconsistencies in annotated product line models

Article/chapterEnglish2020

Publisher, publication year, extent ...

2020-10-19
New York, NY, USA :Association for Computing Machinery,2020
printrdacarrier

Numbers

LIBRIS-ID:oai:DiVA.org:ri-51949
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-51949URI
https://doi.org/10.1145/3382025.3414969DOI
https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-50894URI

Supplementary language notes

Language:English
Summary in:English

Part of subdatabase

SwePubSwePub

Classification

Subject category:ref swepub-contenttype
Subject category:kon swepub-publicationtype

Notes

Funding details: Vetenskapsrådet, VR; Funding details: Stiftelsen för Kunskaps- och Kompetensutveckling, KKS, 20170133; Funding details: Horizon 2020 Framework Programme, H2020, 871319; Funding text 1: This work was sponsored by the Swedish Research Council's grant "Adequacy-based Testing of Extra-Functional Properties of Embedded Systems", the Knowledge Foundation in Sweden through the MINEStrA project (20170133) and European Union's Horizon 2020 research and innovation programme under grant agreement No 871319.
Model-based product line engineering applies the reuse practices from product line engineering with graphical modeling for the specification of software intensive systems. Variability is usually described in separate variability models, while the implementation of the variable systems is specified in system models that use modeling languages such as SysML. Most of the SysML modeling tools with variability support, implement the annotation-based modeling approach. Annotated product line models tend to be error-prone since the modeler implicitly describes every possible variant in a single system model. To identifying variability-related inconsistencies, in this paper, we firstly define restrictions on the use of SysML for annotative modeling in order to avoid situations where resulting instances of the annotated model may contain ambiguous model constructs. Secondly, inter-feature constraints are extracted from the annotated model, based on relations between elements that are annotated with features. By analyzing the constraints, we can identify if the combined variability- and system model can result in incorrect or ambiguous instances. The evaluation of our prototype implementation shows the potential of our approach by identifying inconsistencies in the product line model of our industrial partner which went undetected through several iterations of the model.

Subject headings and genre

TEKNIK OCH TEKNOLOGIER Elektroteknik och elektronik Datorsystem hsv//swe
ENGINEERING AND TECHNOLOGY Electrical Engineering, Electronic Engineering, Information Engineering Computer Systems hsv//eng
consistency checking
model-based systems engineering
product line engineering
SysML
variability modeling
Computer software reusability
Industrial partners
Model-based product lines
Modeling construct
Product line model
Prototype implementations
Software intensive systems
Variability model
Modeling languages
Computer Science

Added entries (persons, corporate bodies, meetings, titles ...)

Carlson, JanMälardalens högskola,Inbyggda system(Swepub:mdh)jcn01 (author)
Sundmark, DanielMälardalens högskola,Inbyggda system(Swepub:mdh)dsk01 (author)
Afzal, WasifMälardalens högskola,Inbyggda system(Swepub:mdh)wal01 (author)
Wallin, PeterRISE,Digitala system,RISE SICS Västerås, Sweden(Swepub:mdh)pwn02 (author)
Mälardalens högskolaInbyggda system (creator_code:org_t)

Related titles

In:SPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume ANew York, NY, USA : Association for Computing Machinery, s. 252-2629781450375696

Internet link

Find in a library

SPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product... (Search for host publication in LIBRIS)

To the university's database

Find more in SwePub

By the author/editor: Bilic, Damir; Carlson, Jan; Sundmark, Daniel; Afzal, Wasif; Wallin, Peter

About the subject

ENGINEERING AND TECHNOLOGY: ENGINEERING AND ...; and Electrical Engin ...; and Computer Systems

Articles in the publication: SPLC '20: Procee ...

By the university: RISE; Mälardalen University

Search outside SwePub

Extend your search to:: Google; Google Book Search; Google Scholar

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

LIBRIS.kb.se