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.
Full Text
Published Version (
Free)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call