2008 12th International Software Product Line Conference 2008
DOI: 10.1109/splc.2008.22
|View full text |Cite
|
Sign up to set email alerts
|

Calculating and Modeling Common Parts of Software Product Lines

Abstract: This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms of labeled transition systems for individual products as well as for the entire product line and can be derived automatically. In this paper, we extend PL-CCS with a concept for specifying dependencies, show how to integrate it into a development methodology for product lines and validate its practical applicability by modeling a typi… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
22
0

Year Published

2010
2010
2018
2018

Publication Types

Select...
6

Relationship

0
6

Authors

Journals

citations
Cited by 23 publications
(22 citation statements)
references
References 13 publications
0
22
0
Order By: Relevance
“…There is a growing body of research on customizing model-checking techniques for SPLs. Like our FTS-based proposals [19,20], the CCS-based proposals PL-CCS [2,10] and DeltaCCS [12] are grounded in the μ-calculus. In [26], PL-CCS was proven to be less expressive (in terms of the sets of definable products) than FTSs, while DeltaCCS allows only limited familybased model checking (viz.…”
Section: Contributionsmentioning
confidence: 99%
See 2 more Smart Citations
“…There is a growing body of research on customizing model-checking techniques for SPLs. Like our FTS-based proposals [19,20], the CCS-based proposals PL-CCS [2,10] and DeltaCCS [12] are grounded in the μ-calculus. In [26], PL-CCS was proven to be less expressive (in terms of the sets of definable products) than FTSs, while DeltaCCS allows only limited familybased model checking (viz.…”
Section: Contributionsmentioning
confidence: 99%
“…To make SPL models amenable to family-based reasoning, feature-based variability was introduced in many behavioral models, e.g. based on process calculi [2,[10][11][12] and labeled transition systems (LTSs) [3,[13][14][15]. Arguably the most widely used behavioral SPL models are featured transition systems (FTSs) [13].…”
Section: Introductionmentioning
confidence: 99%
See 1 more Smart Citation
“…In [27], modal I/O automata were defined as one of the first attempts at behavioural modelling in SPLE. In [19,20], an algebraic approach to behavioural modelling and analysis of product families was developed. In [32], Feature Petri Nets were defined to model the behaviour of product families with a high degree of variability.…”
Section: Related Workmentioning
confidence: 99%
“…We have extended MTSs in [17] to allow modelling different notions of behavioural variability. A different, algebraic approach to behavioural modelling and verification of product lines instead has been developed in [20,21]. In this paper, we continue research we started in [3,4].…”
Section: Related Workmentioning
confidence: 99%