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
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/122866

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