| dc.contributor.author | Beidu, Sandy | |
| dc.contributor.author | Atlee, Joanne M. | |
| dc.contributor.author | Shaker, Pourya | |
| dc.date.accessioned | 2019-12-23 17:30:38 (GMT) | |
| dc.date.available | 2019-12-23 17:30:38 (GMT) | |
| dc.date.issued | 2015-05 | |
| dc.identifier.uri | https://doi.org/10.1109/MiSE.2015.10 | |
| dc.identifier.uri | http://hdl.handle.net/10012/15377 | |
| dc.description.abstract | In this paper, we present a technique for incre- mental and commutative composition of state-machine models of features, using the FeatureHouse framework. The inputs to FeatureHouse are feature state-machines (or state-machine fragments) modelled in a feature-oriented requirement modelling language called FORML and the outputs are two state-machine models: (1) a model of the whole product line with optional features guarded by presence conditions; this model is suitable for family-based analysis of the product line; and (2) an intermediate model of composition that facilitates incremental composition of future features. We discuss the challenges and benefits of our approach and our implementation in the FeatureHouse. | en |
| dc.description.sponsorship | NSERC / Automotive Partnership Canada, APCPJ 386797 - 09 ||
Ontario Research Fund, RE05-044 ||
NSERC Discovery Grant 155243-12 | en |
| dc.language.iso | en | en |
| dc.publisher | IEEE | en |
| dc.title | Incremental and Commutative Composition of State-Machine Models of Features | en |
| dc.type | Conference Paper | en |
| dcterms.bibliographicCitation | S. Beidu, J. M. Atlee and P. Shaker, "Incremental and Commutative Composition of State-Machine Models of Features," 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering, Florence, 2015, pp. 13- 18. | en |
| uws.contributor.affiliation1 | Faculty of Mathematics | en |
| uws.contributor.affiliation2 | David R. Cheriton School of Computer Science | en |
| uws.typeOfResource | Text | en |
| uws.peerReviewStatus | Reviewed | en |
| uws.scholarLevel | Faculty | en |
| uws.scholarLevel | Post-Doctorate | en |
| uws.scholarLevel | Graduate | en |
