Evaluation of Markov Models for Architecture Conformance Checking
- Autores
- Rodríguez, Guillermo Horacio; Armentano, Marcelo Gabriel; Soria, Alvaro; Corengia, Emilio
- Año de publicación
- 2020
- Idioma
- español castellano
- Tipo de recurso
- artículo
- Estado
- versión publicada
- Descripción
- Conformance between architecture and implementation is a key aspect of architecture-centric development. However, the architecture as documented and the architecture as implemented tend to diverge from each other over time. Thus, conformance checks should be run periodically on the system in order to detect and correct differences. Despite having a structural conformance analysis, assessing whether the main scenarios describing the architectural behavior are faithfully implemented in the code is still challenging. Checking conformance to architectural scenarios is usually a time-consuming and error-prone activity. In this article, we describe ArchLearner, a tool to assist architects to bridge the gap between architecture and its implementation. The architecture is specified with Use-Case Maps (UCMs), a notation for modeling both high-level structure and behavior. ArchLearner uses Markov Models to detect code deviations with respect to predetermined UCMs, based on the analysis of system execution traces for those UCMs. The results from two case-studies have shown that ArchLearner is practical and reduces conformance checking efforts.
Fil: Rodríguez, Guillermo Horacio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil. Instituto Superior de Ingeniería del Software. Universidad Nacional del Centro de la Provincia de Buenos Aires. Instituto Superior de Ingeniería del Software; Argentina
Fil: Armentano, Marcelo Gabriel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil. Instituto Superior de Ingeniería del Software. Universidad Nacional del Centro de la Provincia de Buenos Aires. Instituto Superior de Ingeniería del Software; Argentina
Fil: Soria, Alvaro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil. Instituto Superior de Ingeniería del Software. Universidad Nacional del Centro de la Provincia de Buenos Aires. Instituto Superior de Ingeniería del Software; Argentina
Fil: Corengia, Emilio. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas; Argentina - Materia
-
CONFORMANCE CHECKS
SOFTWARE ARCHITECTURE
TOOL SUPPORT
USE CASE MAPS
VARIABLE ORDER MARKOV MODELS - 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/122866
Ver los metadatos del registro completo
id |
CONICETDig_1d83d92d5c2f33416e89dfab07c3ebc0 |
---|---|
oai_identifier_str |
oai:ri.conicet.gov.ar:11336/122866 |
network_acronym_str |
CONICETDig |
repository_id_str |
3498 |
network_name_str |
CONICET Digital (CONICET) |
spelling |
Evaluation of Markov Models for Architecture Conformance CheckingRodríguez, Guillermo HoracioArmentano, Marcelo GabrielSoria, AlvaroCorengia, EmilioCONFORMANCE CHECKSSOFTWARE ARCHITECTURETOOL SUPPORTUSE CASE MAPSVARIABLE ORDER MARKOV MODELShttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Conformance between architecture and implementation is a key aspect of architecture-centric development. However, the architecture as documented and the architecture as implemented tend to diverge from each other over time. Thus, conformance checks should be run periodically on the system in order to detect and correct differences. Despite having a structural conformance analysis, assessing whether the main scenarios describing the architectural behavior are faithfully implemented in the code is still challenging. Checking conformance to architectural scenarios is usually a time-consuming and error-prone activity. In this article, we describe ArchLearner, a tool to assist architects to bridge the gap between architecture and its implementation. The architecture is specified with Use-Case Maps (UCMs), a notation for modeling both high-level structure and behavior. ArchLearner uses Markov Models to detect code deviations with respect to predetermined UCMs, based on the analysis of system execution traces for those UCMs. The results from two case-studies have shown that ArchLearner is practical and reduces conformance checking efforts.Fil: Rodríguez, Guillermo Horacio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil. Instituto Superior de Ingeniería del Software. Universidad Nacional del Centro de la Provincia de Buenos Aires. Instituto Superior de Ingeniería del Software; ArgentinaFil: Armentano, Marcelo Gabriel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil. Instituto Superior de Ingeniería del Software. Universidad Nacional del Centro de la Provincia de Buenos Aires. Instituto Superior de Ingeniería del Software; ArgentinaFil: Soria, Alvaro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil. Instituto Superior de Ingeniería del Software. Universidad Nacional del Centro de la Provincia de Buenos Aires. Instituto Superior de Ingeniería del Software; ArgentinaFil: Corengia, Emilio. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas; ArgentinaInstitute of Electrical and Electronics Engineers2020-01info: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/122866Rodríguez, Guillermo Horacio; Armentano, Marcelo Gabriel; Soria, Alvaro; Corengia, Emilio; Evaluation of Markov Models for Architecture Conformance Checking; Institute of Electrical and Electronics Engineers; IEEE Latin America Transactions; 18; 1; 1-2020; 43-501548-0992CONICET DigitalCONICETspainfo:eu-repo/semantics/altIdentifier/url/https://latamt.ieeer9.org/index.php/transactions/article/view/394/369info: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:38:38Zoai:ri.conicet.gov.ar:11336/122866instacron: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:38:38.471CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse |
dc.title.none.fl_str_mv |
Evaluation of Markov Models for Architecture Conformance Checking |
title |
Evaluation of Markov Models for Architecture Conformance Checking |
spellingShingle |
Evaluation of Markov Models for Architecture Conformance Checking Rodríguez, Guillermo Horacio CONFORMANCE CHECKS SOFTWARE ARCHITECTURE TOOL SUPPORT USE CASE MAPS VARIABLE ORDER MARKOV MODELS |
title_short |
Evaluation of Markov Models for Architecture Conformance Checking |
title_full |
Evaluation of Markov Models for Architecture Conformance Checking |
title_fullStr |
Evaluation of Markov Models for Architecture Conformance Checking |
title_full_unstemmed |
Evaluation of Markov Models for Architecture Conformance Checking |
title_sort |
Evaluation of Markov Models for Architecture Conformance Checking |
dc.creator.none.fl_str_mv |
Rodríguez, Guillermo Horacio Armentano, Marcelo Gabriel Soria, Alvaro Corengia, Emilio |
author |
Rodríguez, Guillermo Horacio |
author_facet |
Rodríguez, Guillermo Horacio Armentano, Marcelo Gabriel Soria, Alvaro Corengia, Emilio |
author_role |
author |
author2 |
Armentano, Marcelo Gabriel Soria, Alvaro Corengia, Emilio |
author2_role |
author author author |
dc.subject.none.fl_str_mv |
CONFORMANCE CHECKS SOFTWARE ARCHITECTURE TOOL SUPPORT USE CASE MAPS VARIABLE ORDER MARKOV MODELS |
topic |
CONFORMANCE CHECKS SOFTWARE ARCHITECTURE TOOL SUPPORT USE CASE MAPS VARIABLE ORDER MARKOV MODELS |
purl_subject.fl_str_mv |
https://purl.org/becyt/ford/1.2 https://purl.org/becyt/ford/1 |
dc.description.none.fl_txt_mv |
Conformance between architecture and implementation is a key aspect of architecture-centric development. However, the architecture as documented and the architecture as implemented tend to diverge from each other over time. Thus, conformance checks should be run periodically on the system in order to detect and correct differences. Despite having a structural conformance analysis, assessing whether the main scenarios describing the architectural behavior are faithfully implemented in the code is still challenging. Checking conformance to architectural scenarios is usually a time-consuming and error-prone activity. In this article, we describe ArchLearner, a tool to assist architects to bridge the gap between architecture and its implementation. The architecture is specified with Use-Case Maps (UCMs), a notation for modeling both high-level structure and behavior. ArchLearner uses Markov Models to detect code deviations with respect to predetermined UCMs, based on the analysis of system execution traces for those UCMs. The results from two case-studies have shown that ArchLearner is practical and reduces conformance checking efforts. Fil: Rodríguez, Guillermo Horacio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil. Instituto Superior de Ingeniería del Software. Universidad Nacional del Centro de la Provincia de Buenos Aires. Instituto Superior de Ingeniería del Software; Argentina Fil: Armentano, Marcelo Gabriel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil. Instituto Superior de Ingeniería del Software. Universidad Nacional del Centro de la Provincia de Buenos Aires. Instituto Superior de Ingeniería del Software; Argentina Fil: Soria, Alvaro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil. Instituto Superior de Ingeniería del Software. Universidad Nacional del Centro de la Provincia de Buenos Aires. Instituto Superior de Ingeniería del Software; Argentina Fil: Corengia, Emilio. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas; Argentina |
description |
Conformance between architecture and implementation is a key aspect of architecture-centric development. However, the architecture as documented and the architecture as implemented tend to diverge from each other over time. Thus, conformance checks should be run periodically on the system in order to detect and correct differences. Despite having a structural conformance analysis, assessing whether the main scenarios describing the architectural behavior are faithfully implemented in the code is still challenging. Checking conformance to architectural scenarios is usually a time-consuming and error-prone activity. In this article, we describe ArchLearner, a tool to assist architects to bridge the gap between architecture and its implementation. The architecture is specified with Use-Case Maps (UCMs), a notation for modeling both high-level structure and behavior. ArchLearner uses Markov Models to detect code deviations with respect to predetermined UCMs, based on the analysis of system execution traces for those UCMs. The results from two case-studies have shown that ArchLearner is practical and reduces conformance checking efforts. |
publishDate |
2020 |
dc.date.none.fl_str_mv |
2020-01 |
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/122866 Rodríguez, Guillermo Horacio; Armentano, Marcelo Gabriel; Soria, Alvaro; Corengia, Emilio; Evaluation of Markov Models for Architecture Conformance Checking; Institute of Electrical and Electronics Engineers; IEEE Latin America Transactions; 18; 1; 1-2020; 43-50 1548-0992 CONICET Digital CONICET |
url |
http://hdl.handle.net/11336/122866 |
identifier_str_mv |
Rodríguez, Guillermo Horacio; Armentano, Marcelo Gabriel; Soria, Alvaro; Corengia, Emilio; Evaluation of Markov Models for Architecture Conformance Checking; Institute of Electrical and Electronics Engineers; IEEE Latin America Transactions; 18; 1; 1-2020; 43-50 1548-0992 CONICET Digital CONICET |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/url/https://latamt.ieeer9.org/index.php/transactions/article/view/394/369 |
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 |
Institute of Electrical and Electronics Engineers |
publisher.none.fl_str_mv |
Institute of Electrical and Electronics Engineers |
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_ |
1844613221850284032 |
score |
13.070432 |