Supplementing Product Families with Behaviour
    Download PDF
Peter Hofner,Ridha Khedri,Bernhard Moller. Supplementing Product Families with Behaviour. International Journal of Software and Informatics, 2011,5(1-2Part2):245~266
Hits: 3807
Download times: 1963
Abstract:A common approach to dealing with software requirements volatility is to define product families instead of single products. In earlier papers we have developed an algebra of such families that, roughly, consists in a more abstract view of and-or trees of features as used in Feature-Oriented Domain Analysis. A product family is represented by an algebraic term over the feature names; it can be manipulated using equational laws such as associativity or distributivity. Initially, only "syntactic" models of the algebra were considered, giving more or less just the names of the features used in the various products of a family and certain interrelations such as mandatory occurrence and implication between or mutual exclusion of features, without attaching any kind of "meaning" to the features. While this is interesting and useful for determining the variety and number of possible members of such a family, it is wholly insuffcient when it comes to talking about the correctness of families in a semantic manner. In the present paper we define a class of "semantic" models of the general abstract product family algebra that allows treating very relevant additional questions. In these models, the features of a family are requirements scenarios formalised as pairs of relational specifications of a proposed system and its environment. However, the paper is just intended as a proof of feasibility; we are convinced that the approach can also be employed for di?erent semantic models such as general denotational or stream-based semantics.
keywords:formal model driven software development  software family  product family algebra  functional requirements  requirements scenarios  semantics
View Full Text  View/Add Comment  Download reader

 

 

more>>  
Visitor:2132144
Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences
京ICP备05046678号-5

京公网安备 11040202500065号