Loading...

Automatic promotional specialization, generalization and analysis of extended feature models with cardinalities in Alloy

Ajoudanian, S ; Sharif University of Technology | 2015

930 Viewed
  1. Type of Document: Article
  2. DOI: 10.1016/j.jlamp.2014.11.005
  3. Publisher: Elsevier Inc , 2015
  4. Abstract:
  5. Abstract Software product line engineering is a method of producing a set of related products that share more commonalities than variability in a cost-effective approach. Software product lines provide systematic reuse within a product family. Extended feature models with cardinalities are widely used for managing variability and commonality in the software product line domains. In this paper, we use promotion technique in Alloy to formalize constraint based extended feature models with cardinalities and their specialization and generalization. This technique has a significant influence on applying analysis operations on feature models. To show the benefits of the promotion technique, we calculate the reuse ratio of a feature in a large scale software product line. In the presented method, in addition to feature and group cardinalities, we consider different combinations of cardinalities with each other as well as feature cloning
  6. Keywords:
  7. Extended feature model with cardinality ; Multiple multi-level promotions in Alloy ; Computer software ; Computer software reusability ; Cost effectiveness ; Cost engineering ; Cardinalities ; Constraint-based ; Cost-effective approach ; Extended feature models ; Multilevels ; Software Product Line ; Software product line engineerings ; Specialization and generalization of SPLS ; Software design
  8. Source: Journal of Logical and Algebraic Methods in Programming ; Volume 84, Issue 5 , September , 2015 , Pages 640-667 ; 23522216 (ISSN)
  9. URL: http://www.sciencedirect.com/science/article/pii/S2352220814000959