Welcome to the InfoSci Platform
Logic-Based Analysis and Verification of Software Product Line Variant Requirement Model

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

Shamim H. Ripon, Sk. Jahir Hossain, Moshiur Mahamud Piash
Copyright: © 2014 |Volume: 5 |Issue: 4 |Pages: 25
ISSN: 1947-8208|EISSN: 1947-8216|EISBN13: 9781466655522|DOI: 10.4018/ijkss.2014100104
Cite Article Cite Article

MLA

Ripon, Shamim H., et al. "Logic-Based Analysis and Verification of Software Product Line Variant Requirement Model." IJKSS vol.5, no.4 2014: pp.52-76. http://doi.org/10.4018/ijkss.2014100104

APA

Ripon, S. H., Hossain, S. J., & Piash, M. M. (2014). Logic-Based Analysis and Verification of Software Product Line Variant Requirement Model. International Journal of Knowledge and Systems Science (IJKSS), 5(4), 52-76. http://doi.org/10.4018/ijkss.2014100104

Chicago

Ripon, Shamim H., Sk. Jahir Hossain, and Moshiur Mahamud Piash. "Logic-Based Analysis and Verification of Software Product Line Variant Requirement Model," International Journal of Knowledge and Systems Science (IJKSS) 5, no.4: 52-76. http://doi.org/10.4018/ijkss.2014100104

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.