2012 Oct 24 at 10:00
DC 1304
Pourya Shaker, PhD candidate, David R. Cheriton School of Comp. Sci., Univ. Waterloo
In feature-oriented software development, a software product line (SPL) is developed as a set of features, and members (products) of the SPL are formed by composing valid selections of features. In this approach, developers need to think and reason about feature combinations -- if only to determine which combinations are valid: it may be that two features try to simultaneously perform incompatable actions, or that one feature prohibits behaviours of another feature. Such behaviours that arise in feature combinations but not in individual features are called feature interactions. Feature interactions have been studied for years, and various taxonomies of the different types of feature interactions have been proposed. In this seminar, we will present our progress in adapting applicable taxonomies of feature interactions to the feature-oriented requirements modelling language (FORML): a language that supports feature modularity in modelling the behavioural requirements of a SPL.