Managing and Analysing Software Product Line Requirements
release_hzlzhazv6jaslor5gz2elnsvuy
by
Shamim Ripon, Sk. Jahir Hossain, Touhid Bhuiyan
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) |
1310.0152v1
access all versions, variants, and formats of this works (eg, pre-prints)