ATAM-4SAS: a method for assessing quality attributes in self-adaptive systems

Detalhes bibliográficos
Autor(a) principal: Fortunato, Caiza Almeida
Data de Publicação: 2023
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Institucional da UFBA
Texto Completo: https://repositorio.ufba.br/handle/ri/38507
Resumo: Self-adaptive Systems (SAS) can monitor themselves and their context. They can detect changes and react to unexpected conditions with minimal human supervision dur ing their execution. One of the challenges behind developing SAS is dealing with the decision-making process while analyzing the tradeoff points among the multiple qual ity attributes (QA). In Software Engineering, a widely accepted method of evaluating QA goals in software projects are the Architecture Tradeoff Analysis Method (ATAM). However, despite its importance and wide acceptance, there are few reports of empirical studies on analyzing QA tradeoffs in SAS. In this sense, the present investigation proposes an adapted version of ATAM called ATAM-4SAS to deal with the particularities of SAS. To achieve the research goal, we employed the UPPAAL SMC (statistical verification model) to analyze a set of QA. To evaluate the feasibility of the proposed method, we performed an empirical study on the execution of the ATAM-4SAS in a SAS developed according to the MAPE-K model. This model encompasses the Monitoring, Analysis, Planning, and Execution phases. Such steps share a knowledge base (K), which is fundamental in supporting decision-making. We complemented the empirical evaluation by conducting a focus group, which sought to assess the perceived ease of use and the perceived usefulness of the ATAM-4SAS to support the strategic choice of QA in a SAS. As a result, we observed that most participants agreed that ATAM-4SAS provides adequate support for the strategic choice of QA in SAS.
id UFBA-2_34126d7ab003345935d4b028ec93430b
oai_identifier_str oai:repositorio.ufba.br:ri/38507
network_acronym_str UFBA-2
network_name_str Repositório Institucional da UFBA
repository_id_str 1932
spelling 2023-11-20T10:53:21Z2023-11-20T10:53:21Z2023-05-04FORTUNATO, Caiza Almeida. ATAM-4SAS: a method for assessing quality attributes in self-adaptive systems. 2023. 136 f. Dissertação (Mestrado em Ciências da Computação) Instituto de Computação, Universidade Federal da Bahia, Salvador, Ba, 2023.https://repositorio.ufba.br/handle/ri/38507Self-adaptive Systems (SAS) can monitor themselves and their context. They can detect changes and react to unexpected conditions with minimal human supervision dur ing their execution. One of the challenges behind developing SAS is dealing with the decision-making process while analyzing the tradeoff points among the multiple qual ity attributes (QA). In Software Engineering, a widely accepted method of evaluating QA goals in software projects are the Architecture Tradeoff Analysis Method (ATAM). However, despite its importance and wide acceptance, there are few reports of empirical studies on analyzing QA tradeoffs in SAS. In this sense, the present investigation proposes an adapted version of ATAM called ATAM-4SAS to deal with the particularities of SAS. To achieve the research goal, we employed the UPPAAL SMC (statistical verification model) to analyze a set of QA. To evaluate the feasibility of the proposed method, we performed an empirical study on the execution of the ATAM-4SAS in a SAS developed according to the MAPE-K model. This model encompasses the Monitoring, Analysis, Planning, and Execution phases. Such steps share a knowledge base (K), which is fundamental in supporting decision-making. We complemented the empirical evaluation by conducting a focus group, which sought to assess the perceived ease of use and the perceived usefulness of the ATAM-4SAS to support the strategic choice of QA in a SAS. As a result, we observed that most participants agreed that ATAM-4SAS provides adequate support for the strategic choice of QA in SAS.Sistemas autoadaptativos podem monitorar a si mesmos e ao seu contexto. Eles podem detectar mudanças e reagir à condições inesperadas com o mínimo de supervisão humana durante a sua execução. Um dos desafios por tras do desenvolvimento de sistemas autoadaptativos e lidar com o processo de tomada de decisão durante a análise dos pontos de tradeoff dentre os múltiplos atributos de qualidade (QA). Em Engenharia de Software, um método amplamente aceito de avaliação das metas de QA em projetos de software e o Método de Análise de Tradeoffs Arquiteturais, amplamente conhecido como ATAM. Entretanto, apesar de sua importância e ampla aceitação, há poucos relatos de estudos empíricos sobre a análise de tradeoffs de QA em sistemas autoadaptativos. Neste sentido, a presente investigação propõe uma versão adaptada do ATAM chamada ATAM-4SAS para lidar com as particularidades de sistemas de software autoadaptativos. Para alcaçar o objetivo da pesquisa, empregamos o UPPAAL SMC (modelo de verificação estatística) para analisar um conjunto de QA. Para avaliar a viabilidade do método proposto, realizamos um estudo empírico sobre a execução do ATAM-4SAS em um sistema autoadaptativo desenvolvido conforme o modelo MAPE-K. Este modelo engloba as fases de Monitoramento, Analise, Planejamento e Execução. Tais etapas compartilham uma base de conhecimento (K), fundamental no apoio `a tomada de decisões. A avaliação empírica foi complementada com a realizaçãoo de um grupo focal, que buscou avaliar a facilidade de uso percebida e a utilidade percebida do ATAM-4SAS para apoiar a escolha estratégica de QA em um sistema autoadaptativo. Como resultado, obervamos que maioria dos participantes concordou que o ATAM-4SAS provê o devido suporte para a escolha estratégica dos QA em sistemas autoadaptativos.Submitted by caiza fortunato (caizafortunato27@gmail.com) on 2023-11-17T14:46:34Z No. of bitstreams: 2 license_rdf: 701 bytes, checksum: 42fd4ad1e89814f5e4a476b409eb708c (MD5) Dissertacao_Caiza_Fortunato.pdf: 18736283 bytes, checksum: ab307b183097fa6c5026f47a071855fb (MD5)Approved for entry into archive by Solange Rocha (soluny@gmail.com) on 2023-11-20T10:53:21Z (GMT) No. of bitstreams: 2 Dissertacao_Caiza_Fortunato.pdf: 18736283 bytes, checksum: ab307b183097fa6c5026f47a071855fb (MD5) license_rdf: 701 bytes, checksum: 42fd4ad1e89814f5e4a476b409eb708c (MD5)Made available in DSpace on 2023-11-20T10:53:21Z (GMT). No. of bitstreams: 2 Dissertacao_Caiza_Fortunato.pdf: 18736283 bytes, checksum: ab307b183097fa6c5026f47a071855fb (MD5) license_rdf: 701 bytes, checksum: 42fd4ad1e89814f5e4a476b409eb708c (MD5) Previous issue date: 2023-05-04engUniversidade Federal da BahiaPrograma de Pós-Graduação em Ciência da Computação (PGCOMP) UFBABrasilInstituto de Computação - ICCC0 1.0 Universalhttp://creativecommons.org/publicdomain/zero/1.0/info:eu-repo/semantics/openAccessSelf-adaptive SystemsQuality AttributesUPPAAL SMCMAPE-KQuality Attribute Analysis MethodsCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::SOFTWARE BASICOSistemas autoadaptáveisAtributos de qualidadeUPPAAL SMCMAPE-KMétodo de analise de atributo de qualidadeATAM-4SAS: a method for assessing quality attributes in self-adaptive systemsATAM-4SAS: um método para avaliação de atributos de qualidade em sistemas autoadaptativosMestrado Acadêmicoinfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/publishedVersionMachado, Ivan do Carmo0000-0001-9027-2293http://lattes.cnpq.br/4430958315746203Bezerra, Carla Ilane Moreira0000-0002-5879-5067http://lattes.cnpq.br/4277471687235814Silva, Luciana Lourdeshttp://lattes.cnpq.br/2676856313617517Machado, Ivan do Carmo0000-0001-9027-2293http://lattes.cnpq.br/44309583157462030000-0002-2147-7129http://lattes.cnpq.br/1131337922063728Fortunato, Caiza Almeidareponame:Repositório Institucional da UFBAinstname:Universidade Federal da Bahia (UFBA)instacron:UFBATEXTDissertacao_Caiza_Fortunato.pdf.txtDissertacao_Caiza_Fortunato.pdf.txtExtracted texttext/plain279742https://repositorio.ufba.br/bitstream/ri/38507/4/Dissertacao_Caiza_Fortunato.pdf.txt12439083509fba3d1a1d48f3594d50dbMD54ORIGINALDissertacao_Caiza_Fortunato.pdfDissertacao_Caiza_Fortunato.pdfDissertação de Mestrado de Caiza Almeida Fortunatoapplication/pdf18736283https://repositorio.ufba.br/bitstream/ri/38507/1/Dissertacao_Caiza_Fortunato.pdfab307b183097fa6c5026f47a071855fbMD51CC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-8701https://repositorio.ufba.br/bitstream/ri/38507/2/license_rdf42fd4ad1e89814f5e4a476b409eb708cMD52LICENSElicense.txtlicense.txttext/plain1715https://repositorio.ufba.br/bitstream/ri/38507/3/license.txt67bf4f75790b0d8d38d8f112a48ad90bMD53ri/385072023-11-25 02:03:23.847oai:repositorio.ufba.br:ri/38507TElDRU7Dh0EgREUgRElTVFJJQlVJw4fDg08gTsODTy1FWENMVVNJVkEKCkNvbSBhIGFwcmVzZW50YcOnw6NvIGRlc3RhIGxpY2Vuw6dhLCBvIGF1dG9yIG91IHRpdHVsYXIgZG9zIGRpcmVpdG9zIGRlIGF1dG9yIGNvbmNlZGUgYW8gUmVwb3NpdMOzcmlvIEluc3RpdHVjaW9uYWwgbyBkaXJlaXRvIG7Do28tZXhjbHVzaXZvIGRlIHJlcHJvZHV6aXIsICB0cmFkdXppciAoY29uZm9ybWUgZGVmaW5pZG8gYWJhaXhvKSBlL291IGRpc3RyaWJ1aXIgYSBzdWEgcHVibGljYcOnw6NvIChpbmNsdWluZG8gbyByZXN1bW8pIG5vIGZvcm1hdG8gaW1wcmVzc28gZS9vdSBlbGV0csO0bmljbyBlIGVtIHF1YWxxdWVyIG1laW8sIGluY2x1aW5kbyBvcyAKZm9ybWF0b3Mgw6F1ZGlvIGUvb3UgdsOtZGVvLgoKTyBhdXRvciBvdSB0aXR1bGFyIGRvcyBkaXJlaXRvcyBkZSBhdXRvciBjb25jb3JkYSBxdWUgbyBSZXBvc2l0w7NyaW8gcG9kZSwgc2VtIGFsdGVyYXIgbyBjb250ZcO6ZG8sIHRyYW5zcG9yIGEgc3VhIHB1YmxpY2HDp8OjbyBwYXJhIHF1YWxxdWVyIG1laW8gZS9vdSBmb3JtYXRvIHBhcmEgZmlucyBkZSBwcmVzZXJ2YcOnw6NvLCBwb2RlbmRvIG1hbnRlciBtYWlzIGRlIHVtYSBjw7NwaWEgIHBhcmEgZmlucyBkZSBzZWd1cmFuw6dhLCBiYWNrdXAgZSBwcmVzZXJ2YcOnw6NvLgoKTyBhdXRvciBvdSB0aXR1bGFyIGRvcyBkaXJlaXRvcyBkZSBhdXRvciBkZWNsYXJhIHF1ZSBhIHN1YSBwdWJsaWNhw6fDo28gw6kgb3JpZ2luYWwgZSBxdWUgbsOjbywgcXVlIHNlamEgZGUgc2V1IGNvbmhlY2ltZW50bywgaW5mcmluZ2UgZGlyZWl0b3MgYXV0b3JhaXMgZGUgbmluZ3XDqW0uCgpDYXNvIGEgc3VhIHB1YmxpY2HDp8OjbyBjb250ZW5oYSBtYXRlcmlhbCBxdWUgbsOjbyBwb3NzdWkgYSB0aXR1bGFyaWRhZGUgZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCB2b2PDqiBkZWNsYXJhIHF1ZSBvYnRldmUgYSBwZXJtaXNzw6NvIGlycmVzdHJpdGEgZG8gZGV0ZW50b3IgZG9zIGRpcmVpdG9zIGF1dG9yYWlzIHBhcmEgY29uY2VkZXIgYW8gUmVwb3NpdMOzcmlvIG9zIGRpcmVpdG9zIGFwcmVzZW50YWRvcyBuZXN0YSBsaWNlbsOnYSBlIHF1ZSBlc3NlIG1hdGVyaWFsIGRlIHByb3ByaWVkYWRlIGRlIHRlcmNlaXJvcyBlc3TDoSBjbGFyYW1lbnRlIGlkZW50aWZpY2FkbyBlIHJlY29uaGVjaWRvIG5vIHRleHRvIG91IG5vIGNvbnRlw7pkbyBkYSBwdWJsaWNhw6fDo28gb3JhIGRlcG9zaXRhZGEuCgpDQVNPIEEgUFVCTElDQcOHw4NPIE9SQSBERVBPU0lUQURBICBSRVNVTFRFIERFIFVNIFBBVFJPQ8ONTklPIE9VIEFQT0lPIERFIFVNQSAgQUfDik5DSUEgREUgRk9NRU5UTyBPVSBPVVRSTyAKT1JHQU5JU01PLCBWT0PDiiBERUNMQVJBIFFVRSBSRVNQRUlUT1UgVE9ET1MgRSBRVUFJU1FVRVIgRElSRUlUT1MgREUgUkVWSVPDg08sIENPTU8gVEFNQsOJTSBBUyBERU1BSVMgT0JSSUdBw4fDlUVTIApFWElHSURBUyBQT1IgQ09OVFJBVE8gT1UgQUNPUkRPLgoKTyBSZXBvc2l0w7NyaW8gc2UgY29tcHJvbWV0ZSBhIGlkZW50aWZpY2FyLCBjbGFyYW1lbnRlLCBvIHNldSBub21lIChzKSBvdSBvKHMpIG5vbWUocykgZG8ocykgZGV0ZW50b3IoZXMpIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBkYSBwdWJsaWNhw6fDo28gZSBuw6NvIGZhcsOhIHF1YWxxdWVyIGFsdGVyYcOnw6NvLCBhbMOpbSBkYXF1ZWxhcyBjb25jZWRpZGFzIHBvciBlc3RhIGxpY2Vuw6dhLgo=Repositório InstitucionalPUBhttp://192.188.11.11:8080/oai/requestopendoar:19322023-11-25T05:03:23Repositório Institucional da UFBA - Universidade Federal da Bahia (UFBA)false
dc.title.pt_BR.fl_str_mv ATAM-4SAS: a method for assessing quality attributes in self-adaptive systems
dc.title.alternative.pt_BR.fl_str_mv ATAM-4SAS: um método para avaliação de atributos de qualidade em sistemas autoadaptativos
title ATAM-4SAS: a method for assessing quality attributes in self-adaptive systems
spellingShingle ATAM-4SAS: a method for assessing quality attributes in self-adaptive systems
Fortunato, Caiza Almeida
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::SOFTWARE BASICO
Sistemas autoadaptáveis
Atributos de qualidade
UPPAAL SMC
MAPE-K
Método de analise de atributo de qualidade
Self-adaptive Systems
Quality Attributes
UPPAAL SMC
MAPE-K
Quality Attribute Analysis Methods
title_short ATAM-4SAS: a method for assessing quality attributes in self-adaptive systems
title_full ATAM-4SAS: a method for assessing quality attributes in self-adaptive systems
title_fullStr ATAM-4SAS: a method for assessing quality attributes in self-adaptive systems
title_full_unstemmed ATAM-4SAS: a method for assessing quality attributes in self-adaptive systems
title_sort ATAM-4SAS: a method for assessing quality attributes in self-adaptive systems
author Fortunato, Caiza Almeida
author_facet Fortunato, Caiza Almeida
author_role author
dc.contributor.advisor1.fl_str_mv Machado, Ivan do Carmo
dc.contributor.advisor1ID.fl_str_mv 0000-0001-9027-2293
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/4430958315746203
dc.contributor.referee1.fl_str_mv Bezerra, Carla Ilane Moreira
dc.contributor.referee1ID.fl_str_mv 0000-0002-5879-5067
dc.contributor.referee1Lattes.fl_str_mv http://lattes.cnpq.br/4277471687235814
dc.contributor.referee2.fl_str_mv Silva, Luciana Lourdes
dc.contributor.referee2Lattes.fl_str_mv http://lattes.cnpq.br/2676856313617517
dc.contributor.referee3.fl_str_mv Machado, Ivan do Carmo
dc.contributor.referee3ID.fl_str_mv 0000-0001-9027-2293
dc.contributor.referee3Lattes.fl_str_mv http://lattes.cnpq.br/4430958315746203
dc.contributor.authorID.fl_str_mv 0000-0002-2147-7129
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/1131337922063728
dc.contributor.author.fl_str_mv Fortunato, Caiza Almeida
contributor_str_mv Machado, Ivan do Carmo
Bezerra, Carla Ilane Moreira
Silva, Luciana Lourdes
Machado, Ivan do Carmo
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::SOFTWARE BASICO
topic CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::SOFTWARE BASICO
Sistemas autoadaptáveis
Atributos de qualidade
UPPAAL SMC
MAPE-K
Método de analise de atributo de qualidade
Self-adaptive Systems
Quality Attributes
UPPAAL SMC
MAPE-K
Quality Attribute Analysis Methods
dc.subject.por.fl_str_mv Sistemas autoadaptáveis
Atributos de qualidade
UPPAAL SMC
MAPE-K
Método de analise de atributo de qualidade
dc.subject.other.pt_BR.fl_str_mv Self-adaptive Systems
Quality Attributes
UPPAAL SMC
MAPE-K
Quality Attribute Analysis Methods
description Self-adaptive Systems (SAS) can monitor themselves and their context. They can detect changes and react to unexpected conditions with minimal human supervision dur ing their execution. One of the challenges behind developing SAS is dealing with the decision-making process while analyzing the tradeoff points among the multiple qual ity attributes (QA). In Software Engineering, a widely accepted method of evaluating QA goals in software projects are the Architecture Tradeoff Analysis Method (ATAM). However, despite its importance and wide acceptance, there are few reports of empirical studies on analyzing QA tradeoffs in SAS. In this sense, the present investigation proposes an adapted version of ATAM called ATAM-4SAS to deal with the particularities of SAS. To achieve the research goal, we employed the UPPAAL SMC (statistical verification model) to analyze a set of QA. To evaluate the feasibility of the proposed method, we performed an empirical study on the execution of the ATAM-4SAS in a SAS developed according to the MAPE-K model. This model encompasses the Monitoring, Analysis, Planning, and Execution phases. Such steps share a knowledge base (K), which is fundamental in supporting decision-making. We complemented the empirical evaluation by conducting a focus group, which sought to assess the perceived ease of use and the perceived usefulness of the ATAM-4SAS to support the strategic choice of QA in a SAS. As a result, we observed that most participants agreed that ATAM-4SAS provides adequate support for the strategic choice of QA in SAS.
publishDate 2023
dc.date.accessioned.fl_str_mv 2023-11-20T10:53:21Z
dc.date.available.fl_str_mv 2023-11-20T10:53:21Z
dc.date.issued.fl_str_mv 2023-05-04
dc.type.driver.fl_str_mv Mestrado Acadêmico
info:eu-repo/semantics/masterThesis
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv FORTUNATO, Caiza Almeida. ATAM-4SAS: a method for assessing quality attributes in self-adaptive systems. 2023. 136 f. Dissertação (Mestrado em Ciências da Computação) Instituto de Computação, Universidade Federal da Bahia, Salvador, Ba, 2023.
dc.identifier.uri.fl_str_mv https://repositorio.ufba.br/handle/ri/38507
identifier_str_mv FORTUNATO, Caiza Almeida. ATAM-4SAS: a method for assessing quality attributes in self-adaptive systems. 2023. 136 f. Dissertação (Mestrado em Ciências da Computação) Instituto de Computação, Universidade Federal da Bahia, Salvador, Ba, 2023.
url https://repositorio.ufba.br/handle/ri/38507
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv CC0 1.0 Universal
http://creativecommons.org/publicdomain/zero/1.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv CC0 1.0 Universal
http://creativecommons.org/publicdomain/zero/1.0/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal da Bahia
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Ciência da Computação (PGCOMP) 
dc.publisher.initials.fl_str_mv UFBA
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Instituto de Computação - IC
publisher.none.fl_str_mv Universidade Federal da Bahia
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFBA
instname:Universidade Federal da Bahia (UFBA)
instacron:UFBA
instname_str Universidade Federal da Bahia (UFBA)
instacron_str UFBA
institution UFBA
reponame_str Repositório Institucional da UFBA
collection Repositório Institucional da UFBA
bitstream.url.fl_str_mv https://repositorio.ufba.br/bitstream/ri/38507/4/Dissertacao_Caiza_Fortunato.pdf.txt
https://repositorio.ufba.br/bitstream/ri/38507/1/Dissertacao_Caiza_Fortunato.pdf
https://repositorio.ufba.br/bitstream/ri/38507/2/license_rdf
https://repositorio.ufba.br/bitstream/ri/38507/3/license.txt
bitstream.checksum.fl_str_mv 12439083509fba3d1a1d48f3594d50db
ab307b183097fa6c5026f47a071855fb
42fd4ad1e89814f5e4a476b409eb708c
67bf4f75790b0d8d38d8f112a48ad90b
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFBA - Universidade Federal da Bahia (UFBA)
repository.mail.fl_str_mv
_version_ 1808459685714460672