Abstract | ||
---|---|---|
Modelling variability in product families has been the subject of extensive study in the literature on Software Product Lines, especially that concerning Feature Modelling. In recent years, we have laid the basis for the study of the application of temporal logics to the formal modelling of behavioural variability in product family definitions. A critical point in this formalization is to give an adequate representation of the elements of the feature model and their relation with the behaviour of the many products that are to be derived from the family. To this aim, we propose a methodology to systematize this step as much as possible, in order to allow the derivation of behavioural models that are general enough to capture the behaviour of all consistent products belonging to the family. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-34026-0_12 | ISoLA (1) |
Keywords | Field | DocType |
software product lines,extensive study,modelling variability,product line behavioural description,formal modelling,consistent product,behavioural variability,compositional framework,product family definition,behavioural model,feature modelling,product family | Model checking,Computer science,Algorithm,Linear temporal logic,Theoretical computer science,Product line,Composition operator,Software,Feature model,Product family | Conference |
Citations | PageRank | References |
10 | 0.52 | 23 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Patrizia Asirelli | 1 | 197 | 26.37 |
Maurice H. ter Beek | 2 | 718 | 62.08 |
Alessandro Fantechi | 3 | 1199 | 103.40 |
Stefania Gnesi | 4 | 1475 | 120.93 |