An ontology to aid the goal-oriented requirements elicitation and specification for self-adaptive systems
Autor(a) principal: | |
---|---|
Data de Publicação: | 2017 |
Tipo de documento: | Tese |
Idioma: | eng |
Título da fonte: | Repositório Institucional da UFPE |
Texto Completo: | 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 |
2221 |
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_ |
1802310633555755008 |