Incremental and Commutative Composition of State-Machine Models of Features

Sandy Beidu, Joanne M. Atlee, Pourya Shaker
2015 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering  
In this paper, we present a technique for incremental 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
more » ... f 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.
doi:10.1109/mise.2015.10 dblp:conf/icse/BeiduAS15 fatcat:okilccgearbepblazguxxhteou