A Petri Net approach for representing Orthogonal Variability Models
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 product...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2013 |
| País: | Argentina |
| Institución: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repositorio: | CONICET Digital (CONICET) |
| Idioma: | inglés |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/6960 |
| Acceso en línea: | http://hdl.handle.net/11336/6960 |
| Access Level: | acceso abierto |
| Palabra clave: | SOFTWARE PRODUCT LINE ORTHOGONAL VARIABILITY MODEL PETRI NETS https://purl.org/becyt/ford/2.2 https://purl.org/becyt/ford/2 |
| id |
AR_59a2cbc3e5b552e4bd0eda5c2a45296d |
|---|---|
| oai_identifier_str |
oai:ri.conicet.gov.ar:11336/6960 |
| network_acronym_str |
AR |
| network_name_str |
Argentina |
| repository_id_str |
|
| 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écnicas2024-05-08T13:34:18Zoai: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:34982024-05-08 13:34:18.982CONICET 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 https://purl.org/becyt/ford/2.2 https://purl.org/becyt/ford/2 |
| 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 https://purl.org/becyt/ford/2.2 https://purl.org/becyt/ford/2 |
| topic |
SOFTWARE PRODUCT LINE ORTHOGONAL VARIABILITY MODEL PETRI NETS https://purl.org/becyt/ford/2.2 https://purl.org/becyt/ford/2 |
| 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 |
| instname_str |
Consejo Nacional de Investigaciones Científicas y Técnicas |
| reponame_str |
CONICET Digital (CONICET) |
| collection |
CONICET Digital (CONICET) |
| 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_ |
1799194692430069760 |
| score |
15,812429 |