An Interactive Method for Validating Stage Configuration

摘要: Software product Line (SPL) is an emerging methodology for developing software products. Stage-configuration one the important processes applying to SPL. In stage-configuration, different groups and people make configuration choices in stages. Therefore, a successful highly dependent on validity of stage-configuration process. this paper, rule-based method proposed validating A logical representation variability using First Order Logic (FOL) provided. Five operations: validation rules, explanation corrective explanation, propagation delete-cascade, filtering cardinality test are studied as operations stage-configuration. The relevant contributions paper are: implementing automated consistency checking among constraints during process based three levels (Variant- to-variant, variant-to-variation point, variation point-to-variation point), define interactive operation guide user within (explicitly) delete-cascade validation.