Search: id:"swepub:oai:DiVA.org:hh-33892" >
Basic Behavioral Mo...
Basic Behavioral Models For Software Product Lines : Revisited
-
- Varshosaz, Mahsa, 1985- (author)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
- Beohar, Harsh, 1984- (author)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
- Mousavi, Mohammad Reza, 1978- (author)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
(creator_code:org_t)
- Amsterdam : Elsevier, 2018
- 2018
- English.
-
In: Science of Computer Programming. - Amsterdam : Elsevier. - 0167-6423 .- 1872-7964. ; 168, s. 171-185
- Related links:
-
https://leicester.fi...
-
show more...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- In Beohar et al. (2016) [9], we established an expressiveness hierarchy and studied the notions of refinement and testing for three fundamental behavioral models for software product lines. These models were featured transition systems, product line labeled transition systems, and modal transition systems. It turns out that our definition of product line labeled transition systems is more restrictive than the one introduced by Gruler, Leucker, and Scheidemann. Adopting the original and more liberal notion changes the expressiveness results, as we demonstrate in this paper. Namely, we show that the original notion of product line labeled transition systems and featured transition systems are equally expressive. As an additional result, we show that there are featured transition systems for which the size of the corresponding product line labeled transition system, resulting from any sound encoding, is exponentially larger than the size of the original model. Furthermore, we show that each product line labeled transition system can be encoded into a featured transition system, such that the size of featured transition system is linear in terms of the size of the corresponding model. To summarize, featured transition systems are equally expressive as, but exponentially more succinct than, product line labeled transition systems. © 2018 Elsevier B.V.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Keyword
- Software product lines
- Behavioral model
- Featured transition systems
- Calculus of communicating systems
- Product line labeled transition systems
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
To the university's database