Incremental and Commutative Composition of State-Machine Models of Features

Author

Beidu, Sandy ; Atlee, Joanne M. ; Shaker, Pourya

Author_Institution

Univ. of Waterloo, Waterloo, ON, Canada

fYear

2015

fDate

16-17 May 2015

Firstpage

13

Lastpage

18

Abstract

In this paper, we present a technique for incremental and commutative composition of state-machine models of features, using the Feature House framework. The inputs to Feature House 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 Feature House.

Keywords

finite state machines; program verification; software product lines; specification languages; FORML; commutative composition; family-based analysis; feature house framework; feature state-machines; feature-oriented requirement modelling language; incremental composition; product line; state-machine fragments; state-machine models; Analytical models; Commutation; Computational modeling; Grammar; Printers; Software; Unified modeling language; Commutative composition; Feature House; Feature composition; Incremental composition; Software Product Line;

fLanguage

English

Publisher

ieee

Conference_Titel

Modeling in Software Engineering (MiSE), 2015 IEEE/ACM 7th International Workshop on

Conference_Location

Florence

Type

conf

DOI

10.1109/MiSE.2015.10

Filename

7167396