• P-ISSN 0974-6846 E-ISSN 0974-5645

Indian Journal of Science and Technology


Indian Journal of Science and Technology

Year: 2015, Volume: 8, Issue: 17, Pages: 1-14

Original Article

On Formalization of Extended Feature Model using Promotion Technique in Z


Objectives: To investigate automatic analysis of extended feature model with cardinality. Methods/Analysis: Presenting a formal approach to the specification of Ext-FM-WC. In this paper, we propose a promotion technique in Z language for formalizing Software Product Line Systems (SPLS). Findings: The main reason for choosing promotion technique for formalizing SPLS is that applying analysis operations that have promoting manner in large scale feature models is easier. Conclusion/Application: The structure of constructing Ext-FM-WC using promotion technique can has a lot of benefits on analysis operations that have naturally promoting structure.
Keywords: Automatic Analysis of SPLS, Extended Feature Model with Cardinality, Multiple Multi-level Promotions in Z


Subscribe now for latest articles and news.