On Formalization of Extended Feature Model using Promotion Technique in Z

Shohreh Ajoudanian   and Seyed Hassan Mirian Hosseinabadi

doi:10.17485/ijst/2015/v8i17/55613

Article

On Formalization of Extended Feature Model using Promotion Technique in Z

VIEWS 683
PDF 201

Abstract
Full-Text HTML
Full-Text PDF
How to Cite

Indian Journal of Science and Technology

DOI: 10.17485/ijst/2015/v8i17/55613

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

Original Article

On Formalization of Extended Feature Model using Promotion Technique in Z

Shohreh Ajoudanian^1* and Seyed-Hassan Mirian Hosseinabadi ²

¹Department of Computer Engineering, Islamic Azad University Science and Research Branch, Tehran, Iran; [email protected], [email protected]
²Department of Computer Science, Sharif University of Technology, Tehran, Iran; [email protected]

This work is licensed under a Creative Commons Attribution 4.0 International License.

Abstract

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