Abstract
Software product Line (SPL) is an emerging methodology for developing software products. Stage-configuration is one the important processes applying to the SPL. In stage-configuration, different groups and different people make configuration choices in different stages. Therefore, a successful software product is highly dependent on the validity of stage-configuration process. In this paper, a rule-based method is proposed for validating stage-configuration in SPL. A logical representation of variability using First Order Logic (FOL) is provided. Five operations: validation rules, explanation and corrective explanation, propagation and delete-cascade, filtering and cardinality test are studied as proposed operations for validating stage-configuration. The relevant contributions of this paper are: implementing automated consistency checking among constraints during stage-configuration process based on three levels (Variant- to-variant, variant-to-variation point, and variation point-to-variation point), define interactive explanation and corrective explanation, define a filtering operation to guide the user within stage-configuration, and define (explicitly) delete-cascade validation.
Highlights
Software Product Line (SPL) has proved to be an effective strategy to benefit from software reuse [1], allowing many organizations to reduce development costs and duration, increase product quality [2]
The relevant contributions of this paper are: implementing automated consistency checking among constraints during stage-configuration process based on three levels (Variantto-variant, variant-to-variation point, and variation point-to-variation point), define interactive explanation and corrective explanation, define a filtering operation to guide the user within stage-configuration, and define delete-cascade validation
An application-engineer may specify a member of a Software product Line (SPL) by selecting the desired features from the Feature Model (FM) within the variability constraints defined by the model, e.g., the choice of exactly one feature from a set of alternative features
Summary
Software Product Line (SPL) has proved to be an effective strategy to benefit from software reuse [1], allowing many organizations to reduce development costs and duration, increase product quality [2]. It is an evolution from software reuse and Commercial OffThe-Shelf (COTS) methodologies. An application-engineer may specify a member of a SPL by selecting the desired features from the FM within the variability constraints defined by the model, e.g., the choice of exactly one feature from a set of alternative features. Ration choices in different stages [13]
Sign-in/Register to view highlights & summary 
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