Logic-Based Analysis and Verification of Software Product Line Variant Requirement Model

Shamim H. Ripon, Sk. Jahir Hossain and Moshiur Mahamud Piash
Additional contact information
Shamim H. Ripon: Department of Computer Science and Engineering, East West University, Dhaka, Bangladesh
Sk. Jahir Hossain: Department of Computer Science and Engineering, East West University, Dhaka, Bangladesh
Moshiur Mahamud Piash: Department of Computer Science and Engineering, East West University, Dhaka, Bangladesh

International Journal of Knowledge and Systems Science (IJKSS), 2014, vol. 5, issue 4, 52-76

Abstract: Software Product Line (SPL) provides the facility to systematically reuse of software improving the efficiency of software development regarding time, cost and quality. The main idea of SPL is to identify the common core functionality that can be implemented once and reused afterwards. A variant model has also to be developed to manage the variants of the SPL. Usually, a domain model consisting of the common and variant requirements is developed during domain engineering phase to alleviate the reuse opportunity. The authors present a product line model comprising of a variant part for the management of variant and a decision table to depict the customization of decision regarding each variant. Feature diagrams are widely used to model SPL variants. Both feature diagram and our variant model, which is based on tabular method, lacks logically sound formal representation and hence, not amenable to formal verification. Formal representation and verification of SPL has gained much interest in recent years. This chapter presents a logical representation of the variant model by using first order logic. With this representation, the table based variant model as well as the graphical feature diagram can now be verified logically. Besides applying first-order-logic to model the features, the authors also present an approach to model and analyze SPL model by using semantic web approach using OWL-DL. The OWL-DL representation also facilitates the search and maintenance of feature models and support knowledge sharing within a reusable engineering context. Reasoning tools are used to verify the consistency of the feature configuration for both logic-based and semantic web-based approaches.

Date: 2014
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/ijkss.2014100104 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jkss00:v:5:y:2014:i:4:p:52-76

Access Statistics for this article

International Journal of Knowledge and Systems Science (IJKSS) is currently edited by Van Nam Huynh

More articles in International Journal of Knowledge and Systems Science (IJKSS) from IGI Global
Bibliographic data for series maintained by Journal Editor ().