An ontology to aid the goal-oriented requirements elicitation and specification for self-adaptive systems

Detalhes bibliográficos
Ano de defesa: 2017
Autor(a) principal: SOARES, Monique Conceição
Orientador(a): CASTRO, Jaelson Freire Brelaz de
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: Universidade Federal de Pernambuco
Programa de Pós-Graduação: Programa de Pos Graduacao em Ciencia da Computacao
Departamento: Não Informado pela instituição
País: Brasil
Palavras-chave em Português:
Link de acesso: https://repositorio.ufpe.br/handle/123456789/30492
Resumo: SCHUENEMANN, Carla Taciana Lima Lourenço Silva, também é conhecida em citações bibliográficas por: SILVA, Carla Taciana Lima Lourenço
id UFPE_f53fda2a6d29ad1c8616b176c3341268
oai_identifier_str oai:repositorio.ufpe.br:123456789/30492
network_acronym_str UFPE
network_name_str Repositório Institucional da UFPE
repository_id_str
spelling SOARES, Monique Conceiçãohttp://lattes.cnpq.br/8677819470337873http://lattes.cnpq.br/0698164500481055CASTRO, Jaelson Freire Brelaz deSCHUENEMANN, Carla Taciana Lima Lourenço Silva2019-05-03T23:31:44Z2019-05-03T23:31:44Z2017-09-11https://repositorio.ufpe.br/handle/123456789/30492SCHUENEMANN, Carla Taciana Lima Lourenço Silva, também é conhecida em citações bibliográficas por: SILVA, Carla Taciana Lima LourençoSelf-Adaptive Systems (SAS) can adapt their own behavior in response to context information or changes in the environment and also in response to their own behavior. The interest in requirements engineering for SAS has grown in recent years, but despite this, some works involving requirements specification of these systems do not guide requirements elicitation. Goal-oriented requirements engineering (GORE) modeling languages are widely used to specify requirements for SAS. There are GORE modeling languages specifically proposed for the SAS domain and each of them presents a fixed and small set of concepts. Ontologies can be used to overcome the limitation of concepts, since they can help in the representation of concepts within a domain, as well as in the communication and specification of requirements. The purpose of this thesis is to provide a richer set of SAS concepts to guide the elicitation and specification of requirements for such systems. An ontology for SAS is proposed, as well as a process to guide the use of the ontology for eliciting and specifying requirements for SAS. The unique core ontology for requirements for SAS in literature does not cover all main concepts that SAS involves, like the modeling dimensions and a feedback loop. In order to achieve the objective, first, two systematic literature reviews (SLRs) were performed to analyze the work involving knowledge representation for SAS and context-aware systems. A total of twenty-three studies were selected in both. Then, three GORE modeling languages for SAS were analyzed - Tropos4AS, AdaptiveRML and Design Goal Model - to identify the concepts that these languages are able to represent. It was observed that the analyzed languages do not represent most of the concepts involved in the SAS domain. With the results of both SLRs and the analysis of the GORE modeling languages, an ontology was proposed to aid the requirements engineer to perform the elicitation and specification of SAS. To create the ontology, three methodologies were used: Uschold and Gruninger’s, METHONTOLOGY and SABiO. The proposed ontology covers the main concepts of self-adaptive systems, such as the feedback loop concepts, context, the modeling dimensions for SAS, and goal-oriented requirements. It was also proposed a process for the use of the ontology. The ontology evaluation was based on six criteria: comprehensiveness, verification, validation, utility, easiness of use and accordance. Our ontology is embracing in comparison to the related works selected in both SLRs. The ontology was verified and validated by instantiating a multimedia news system. The usefulness and easiness of use of both the ontology and the process were evaluated by case study and a survey, where requirements engineers used the process to instantiate an ambulance dispatch system. This evaluation found that the ontology is useful, although the process is not so easy to use. Another survey was answered by SAS specialists to evaluate the accordance of the ontology, who agreed with the concepts of the ontology.Sistemas auto-adaptativos (Self-Adaptive Systems - SAS) conseguem adaptar o próprio comportamento em resposta a informações de contexto ou mudanças no ambiente e também em resposta ao próprio comportamento. O interesse em engenharia de requisitos para SAS tem crescido nos últimos anos, mas apesar disto, os trabalhos que envolvem especificação de requisitos desses sistemas não guiam a elicitação de requisitos. Linguagens de modelagem de engenharia de requisitos orientados a objetivos (GORE) são muito utilizadas para especificar requisitos para SAS. Existem linguagens de modelagem GORE que foram propostas especificamente para o domínio de SAS e cada uma apresenta um conjunto fixo e pequeno de conceitos. Ontologias podem ser utilizadas para superar essa limitação, já que elas ajudam na representação de conceitos dentro de um domínio, bem como na comunicação e especificação de requisitos. O objetivo desta tese é fornecer um conjunto mais rico de conceitos para SAS para orientar a elicitação e a especificação de requisitos para tais sistemas. Uma ontologia para SAS é proposta, bem como um processo para orientar o uso da ontologia para elicitação e especificação de requisitos para SAS. A única ontologia core para requisitos para SAS na literatura não abrange todos os principais conceitos que SAS envolve, como as dimensões de modelagem e um feedback loop. Para atingir o objetivo, em primeiro lugar, foram realizadas duas revisões sistemáticas de literatura (RSLs) para analisar o trabalho que envolve a representação do conhecimento para SAS e sistemas sensíveis ao contexto. Um total de vinte e três estudos foram selecionados em ambos. Então, três linguagens de modelagem GORE para SAS foram analisadas - Tropos4AS, AdaptiveRML e Design Goal Model - para identificar os conceitos que essas linguagens podem representar. Observou-se que as linguagens analisadas não representam a maioria dos conceitos envolvidos no domínio SAS. Com os resultados das SLRs e da análise das linguagens de modelagem GORE, foi proposta uma ontologia para ajudar o engenheiro de requisitos a realizar a elicitação e a especificação de SAS. Para criar a ontologia, foram utilizadas três metodologias: Uschold e Gruninger, METHONTOLOGY e SABiO. A ontologia proposta abrange os principais conceitos de sistemas auto-adaptativos, como os conceitos de feedback loop, contexto, dimensões de modelagem para SAS e requisitos orientados a objetivos. Também foi proposto um processo para o uso da ontologia. A avaliação da ontologia foi baseada em seis critérios: abrangência, verificação, validação, utilidade, facilidade de uso e conformidade. Nossa ontologia é mais abrangente que os trabalhos relacionados selecionados em ambas RSLs. A ontologia foi verificada e validada através da instanciação de um sistema de notícias multimídia. A utilidade e facilidade de uso tanto da ontologia quanto do processo foram avaliadas por estudo de caso e um survey, onde os engenheiros de requisitos usaram o processo para instanciar um sistema de despacho de ambulância. Esta avaliação constatou que a ontologia é útil, embora o processo não seja tão fácil de usar. Outra pesquisa foi respondida por especialistas em SAS para avaliar a conformidade da ontologia, os quais concordam com os conceitos da ontologia.engUniversidade Federal de PernambucoPrograma de Pos Graduacao em Ciencia da ComputacaoUFPEBrasilAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessEngenharia de softwareEngenharia de requisitosOntologiaAn ontology to aid the goal-oriented requirements elicitation and specification for self-adaptive systemsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisdoutoradoreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPETHUMBNAILTESE Monique Conceição Soares.pdf.jpgTESE Monique Conceição Soares.pdf.jpgGenerated Thumbnailimage/jpeg1337https://repositorio.ufpe.br/bitstream/123456789/30492/5/TESE%20Monique%20Concei%c3%a7%c3%a3o%20Soares.pdf.jpg74d2e1990c789a1626c27cf52f1f957dMD55ORIGINALTESE Monique Conceição Soares.pdfTESE Monique Conceição Soares.pdfapplication/pdf4555879https://repositorio.ufpe.br/bitstream/123456789/30492/1/TESE%20Monique%20Concei%c3%a7%c3%a3o%20Soares.pdf969ab3f938bec518ab0e71c8f7cb6ebcMD51CC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-8811https://repositorio.ufpe.br/bitstream/123456789/30492/2/license_rdfe39d27027a6cc9cb039ad269a5db8e34MD52LICENSElicense.txtlicense.txttext/plain; charset=utf-82311https://repositorio.ufpe.br/bitstream/123456789/30492/3/license.txt4b8a02c7f2818eaf00dcf2260dd5eb08MD53TEXTTESE Monique Conceição Soares.pdf.txtTESE Monique Conceição Soares.pdf.txtExtracted texttext/plain393029https://repositorio.ufpe.br/bitstream/123456789/30492/4/TESE%20Monique%20Concei%c3%a7%c3%a3o%20Soares.pdf.txt0f50c1bf18b074492814175e8310d6a6MD54123456789/304922019-10-25 08:44:05.246oai:repositorio.ufpe.br:123456789/30492TGljZW7Dp2EgZGUgRGlzdHJpYnVpw6fDo28gTsOjbyBFeGNsdXNpdmEKClRvZG8gZGVwb3NpdGFudGUgZGUgbWF0ZXJpYWwgbm8gUmVwb3NpdMOzcmlvIEluc3RpdHVjaW9uYWwgKFJJKSBkZXZlIGNvbmNlZGVyLCDDoCBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkZSBQZXJuYW1idWNvIChVRlBFKSwgdW1hIExpY2Vuw6dhIGRlIERpc3RyaWJ1acOnw6NvIE7Do28gRXhjbHVzaXZhIHBhcmEgbWFudGVyIGUgdG9ybmFyIGFjZXNzw612ZWlzIG9zIHNldXMgZG9jdW1lbnRvcywgZW0gZm9ybWF0byBkaWdpdGFsLCBuZXN0ZSByZXBvc2l0w7NyaW8uCgpDb20gYSBjb25jZXNzw6NvIGRlc3RhIGxpY2Vuw6dhIG7Do28gZXhjbHVzaXZhLCBvIGRlcG9zaXRhbnRlIG1hbnTDqW0gdG9kb3Mgb3MgZGlyZWl0b3MgZGUgYXV0b3IuCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwoKTGljZW7Dp2EgZGUgRGlzdHJpYnVpw6fDo28gTsOjbyBFeGNsdXNpdmEKCkFvIGNvbmNvcmRhciBjb20gZXN0YSBsaWNlbsOnYSBlIGFjZWl0w6EtbGEsIHZvY8OqIChhdXRvciBvdSBkZXRlbnRvciBkb3MgZGlyZWl0b3MgYXV0b3JhaXMpOgoKYSkgRGVjbGFyYSBxdWUgY29uaGVjZSBhIHBvbMOtdGljYSBkZSBjb3B5cmlnaHQgZGEgZWRpdG9yYSBkbyBzZXUgZG9jdW1lbnRvOwpiKSBEZWNsYXJhIHF1ZSBjb25oZWNlIGUgYWNlaXRhIGFzIERpcmV0cml6ZXMgcGFyYSBvIFJlcG9zaXTDs3JpbyBJbnN0aXR1Y2lvbmFsIGRhIFVGUEU7CmMpIENvbmNlZGUgw6AgVUZQRSBvIGRpcmVpdG8gbsOjbyBleGNsdXNpdm8gZGUgYXJxdWl2YXIsIHJlcHJvZHV6aXIsIGNvbnZlcnRlciAoY29tbyBkZWZpbmlkbyBhIHNlZ3VpciksIGNvbXVuaWNhciBlL291IGRpc3RyaWJ1aXIsIG5vIFJJLCBvIGRvY3VtZW50byBlbnRyZWd1ZSAoaW5jbHVpbmRvIG8gcmVzdW1vL2Fic3RyYWN0KSBlbSBmb3JtYXRvIGRpZ2l0YWwgb3UgcG9yIG91dHJvIG1laW87CmQpIERlY2xhcmEgcXVlIGF1dG9yaXphIGEgVUZQRSBhIGFycXVpdmFyIG1haXMgZGUgdW1hIGPDs3BpYSBkZXN0ZSBkb2N1bWVudG8gZSBjb252ZXJ0w6otbG8sIHNlbSBhbHRlcmFyIG8gc2V1IGNvbnRlw7pkbywgcGFyYSBxdWFscXVlciBmb3JtYXRvIGRlIGZpY2hlaXJvLCBtZWlvIG91IHN1cG9ydGUsIHBhcmEgZWZlaXRvcyBkZSBzZWd1cmFuw6dhLCBwcmVzZXJ2YcOnw6NvIChiYWNrdXApIGUgYWNlc3NvOwplKSBEZWNsYXJhIHF1ZSBvIGRvY3VtZW50byBzdWJtZXRpZG8gw6kgbyBzZXUgdHJhYmFsaG8gb3JpZ2luYWwgZSBxdWUgZGV0w6ltIG8gZGlyZWl0byBkZSBjb25jZWRlciBhIHRlcmNlaXJvcyBvcyBkaXJlaXRvcyBjb250aWRvcyBuZXN0YSBsaWNlbsOnYS4gRGVjbGFyYSB0YW1iw6ltIHF1ZSBhIGVudHJlZ2EgZG8gZG9jdW1lbnRvIG7Do28gaW5mcmluZ2Ugb3MgZGlyZWl0b3MgZGUgb3V0cmEgcGVzc29hIG91IGVudGlkYWRlOwpmKSBEZWNsYXJhIHF1ZSwgbm8gY2FzbyBkbyBkb2N1bWVudG8gc3VibWV0aWRvIGNvbnRlciBtYXRlcmlhbCBkbyBxdWFsIG7Do28gZGV0w6ltIG9zIGRpcmVpdG9zIGRlCmF1dG9yLCBvYnRldmUgYSBhdXRvcml6YcOnw6NvIGlycmVzdHJpdGEgZG8gcmVzcGVjdGl2byBkZXRlbnRvciBkZXNzZXMgZGlyZWl0b3MgcGFyYSBjZWRlciDDoApVRlBFIG9zIGRpcmVpdG9zIHJlcXVlcmlkb3MgcG9yIGVzdGEgTGljZW7Dp2EgZSBhdXRvcml6YXIgYSB1bml2ZXJzaWRhZGUgYSB1dGlsaXrDoS1sb3MgbGVnYWxtZW50ZS4gRGVjbGFyYSB0YW1iw6ltIHF1ZSBlc3NlIG1hdGVyaWFsIGN1am9zIGRpcmVpdG9zIHPDo28gZGUgdGVyY2Vpcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIGUgcmVjb25oZWNpZG8gbm8gdGV4dG8gb3UgY29udGXDumRvIGRvIGRvY3VtZW50byBlbnRyZWd1ZTsKZykgU2UgbyBkb2N1bWVudG8gZW50cmVndWUgw6kgYmFzZWFkbyBlbSB0cmFiYWxobyBmaW5hbmNpYWRvIG91IGFwb2lhZG8gcG9yIG91dHJhIGluc3RpdHVpw6fDo28gcXVlIG7Do28gYSBVRlBFLMKgZGVjbGFyYSBxdWUgY3VtcHJpdSBxdWFpc3F1ZXIgb2JyaWdhw6fDtWVzIGV4aWdpZGFzIHBlbG8gcmVzcGVjdGl2byBjb250cmF0byBvdSBhY29yZG8uCgpBIFVGUEUgaWRlbnRpZmljYXLDoSBjbGFyYW1lbnRlIG8ocykgbm9tZShzKSBkbyhzKSBhdXRvciAoZXMpIGRvcyBkaXJlaXRvcyBkbyBkb2N1bWVudG8gZW50cmVndWUgZSBuw6NvIGZhcsOhIHF1YWxxdWVyIGFsdGVyYcOnw6NvLCBwYXJhIGFsw6ltIGRvIHByZXZpc3RvIG5hIGFsw61uZWEgYykuCg==Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212019-10-25T11:44:05Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false
dc.title.pt_BR.fl_str_mv An ontology to aid the goal-oriented requirements elicitation and specification for self-adaptive systems
title An ontology to aid the goal-oriented requirements elicitation and specification for self-adaptive systems
spellingShingle An ontology to aid the goal-oriented requirements elicitation and specification for self-adaptive systems
SOARES, Monique Conceição
Engenharia de software
Engenharia de requisitos
Ontologia
title_short An ontology to aid the goal-oriented requirements elicitation and specification for self-adaptive systems
title_full An ontology to aid the goal-oriented requirements elicitation and specification for self-adaptive systems
title_fullStr An ontology to aid the goal-oriented requirements elicitation and specification for self-adaptive systems
title_full_unstemmed An ontology to aid the goal-oriented requirements elicitation and specification for self-adaptive systems
title_sort An ontology to aid the goal-oriented requirements elicitation and specification for self-adaptive systems
author SOARES, Monique Conceição
author_facet SOARES, Monique Conceição
author_role author
dc.contributor.authorLattes.pt_BR.fl_str_mv http://lattes.cnpq.br/8677819470337873
dc.contributor.advisorLattes.pt_BR.fl_str_mv http://lattes.cnpq.br/0698164500481055
dc.contributor.author.fl_str_mv SOARES, Monique Conceição
dc.contributor.advisor1.fl_str_mv CASTRO, Jaelson Freire Brelaz de
dc.contributor.advisor-co1.fl_str_mv SCHUENEMANN, Carla Taciana Lima Lourenço Silva
contributor_str_mv CASTRO, Jaelson Freire Brelaz de
SCHUENEMANN, Carla Taciana Lima Lourenço Silva
dc.subject.por.fl_str_mv Engenharia de software
Engenharia de requisitos
Ontologia
topic Engenharia de software
Engenharia de requisitos
Ontologia
description SCHUENEMANN, Carla Taciana Lima Lourenço Silva, também é conhecida em citações bibliográficas por: SILVA, Carla Taciana Lima Lourenço
publishDate 2017
dc.date.issued.fl_str_mv 2017-09-11
dc.date.accessioned.fl_str_mv 2019-05-03T23:31:44Z
dc.date.available.fl_str_mv 2019-05-03T23:31:44Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio.ufpe.br/handle/123456789/30492
url https://repositorio.ufpe.br/handle/123456789/30492
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.publisher.program.fl_str_mv Programa de Pos Graduacao em Ciencia da Computacao
dc.publisher.initials.fl_str_mv UFPE
dc.publisher.country.fl_str_mv Brasil
publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPE
instname:Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
instname_str Universidade Federal de Pernambuco (UFPE)
instacron_str UFPE
institution UFPE
reponame_str Repositório Institucional da UFPE
collection Repositório Institucional da UFPE
bitstream.url.fl_str_mv https://repositorio.ufpe.br/bitstream/123456789/30492/5/TESE%20Monique%20Concei%c3%a7%c3%a3o%20Soares.pdf.jpg
https://repositorio.ufpe.br/bitstream/123456789/30492/1/TESE%20Monique%20Concei%c3%a7%c3%a3o%20Soares.pdf
https://repositorio.ufpe.br/bitstream/123456789/30492/2/license_rdf
https://repositorio.ufpe.br/bitstream/123456789/30492/3/license.txt
https://repositorio.ufpe.br/bitstream/123456789/30492/4/TESE%20Monique%20Concei%c3%a7%c3%a3o%20Soares.pdf.txt
bitstream.checksum.fl_str_mv 74d2e1990c789a1626c27cf52f1f957d
969ab3f938bec518ab0e71c8f7cb6ebc
e39d27027a6cc9cb039ad269a5db8e34
4b8a02c7f2818eaf00dcf2260dd5eb08
0f50c1bf18b074492814175e8310d6a6
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)
repository.mail.fl_str_mv attena@ufpe.br
_version_ 1797782265179144192