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: 4411
Download times: 2603
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:3139640
Top Paper  |  E-mail Alert  |  Publication Ethics  |  New Version

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

京公网安备 11040202500065号