Sökning: onr:"swepub:oai:DiVA.org:ri-51949" >
Detecting inconsist...
Detecting inconsistencies in annotated product line models
-
- Bilic, Damir (författare)
- Mälardalens högskola,Inbyggda system
-
- Carlson, Jan (författare)
- Mälardalens högskola,Inbyggda system
-
- Sundmark, Daniel (författare)
- Mälardalens högskola,Inbyggda system
-
visa fler...
-
- Afzal, Wasif (författare)
- Mälardalens högskola,Inbyggda system
-
- Wallin, Peter (författare)
- RISE,Digitala system,RISE SICS Västerås, Sweden
-
visa färre...
-
(creator_code:org_t)
- 2020-10-19
- 2020
- Engelska.
-
Ingår i: SPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A. - New York, NY, USA : Association for Computing Machinery. - 9781450375696 ; , s. 252-262
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Nyckelord
- 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
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas