dc.creator | Khandu Narwane, Ganesh | es |
dc.creator | Galindo Duarte, José Ángel | es |
dc.creator | Narayanan Krishna, Shankara | es |
dc.creator | Benavides Cuevas, David Felipe | es |
dc.creator | Millo, Jean-Vivien | es |
dc.creator | Ramesh, S. | es |
dc.date.accessioned | 2016-11-14T09:54:23Z | |
dc.date.available | 2016-11-14T09:54:23Z | |
dc.date.issued | 2016 | |
dc.identifier.citation | Khandu Narwane, G., Galindo, J.A., Narayanan Krishna, S., Benavides Cuevas, D.F., Millo, J. y Ramesh, S. (2016). Traceability Analyses between Features and Assets in Software Product Lines. Entropy, 18 (8), 1-31. | |
dc.identifier.issn | 1099-4300 | es |
dc.identifier.uri | http://hdl.handle.net/11441/48516 | |
dc.description.abstract | In a Software Product Line (SPL), the central notion of implementability provides the
requisite connection between specifications and their implementations, leading to the definition of
products. While it appears to be a simple extension of the traceability relation between components
and features, it involves several subtle issues that were overlooked in the existing literature.
In this paper, we have introduced a precise and formal definition of implementability over a fairly
expressive traceability relation. The consequent definition of products in the given SPL naturally
entails a set of useful analysis problems that are either refinements of known problems or are
completely novel. We also propose a new approach to solve these analysis problems by encoding
them as Quantified Boolean Formulae (QBF) and solving them through Quantified Satisfiability
(QSAT) solvers. QBF can represent more complex analysis operations, which cannot be represented
by using propositional formulae. The methodology scales much better than the SAT-based solutions
hinted in the literature and were demonstrated through a tool called SPLAnE (SPL Analysis Engine)
on a large set of SPL models. | es |
dc.description.sponsorship | Ministerio de Economía y Competitividad TIN2015-70560-R | es |
dc.description.sponsorship | Junta de Andalucía P12-TIC-1867 | es |
dc.description.sponsorship | Junta de Andalucía P10-TIC-5906 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | MDPI | es |
dc.relation.ispartof | Entropy, 18 (8), 1-31. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | software product line | es |
dc.subject | feature model | es |
dc.subject | formal methods | es |
dc.subject | QBF | es |
dc.subject | SAT | es |
dc.title | Traceability Analyses between Features and Assets in Software Product Lines | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | info:eu-repo/grantAgreement/MINECO/TIN2015-70560-R | es |
dc.relation.projectID | P12-TIC-1867 | es |
dc.relation.projectID | P10-TIC-5906 | es |
dc.relation.publisherversion | http://www.mdpi.com/1099-4300/18/8/269 | es |
dc.identifier.doi | 10.3390/e18080269 | es |
idus.format.extent | 31 p. | es |
dc.journaltitle | Entropy | es |
dc.publication.volumen | 18 | es |
dc.publication.issue | 8 | es |
dc.publication.initialPage | 1 | es |
dc.publication.endPage | 31 | es |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/48516 | |