Conversão de modelo orientado a objetivos para planejador automatizado baseado em redes de tarefas hierárquicas

Detalhes bibliográficos
Autor(a) principal: Barros, Allisson Matheus de Rezende
Data de Publicação: 2017
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Biblioteca Digital de Monografias da UnB
Texto Completo: http://bdm.unb.br/handle/10483/19146
Resumo: Trabalho de Conclusão de Curso (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2017.
id UNB-2_9c8e9447468ccda8efec29990e87d4d8
oai_identifier_str oai:bdm.unb.br:10483/19146
network_acronym_str UNB-2
network_name_str Biblioteca Digital de Monografias da UnB
repository_id_str 11571
spelling Barros, Allisson Matheus de RezendeRalha, Célia GhediniBARROS, Allisson Matheus de Rezende. Conversão de modelo orientado a objetivos para planejador automatizado baseado em redes de tarefas hierárquicas. 2017. xi, 85 f., il. Trabalho de Conclusão de Curso (Bacharelado em Ciência da Computação)—Universidade de Brasília, Brasília, 2017.http://bdm.unb.br/handle/10483/19146Trabalho de Conclusão de Curso (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2017.O desenvolvimento de software é imprescindível à sociedade e permeado de vários contextos. Entre eles, destaca-se o contexto da Engenharia de Requisitos (ER), como a etapa inicial no projeto de software. Para tanto, abordagens, conceitos e ferramentas são empregados, de forma a garantir a qualidade do software a ser desenvolvido. Em outro contexto, insere-se a Inteligência Artificial, como um caminho alternativo à definição e solução de problemas. Dessa forma, é possível conjugar conhecimentos das duas áreas, a fim de criar modelos e ferramentas capazes de agregar conhecimento e qualidade ao processo de especificação de software. Este trabalho apresenta uma proposta de solução para a conversão entres os elementos desses domínios. Essa conversão visa oferecer uma nova forma de avaliação e análise dos modelos de requisitos através do Planejamento Automatizado. Utilizando como ferramenta de modelagem o framework Goal Oriented Dependability Analysis (GODA), que implementa a análise de requisitos orientados à objetivos e como planejador o Pyhop, que implementa a abordagem Hierarchical Task Networks (HTN) como formalização de domínios e problemas de planejamento, esse trabalho é ilustrado por um protótipo implementado utilizando as linguagens de programação Java e Python a fim de integrar as duas ferramentas citadas, representando na prática o modelo de conversão proposto. Para atestar a adequação do modelo e a implementação do protótipo, foram concebidos quatro experimentos, sendo um deles aplicado a um cenário real.Submitted by Ruthlea Nascimento (ruthlea.nascimento@gmail.com) on 2018-01-19T19:55:44Z No. of bitstreams: 3 license_text: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) 2017_AllisonMatheusdeRezendeBarros.pdf: 3482857 bytes, checksum: 2a98698f0227e78aaab3f8b6f506753f (MD5)Approved for entry into archive by Ruthlea Nascimento (ruthlea.nascimento@gmail.com) on 2018-01-22T18:33:29Z (GMT) No. of bitstreams: 3 license_text: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) 2017_AllisonMatheusdeRezendeBarros.pdf: 3482857 bytes, checksum: 2a98698f0227e78aaab3f8b6f506753f (MD5)Made available in DSpace on 2018-01-22T18:33:29Z (GMT). No. of bitstreams: 3 license_text: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) 2017_AllisonMatheusdeRezendeBarros.pdf: 3482857 bytes, checksum: 2a98698f0227e78aaab3f8b6f506753f (MD5)The development of software is indispensable to society and filled with many different aspects. Between those, the context of Software Engineering stands out, as the initial phase on designing software. Therefore, aiming to achieve quality, different approaches, concepts and tools are adopted. In another context, Artificial Intelligence is employed as another form of achieving solutions to defined problems. Thus, it is possible to bind knowledge form both areas of study, with the intent to create models and tools capable of increasing quality on the process of software specification. This research aims at proposing a solution to translate elements between this two domains. This form of conversion is displayed as a new approach on evaluation and analysis of software requirements through Automated Planning. By adopting, as a modeling tool, the Goal Oriented Dependability Analysis (GODA) framework, which implements goal oriented requirements analysis and, as a planner, Pyhop, which implements Hierarchical Task Networks (HTN) as a formalization of planning problems and domains, this work is illustrated with a prototype, developed in Java and Python programming languages, as a composition of the tools mentioned and as a practical representation of the concepts proposed. Lastly, as a way of attesting the adequacy of the model and the correct implementation of the prototype, four different experiments were conceived, including a real life scenery.Engenharia de requisitosSoftware - desenvolvimentoInteligência artificialConversão de modelo orientado a objetivos para planejador automatizado baseado em redes de tarefas hierárquicasinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis2018-01-22T18:33:29Z2018-01-22T18:33:29Z2017info:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Monografias da UnBinstname:Universidade de Brasília (UnB)instacron:UNBCC-LICENSElicense_urllicense_urltext/plain49http://bdm.unb.br/xmlui/bitstream/10483/19146/2/license_url4afdbb8c545fd630ea7db775da747b2fMD52license_textlicense_textapplication/octet-stream0http://bdm.unb.br/xmlui/bitstream/10483/19146/3/license_textd41d8cd98f00b204e9800998ecf8427eMD53license_rdflicense_rdfapplication/octet-stream0http://bdm.unb.br/xmlui/bitstream/10483/19146/4/license_rdfd41d8cd98f00b204e9800998ecf8427eMD54LICENSElicense.txtlicense.txttext/plain1817http://bdm.unb.br/xmlui/bitstream/10483/19146/5/license.txt21554873e56ad8ddc69c092699b98f95MD55ORIGINAL2017_AllisonMatheusdeRezendeBarros.pdf2017_AllisonMatheusdeRezendeBarros.pdfapplication/pdf3482857http://bdm.unb.br/xmlui/bitstream/10483/19146/1/2017_AllisonMatheusdeRezendeBarros.pdf2a98698f0227e78aaab3f8b6f506753fMD5110483/191462020-01-30 09:05:20.279oai:bdm.unb.br:10483/19146w4kgbmVjZXNzw6FyaW8gY29uY29yZGFyIGNvbSBhIGxpY2Vuw6dhIGRlIGRpc3RyaWJ1acOnw6NvIG7Do28tZXhjbHVzaXZhLAphbnRlcyBxdWUgbyBkb2N1bWVudG8gcG9zc2EgYXBhcmVjZXIgbmEgQmlibGlvdGVjYSBEaWdpdGFsIGRhIFByb2R1w6fDo28gCkRpc2NlbnRlIGRhIFVuaXZlcnNpZGFkZSBkZSBCcmFzw61saWEuIFBvciBmYXZvciwgbGVpYSBhCmxpY2Vuw6dhIGF0ZW50YW1lbnRlLiBDYXNvIG5lY2Vzc2l0ZSBkZSBhbGd1bSBlc2NsYXJlY2ltZW50byBlbnRyZSBlbQpjb250YXRvIGF0cmF2w6lzIGRlOiBiZG1AYmNlLnVuYi5iciBvdSAzMTA3LTI2ODcuCgpMSUNFTsOHQSBERSBESVNUUklCVUnDh8ODTyBOw4NPLUVYQ0xVU0lWQQoKQW8gYXNzaW5hciBlIGVudHJlZ2FyIGVzdGEgbGljZW7Dp2EsIG8vYSBTci4vU3JhLiAoYXV0b3Igb3UgZGV0ZW50b3IgZG9zCmRpcmVpdG9zIGRlIGF1dG9yKToKCmEpIENvbmNlZGUgw6AgVW5pdmVyc2lkYWRlIGRlIEJyYXPDrWxpYSBvIGRpcmVpdG8gbsOjby1leGNsdXNpdm8gZGUKcmVwcm9kdXppciwgY29udmVydGVyIChjb21vIGRlZmluaWRvIGFiYWl4byksIGNvbXVuaWNhciBlL291CmRpc3RyaWJ1aXIgbyBkb2N1bWVudG8gZW50cmVndWUgKGluY2x1aW5kbyBvIHJlc3Vtby9hYnN0cmFjdCkgZW0KZm9ybWF0byBkaWdpdGFsIG91IGltcHJlc3NvIGUgZW0gcXVhbHF1ZXIgbWVpby4KCmIpIERlY2xhcmEgcXVlIG8gZG9jdW1lbnRvIGVudHJlZ3VlIMOpIHNldSB0cmFiYWxobyBvcmlnaW5hbCwgZSBxdWUKZGV0w6ltIG8gZGlyZWl0byBkZSBjb25jZWRlciBvcyBkaXJlaXRvcyBjb250aWRvcyBuZXN0YSBsaWNlbsOnYS4gRGVjbGFyYQp0YW1iw6ltIHF1ZSBhIGVudHJlZ2EgZG8gZG9jdW1lbnRvIG7Do28gaW5mcmluZ2UsIHRhbnRvIHF1YW50byBsaGUgw6kKcG9zc8OtdmVsIHNhYmVyLCBvcyBkaXJlaXRvcyBkZSBxdWFscXVlciBvdXRyYSBwZXNzb2Egb3UgZW50aWRhZGUuCgpjKSBTZSBvIGRvY3VtZW50byBlbnRyZWd1ZSBjb250w6ltIG1hdGVyaWFsIGRvIHF1YWwgbsOjbyBkZXTDqW0gb3MKZGlyZWl0b3MgZGUgYXV0b3IsIGRlY2xhcmEgcXVlIG9idGV2ZSBhdXRvcml6YcOnw6NvIGRvIGRldGVudG9yIGRvcwpkaXJlaXRvcyBkZSBhdXRvciBwYXJhIGNvbmNlZGVyIMOgIFVuaXZlcnNpZGFkZSBkZSBCcmFzw61saWEgb3MgZGlyZWl0b3MKcmVxdWVyaWRvcyBwb3IgZXN0YSBsaWNlbsOnYSwgZSBxdWUgZXNzZSBtYXRlcmlhbCBjdWpvcyBkaXJlaXRvcyBzw6NvIGRlCnRlcmNlaXJvcyBlc3TDoSBjbGFyYW1lbnRlIGlkZW50aWZpY2FkbyBlIHJlY29uaGVjaWRvIG5vIHRleHRvIG91CmNvbnRlw7pkbyBkbyBkb2N1bWVudG8gZW50cmVndWUuCgpTZSBvIGRvY3VtZW50byBlbnRyZWd1ZSDDqSBiYXNlYWRvIGVtIHRyYWJhbGhvIGZpbmFuY2lhZG8gb3UgYXBvaWFkbwpwb3Igb3V0cmEgaW5zdGl0dWnDp8OjbyBxdWUgbsOjbyBhIFVuaXZlcnNpZGFkZSBkZSBCcmFzw61saWEsIGRlY2xhcmEgcXVlCmN1bXByaXUgcXVhaXNxdWVyIG9icmlnYcOnw7VlcyBleGlnaWRhcyBwZWxvIHJlc3BlY3Rpdm8gY29udHJhdG8gb3UKYWNvcmRvLgoKQSBVbml2ZXJzaWRhZGUgZGUgQnJhc8OtbGlhIGlkZW50aWZpY2Fyw6EgY2xhcmFtZW50ZSBvKHMpIHNldSAocykgbm9tZSAocykKY29tbyBvIChzKSBhdXRvciAoZXMpIG91IGRldGVudG9yIChlcykgZG9zIGRpcmVpdG9zIGRvIGRvY3VtZW50bwplbnRyZWd1ZSwgZSBuw6NvIGZhcsOhIHF1YWxxdWVyIGFsdGVyYcOnw6NvLCBwYXJhIGFsw6ltIGRhcyBwZXJtaXRpZGFzIHBvcgplc3RhIGxpY2Vuw6dhLgo=Biblioteca Digital de Monografiahttps://bdm.unb.br/PUBhttp://bdm.unb.br/oai/requestbdm@bce.unb.br||patricia@bce.unb.bropendoar:115712020-01-30T11:05:20Biblioteca Digital de Monografias da UnB - Universidade de Brasília (UnB)false
dc.title.pt_BR.fl_str_mv Conversão de modelo orientado a objetivos para planejador automatizado baseado em redes de tarefas hierárquicas
title Conversão de modelo orientado a objetivos para planejador automatizado baseado em redes de tarefas hierárquicas
spellingShingle Conversão de modelo orientado a objetivos para planejador automatizado baseado em redes de tarefas hierárquicas
Barros, Allisson Matheus de Rezende
Engenharia de requisitos
Software - desenvolvimento
Inteligência artificial
title_short Conversão de modelo orientado a objetivos para planejador automatizado baseado em redes de tarefas hierárquicas
title_full Conversão de modelo orientado a objetivos para planejador automatizado baseado em redes de tarefas hierárquicas
title_fullStr Conversão de modelo orientado a objetivos para planejador automatizado baseado em redes de tarefas hierárquicas
title_full_unstemmed Conversão de modelo orientado a objetivos para planejador automatizado baseado em redes de tarefas hierárquicas
title_sort Conversão de modelo orientado a objetivos para planejador automatizado baseado em redes de tarefas hierárquicas
author Barros, Allisson Matheus de Rezende
author_facet Barros, Allisson Matheus de Rezende
author_role author
dc.contributor.author.fl_str_mv Barros, Allisson Matheus de Rezende
dc.contributor.advisor1.fl_str_mv Ralha, Célia Ghedini
contributor_str_mv Ralha, Célia Ghedini
dc.subject.keyword.pt_BR.fl_str_mv Engenharia de requisitos
Software - desenvolvimento
Inteligência artificial
topic Engenharia de requisitos
Software - desenvolvimento
Inteligência artificial
description Trabalho de Conclusão de Curso (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2017.
publishDate 2017
dc.date.submitted.none.fl_str_mv 2017
dc.date.accessioned.fl_str_mv 2018-01-22T18:33:29Z
dc.date.available.fl_str_mv 2018-01-22T18:33:29Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv BARROS, Allisson Matheus de Rezende. Conversão de modelo orientado a objetivos para planejador automatizado baseado em redes de tarefas hierárquicas. 2017. xi, 85 f., il. Trabalho de Conclusão de Curso (Bacharelado em Ciência da Computação)—Universidade de Brasília, Brasília, 2017.
dc.identifier.uri.fl_str_mv http://bdm.unb.br/handle/10483/19146
identifier_str_mv BARROS, Allisson Matheus de Rezende. Conversão de modelo orientado a objetivos para planejador automatizado baseado em redes de tarefas hierárquicas. 2017. xi, 85 f., il. Trabalho de Conclusão de Curso (Bacharelado em Ciência da Computação)—Universidade de Brasília, Brasília, 2017.
url http://bdm.unb.br/handle/10483/19146
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Monografias da UnB
instname:Universidade de Brasília (UnB)
instacron:UNB
instname_str Universidade de Brasília (UnB)
instacron_str UNB
institution UNB
reponame_str Biblioteca Digital de Monografias da UnB
collection Biblioteca Digital de Monografias da UnB
bitstream.url.fl_str_mv http://bdm.unb.br/xmlui/bitstream/10483/19146/2/license_url
http://bdm.unb.br/xmlui/bitstream/10483/19146/3/license_text
http://bdm.unb.br/xmlui/bitstream/10483/19146/4/license_rdf
http://bdm.unb.br/xmlui/bitstream/10483/19146/5/license.txt
http://bdm.unb.br/xmlui/bitstream/10483/19146/1/2017_AllisonMatheusdeRezendeBarros.pdf
bitstream.checksum.fl_str_mv 4afdbb8c545fd630ea7db775da747b2f
d41d8cd98f00b204e9800998ecf8427e
d41d8cd98f00b204e9800998ecf8427e
21554873e56ad8ddc69c092699b98f95
2a98698f0227e78aaab3f8b6f506753f
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Monografias da UnB - Universidade de Brasília (UnB)
repository.mail.fl_str_mv bdm@bce.unb.br||patricia@bce.unb.br
_version_ 1839084876246024192

Registros relacionados