A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Incremental and Commutative Composition of State-Machine Models of Features
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
doi:10.1109/mise.2015.10
dblp:conf/icse/BeiduAS15
fatcat:okilccgearbepblazguxxhteou