A Petri Net Variability Model for Software Product Lines

Autores
Martínez, Cristian; Díaz, Nicolás; Gonnet, Silvio M.; Leone, Horacio P.
Año de publicación
2014
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Variability is defined as the possibility that a system has to be extended, changed, localized or configured in order to be used in a particular context. Variability specification in a software product line (SPL) is a main activity where product families are specified in terms of variants and dependencies. One way of defining the variability of a SPL is through a feature model (FM). However, the product families obtained can present feasibility problems, for instance, inclusion rules that can result contradictory which is translated in a set of features impossible to be incorporated into any product. Such inconveniences may come from the initial feature model developed as well from modifications introduced to satisfy new demands. In this paper a tool based on Petri nets is proposed in order to represent and analyze FMs as well as detecting the problems mentioned before.
Sociedad Argentina de Informática e Investigación Operativa
Materia
Ciencias Informáticas
Features
Variability
Petri Nets
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/135225
Acceder
id SEDICI_50d09f48edcc81d072757e456eb45d30
oai_identifier_str oai:sedici.unlp.edu.ar:10915/135225
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling A Petri Net Variability Model for Software Product LinesMartínez, CristianDíaz, NicolásGonnet, Silvio M.Leone, Horacio P.Ciencias InformáticasFeaturesVariabilityPetri NetsVariability is defined as the possibility that a system has to be extended, changed, localized or configured in order to be used in a particular context. Variability specification in a software product line (SPL) is a main activity where product families are specified in terms of variants and dependencies. One way of defining the variability of a SPL is through a feature model (FM). However, the product families obtained can present feasibility problems, for instance, inclusion rules that can result contradictory which is translated in a set of features impossible to be incorporated into any product. Such inconveniences may come from the initial feature model developed as well from modifications introduced to satisfy new demands. In this paper a tool based on Petri nets is proposed in order to represent and analyze FMs as well as detecting the problems mentioned before.Sociedad Argentina de Informática e Investigación Operativa2014-06-04info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionArticulohttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdf35-53http://sedici.unlp.edu.ar/handle/10915/135225enginfo:eu-repo/semantics/altIdentifier/url/https://publicaciones.sadio.org.ar/index.php/EJS/article/view/40info:eu-repo/semantics/altIdentifier/issn/1514-6774info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0/Creative Commons Attribution 4.0 International (CC BY 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:34:01Zoai:sedici.unlp.edu.ar:10915/135225Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:34:01.61SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv A Petri Net Variability Model for Software Product Lines
title A Petri Net Variability Model for Software Product Lines
spellingShingle A Petri Net Variability Model for Software Product Lines
Martínez, Cristian
Ciencias Informáticas
Features
Variability
Petri Nets
title_short A Petri Net Variability Model for Software Product Lines
title_full A Petri Net Variability Model for Software Product Lines
title_fullStr A Petri Net Variability Model for Software Product Lines
title_full_unstemmed A Petri Net Variability Model for Software Product Lines
title_sort A Petri Net Variability Model for Software Product Lines
dc.creator.none.fl_str_mv Martínez, Cristian
Díaz, Nicolás
Gonnet, Silvio M.
Leone, Horacio P.
author Martínez, Cristian
author_facet Martínez, Cristian
Díaz, Nicolás
Gonnet, Silvio M.
Leone, Horacio P.
author_role author
author2 Díaz, Nicolás
Gonnet, Silvio M.
Leone, Horacio P.
author2_role author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Features
Variability
Petri Nets
topic Ciencias Informáticas
Features
Variability
Petri Nets
dc.description.none.fl_txt_mv Variability is defined as the possibility that a system has to be extended, changed, localized or configured in order to be used in a particular context. Variability specification in a software product line (SPL) is a main activity where product families are specified in terms of variants and dependencies. One way of defining the variability of a SPL is through a feature model (FM). However, the product families obtained can present feasibility problems, for instance, inclusion rules that can result contradictory which is translated in a set of features impossible to be incorporated into any product. Such inconveniences may come from the initial feature model developed as well from modifications introduced to satisfy new demands. In this paper a tool based on Petri nets is proposed in order to represent and analyze FMs as well as detecting the problems mentioned before.
Sociedad Argentina de Informática e Investigación Operativa
description Variability is defined as the possibility that a system has to be extended, changed, localized or configured in order to be used in a particular context. Variability specification in a software product line (SPL) is a main activity where product families are specified in terms of variants and dependencies. One way of defining the variability of a SPL is through a feature model (FM). However, the product families obtained can present feasibility problems, for instance, inclusion rules that can result contradictory which is translated in a set of features impossible to be incorporated into any product. Such inconveniences may come from the initial feature model developed as well from modifications introduced to satisfy new demands. In this paper a tool based on Petri nets is proposed in order to represent and analyze FMs as well as detecting the problems mentioned before.
publishDate 2014
dc.date.none.fl_str_mv 2014-06-04
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Articulo
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/135225
url http://sedici.unlp.edu.ar/handle/10915/135225
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://publicaciones.sadio.org.ar/index.php/EJS/article/view/40
info:eu-repo/semantics/altIdentifier/issn/1514-6774
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by/4.0/
Creative Commons Attribution 4.0 International (CC BY 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0/
Creative Commons Attribution 4.0 International (CC BY 4.0)
dc.format.none.fl_str_mv application/pdf
35-53
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844616220121235456
score 13.070432

Publicaciones similares