A Petri Net approach for representing Orthogonal Variability Models

Autores
Martinez, Cristian; Leone, Horacio Pascual; Gonnet, Silvio Miguel
Año de publicación
2013
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
The software product line (SPL) paradigm is used for developing software system products from a set of reusable artifacts, known as platform. The Orthogonal Variability Modeling (OVM) is a technique for representing and managing the variability and composition of those artifacts for deriving products in the SPL. Nevertheless, OVM does not support the formal analysis of the models. For example, the detection of dead artifacts (i.e., artifcats that cannot be included in any product) is an exhaustive activity which implies the verification of relationships between artifacs, artifacts parents, and so on. In this work, we introduce a Petri nets approach for representing and analyzing OVM models. The proposed net is built from elemental topologies that represents OVM concepts and relationships. Finally, we simulate the net and study their properties in order to avoid the product feasibility problems.
Fil: Martinez, Cristian. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); Argentina
Fil: Leone, Horacio Pascual. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); Argentina
Fil: Gonnet, Silvio Miguel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); Argentina
Materia
SOFTWARE PRODUCT LINE
ORTHOGONAL VARIABILITY MODEL
PETRI NETS
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/6960

id CONICETDig_59a2cbc3e5b552e4bd0eda5c2a45296d
oai_identifier_str oai:ri.conicet.gov.ar:11336/6960
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling A Petri Net approach for representing Orthogonal Variability ModelsMartinez, CristianLeone, Horacio PascualGonnet, Silvio MiguelSOFTWARE PRODUCT LINEORTHOGONAL VARIABILITY MODELPETRI NETShttps://purl.org/becyt/ford/2.2https://purl.org/becyt/ford/2The software product line (SPL) paradigm is used for developing software system products from a set of reusable artifacts, known as platform. The Orthogonal Variability Modeling (OVM) is a technique for representing and managing the variability and composition of those artifacts for deriving products in the SPL. Nevertheless, OVM does not support the formal analysis of the models. For example, the detection of dead artifacts (i.e., artifcats that cannot be included in any product) is an exhaustive activity which implies the verification of relationships between artifacs, artifacts parents, and so on. In this work, we introduce a Petri nets approach for representing and analyzing OVM models. The proposed net is built from elemental topologies that represents OVM concepts and relationships. Finally, we simulate the net and study their properties in order to avoid the product feasibility problems.Fil: Martinez, Cristian. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); ArgentinaFil: Leone, Horacio Pascual. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); ArgentinaFil: Gonnet, Silvio Miguel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); ArgentinaCouncil for Innovative Research2013-07info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/6960Martinez, Cristian; Leone, Horacio Pascual; Gonnet, Silvio Miguel; A Petri Net approach for representing Orthogonal Variability Models; Council for Innovative Research; International Journal of Computers & Technology; 9; 1; 7-2013; 995-10032277-3061enginfo:eu-repo/semantics/altIdentifier/url/http://cirworld.com/index.php/ijct/article/view/1902info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T09:35:10Zoai:ri.conicet.gov.ar:11336/6960instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-29 09:35:11.164CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv A Petri Net approach for representing Orthogonal Variability Models
title A Petri Net approach for representing Orthogonal Variability Models
spellingShingle A Petri Net approach for representing Orthogonal Variability Models
Martinez, Cristian
SOFTWARE PRODUCT LINE
ORTHOGONAL VARIABILITY MODEL
PETRI NETS
title_short A Petri Net approach for representing Orthogonal Variability Models
title_full A Petri Net approach for representing Orthogonal Variability Models
title_fullStr A Petri Net approach for representing Orthogonal Variability Models
title_full_unstemmed A Petri Net approach for representing Orthogonal Variability Models
title_sort A Petri Net approach for representing Orthogonal Variability Models
dc.creator.none.fl_str_mv Martinez, Cristian
Leone, Horacio Pascual
Gonnet, Silvio Miguel
author Martinez, Cristian
author_facet Martinez, Cristian
Leone, Horacio Pascual
Gonnet, Silvio Miguel
author_role author
author2 Leone, Horacio Pascual
Gonnet, Silvio Miguel
author2_role author
author
dc.subject.none.fl_str_mv SOFTWARE PRODUCT LINE
ORTHOGONAL VARIABILITY MODEL
PETRI NETS
topic SOFTWARE PRODUCT LINE
ORTHOGONAL VARIABILITY MODEL
PETRI NETS
purl_subject.fl_str_mv https://purl.org/becyt/ford/2.2
https://purl.org/becyt/ford/2
dc.description.none.fl_txt_mv The software product line (SPL) paradigm is used for developing software system products from a set of reusable artifacts, known as platform. The Orthogonal Variability Modeling (OVM) is a technique for representing and managing the variability and composition of those artifacts for deriving products in the SPL. Nevertheless, OVM does not support the formal analysis of the models. For example, the detection of dead artifacts (i.e., artifcats that cannot be included in any product) is an exhaustive activity which implies the verification of relationships between artifacs, artifacts parents, and so on. In this work, we introduce a Petri nets approach for representing and analyzing OVM models. The proposed net is built from elemental topologies that represents OVM concepts and relationships. Finally, we simulate the net and study their properties in order to avoid the product feasibility problems.
Fil: Martinez, Cristian. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); Argentina
Fil: Leone, Horacio Pascual. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); Argentina
Fil: Gonnet, Silvio Miguel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); Argentina
description The software product line (SPL) paradigm is used for developing software system products from a set of reusable artifacts, known as platform. The Orthogonal Variability Modeling (OVM) is a technique for representing and managing the variability and composition of those artifacts for deriving products in the SPL. Nevertheless, OVM does not support the formal analysis of the models. For example, the detection of dead artifacts (i.e., artifcats that cannot be included in any product) is an exhaustive activity which implies the verification of relationships between artifacs, artifacts parents, and so on. In this work, we introduce a Petri nets approach for representing and analyzing OVM models. The proposed net is built from elemental topologies that represents OVM concepts and relationships. Finally, we simulate the net and study their properties in order to avoid the product feasibility problems.
publishDate 2013
dc.date.none.fl_str_mv 2013-07
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
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://hdl.handle.net/11336/6960
Martinez, Cristian; Leone, Horacio Pascual; Gonnet, Silvio Miguel; A Petri Net approach for representing Orthogonal Variability Models; Council for Innovative Research; International Journal of Computers & Technology; 9; 1; 7-2013; 995-1003
2277-3061
url http://hdl.handle.net/11336/6960
identifier_str_mv Martinez, Cristian; Leone, Horacio Pascual; Gonnet, Silvio Miguel; A Petri Net approach for representing Orthogonal Variability Models; Council for Innovative Research; International Journal of Computers & Technology; 9; 1; 7-2013; 995-1003
2277-3061
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://cirworld.com/index.php/ijct/article/view/1902
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Council for Innovative Research
publisher.none.fl_str_mv Council for Innovative Research
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1844613093627265024
score 13.070432