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
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/6960
Ver los metadatos del registro completo
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 |