Managing and Analysing Software Product Line Requirements release_hzlzhazv6jaslor5gz2elnsvuy

by Shamim Ripon, Sk. Jahir Hossain, Touhid Bhuiyan

Released as a article .

2013  

Abstract

Modelling software product line (SPL) features plays a crucial role to a successful development of SPL. Feature diagram is one of the widely used notations to model SPL variants. However, there is a lack of precisely defined formal notations for representing and verifying such models. This paper presents an approach that we adopt to model SPL variants by using UML and subsequently verify them by using first-order logic. UML provides an overall modelling view of the system. First-order logic provides a precise and rigorous interpretation of the feature diagrams. We model variants and their dependencies by using propositional connectives and build logical expressions. These expressions are then validated by the Alloy verification tool. The analysis and verification process is illustrated by using Computer Aided Dispatch (CAD) system.
In text/plain format

Archived Files and Locations

application/pdf  1.3 MB
file_sa4c2t4kxrc2fjxzuvi7ro2xmi
web.archive.org (webarchive)
arxiv.org (repository)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2013-10-01
Version   v1
Language   en ?
arXiv  1310.0152v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 60e7ff58-709d-49b9-b393-d1faf85253b0
API URL: JSON