Browsing by Author "Akther, Tasmia"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Semantic-Aware Feature Modeling and Analysis
    (East West University, 12/3/2016) Akter, Taslima; Akther, Tasmia; Sinha, Neeta
    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.