Semantic-Aware Feature Modeling and Analysis

Abstract

Feature diagrams are the most widely used to model product line variant. Formal Verification of variant requirements has gained much interest in the software product line (SPL) community. Successful development of a software product line (SPL) requires a proper management of product line requirements. Various approaches have been adopted to model both of the requirements of feature diagram. However, most of these approached lack proper formal semantics. This report presents our work in progress semantic web approach to model and verify product line requirements. Logical expressions can be built by modeling variants and their dependencies by using propositional connectives. A case study of two Feature Model (Hall Booking System) variant feature model is presented to illustrate the analysis and verification process.