Managing and Analysing Software Product Line Requirements

Ripon, Shamim; Hossain, Sk. Jahir; Bhuiyan, Touhid

DSpace Home
→
DIU Faculty Publication
→
Articles
→
View Item

dc.contributor.author	Ripon, Shamim
dc.contributor.author	Hossain, Sk. Jahir
dc.contributor.author	Bhuiyan, Touhid
dc.date.accessioned	2018-09-06T04:27:41Z
dc.date.accessioned	2019-05-27T09:57:04Z
dc.date.available	2018-09-06T04:27:41Z
dc.date.available	2019-05-27T09:57:04Z
dc.date.issued	2013-10-01
dc.identifier.uri	http://hdl.handle.net/20.500.11948/3079
dc.description.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 firstorder 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. Full text Link: 10.5121/ijsea.2013.4505	en_US
dc.language.iso	en	en_US
dc.publisher	Archive.org	en_US
dc.subject	Software Product Line	en_US
dc.subject	First order logic	en_US
dc.subject	Alloy	en_US
dc.subject	variant management	en_US
dc.title	Managing and Analysing Software Product Line Requirements	en_US
dc.type	Article	en_US