Transformação automática de modelos UML para modelos markovianos parametrizados

Detalhes bibliográficos
Autor(a) principal: Bernardes, Paula Aguiar de Vasconcelos Gueiros
Data de Publicação: 2015
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/13273
Resumo: Monografia (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015.
id UNB-2_d5f020a91b925548f9f58fd68e7835ff
oai_identifier_str oai:bdm.unb.br:10483/13273
network_acronym_str UNB-2
network_name_str Biblioteca Digital de Monografias da UnB
repository_id_str 11571
spelling Bernardes, Paula Aguiar de Vasconcelos GueirosAlves, Vander RamosBERNARDES, Paula Aguiar de Vasconcelos Gueiros. Transformação automática de modelos UML para modelos markovianos parametrizados. 2015. viii, 45 f., il. Monografia (Bacharelado em Ciência da Computação)—Universidade de Brasília, Brasília, 2015.http://bdm.unb.br/handle/10483/13273Monografia (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015.Na construção de produtos de software, é essencial a utilização de técnicas de verificação capazes de medir atributos de qualidade, para garantir que determinados padrões sejam alcançados. Dentre essas técnicas, se destaca o model checking, que recebe como entrada um modelo do sistema sob avaliação e a propriedade a ser avaliada; e verifica, de forma automática, se essa propriedade é satisfeita pelo modelo. No entanto, de maneira geral, a criação dos modelos utilizados nessa verificação ainda é feita manualmente e exige uma análise cuidadosa dos modelos comportamentais do sistema. Além disso, à medida que os produtos de software crescem, ela se torna mais trabalhosa e propensa a erros. Tendo em vista esse contexto, o presente trabalho visa solucionar o problema descrito através da automatização da transformação de modelos UML para modelos Markovianos parametrizados passíveis de análise. Para validar esse trabalho, serão considerados os casos da Beverage Machine e da BSN-SPL. ___________________________________________________________________________ ABSTRACTWhen building software products, the use of verification techniques capable of measuring quality attributes is essential, in order to ensure that certain standards be met. Among these techniques, we emphasize model checking, which takes as input a model of the system under analysis and the property to be evaluated; and verifies, automatically, if this property is satisfied by the model. However, in general, models used in this type of verification are still built manually, which requires careful consideration of the system’s behavioral models. Moreover, as software products grow, this task requires more effort and becomes more error prone. Given this context, this work aims to solve the described issue by automating the transformation of UML models to parameterized Markov models that can be analyzed. To validate this work, the Beverage Machine and BSN-SPL cases will be considered.Submitted by Nayara Silva (nayarasilva@bce.unb.br) on 2016-05-23T16:49:44Z No. of bitstreams: 1 2015_PaulaAguiardeVasconcelosGueirosBernardes.pdf: 1459423 bytes, checksum: 7ca0468981549820c4819956ca88b935 (MD5)Approved for entry into archive by Luanna Maia(luanna@bce.unb.br) on 2016-06-03T11:57:30Z (GMT) No. of bitstreams: 1 2015_PaulaAguiardeVasconcelosGueirosBernardes.pdf: 1459423 bytes, checksum: 7ca0468981549820c4819956ca88b935 (MD5)Made available in DSpace on 2016-06-03T11:57:30Z (GMT). No. of bitstreams: 1 2015_PaulaAguiardeVasconcelosGueirosBernardes.pdf: 1459423 bytes, checksum: 7ca0468981549820c4819956ca88b935 (MD5)UML (Computação)Software - desenvolvimentoTransformação automática de modelos UML para modelos markovianos parametrizadosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis2016-06-03T11:57:30Z2016-06-03T11:57:30Z2016-06-03T11:57:30Z2015-06-01info:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Monografias da UnBinstname:Universidade de Brasília (UnB)instacron:UNBORIGINAL2015_PaulaAguiardeVasconcelosGueirosBernardes.pdf2015_PaulaAguiardeVasconcelosGueirosBernardes.pdfapplication/pdf1459423http://bdm.unb.br/xmlui/bitstream/10483/13273/1/2015_PaulaAguiardeVasconcelosGueirosBernardes.pdf7ca0468981549820c4819956ca88b935MD51CC-LICENSElicense_urllicense_urltext/plain46http://bdm.unb.br/xmlui/bitstream/10483/13273/2/license_url587cd8ffae15c8598ed3c46d248a3f38MD52license_textlicense_textapplication/octet-stream0http://bdm.unb.br/xmlui/bitstream/10483/13273/3/license_textd41d8cd98f00b204e9800998ecf8427eMD53license_rdflicense_rdfapplication/octet-stream21267http://bdm.unb.br/xmlui/bitstream/10483/13273/4/license_rdf73e23c2acaaf13389e092bd813e3223dMD54LICENSElicense.txtlicense.txttext/plain1847http://bdm.unb.br/xmlui/bitstream/10483/13273/5/license.txt8e4697ecb26146b78af32a3dd0041358MD5510483/132732016-06-03 08:57:30.564oai:bdm.unb.br:10483/13273TGljZW5zZSBncmFudGVkIGJ5IE5heWFyYSBTaWx2YSAobmF5YXJhc2lsdmFAYmNlLnVuYi5icikgb24gMjAxNi0wNS0yM1QxNjo0OTo0NFogKEdNVCk6CgrDiSBuZWNlc3PDoXJpbyBjb25jb3JkYXIgY29tIGEgbGljZW7Dp2EgZGUgZGlzdHJpYnVpw6fDo28gbsOjby1leGNsdXNpdmEsCmFudGVzIHF1ZSBvIGRvY3VtZW50byBwb3NzYSBhcGFyZWNlciBubyBSZXBvc2l0w7NyaW8uIFBvciBmYXZvciwgbGVpYSBhCmxpY2Vuw6dhIGF0ZW50YW1lbnRlLiBDYXNvIG5lY2Vzc2l0ZSBkZSBhbGd1bSBlc2NsYXJlY2ltZW50byBlbnRyZSBlbQpjb250YXRvIGF0cmF2w6lzIGRlOiBiZG1AYmNlLnVuYi5iciBvdSAzMTA3LTI2ODcuCgpMSUNFTsOHQSBERSBESVNUUklCVUnDh8ODTyBOw4NPLUVYQ0xVU0lWQQoKQW8gYXNzaW5hciBlIGVudHJlZ2FyIGVzdGEgbGljZW7Dp2EsIG8vYSBTci4vU3JhLiAoYXV0b3Igb3UgZGV0ZW50b3IgZG9zCmRpcmVpdG9zIGRlIGF1dG9yKToKCmEpIENvbmNlZGUgw6AgVW5pdmVyc2lkYWRlIGRlIEJyYXPDrWxpYSBvIGRpcmVpdG8gbsOjby1leGNsdXNpdm8gZGUKcmVwcm9kdXppciwgY29udmVydGVyIChjb21vIGRlZmluaWRvIGFiYWl4byksIGNvbXVuaWNhciBlL291CmRpc3RyaWJ1aXIgbyBkb2N1bWVudG8gZW50cmVndWUgKGluY2x1aW5kbyBvIHJlc3Vtby9hYnN0cmFjdCkgZW0KZm9ybWF0byBkaWdpdGFsIG91IGltcHJlc3NvIGUgZW0gcXVhbHF1ZXIgbWVpby4KCmIpIERlY2xhcmEgcXVlIG8gZG9jdW1lbnRvIGVudHJlZ3VlIMOpIHNldSB0cmFiYWxobyBvcmlnaW5hbCwgZSBxdWUKZGV0w6ltIG8gZGlyZWl0byBkZSBjb25jZWRlciBvcyBkaXJlaXRvcyBjb250aWRvcyBuZXN0YSBsaWNlbsOnYS4gRGVjbGFyYQp0YW1iw6ltIHF1ZSBhIGVudHJlZ2EgZG8gZG9jdW1lbnRvIG7Do28gaW5mcmluZ2UsIHRhbnRvIHF1YW50byBsaGUgw6kKcG9zc8OtdmVsIHNhYmVyLCBvcyBkaXJlaXRvcyBkZSBxdWFscXVlciBvdXRyYSBwZXNzb2Egb3UgZW50aWRhZGUuCgpjKSBTZSBvIGRvY3VtZW50byBlbnRyZWd1ZSBjb250w6ltIG1hdGVyaWFsIGRvIHF1YWwgbsOjbyBkZXTDqW0gb3MKZGlyZWl0b3MgZGUgYXV0b3IsIGRlY2xhcmEgcXVlIG9idGV2ZSBhdXRvcml6YcOnw6NvIGRvIGRldGVudG9yIGRvcwpkaXJlaXRvcyBkZSBhdXRvciBwYXJhIGNvbmNlZGVyIMOgIFVuaXZlcnNpZGFkZSBkZSBCcmFzw61saWEgb3MgZGlyZWl0b3MKcmVxdWVyaWRvcyBwb3IgZXN0YSBsaWNlbsOnYSwgZSBxdWUgZXNzZSBtYXRlcmlhbCBjdWpvcyBkaXJlaXRvcyBzw6NvIGRlCnRlcmNlaXJvcyBlc3TDoSBjbGFyYW1lbnRlIGlkZW50aWZpY2FkbyBlIHJlY29uaGVjaWRvIG5vIHRleHRvIG91CmNvbnRlw7pkbyBkbyBkb2N1bWVudG8gZW50cmVndWUuCgpTZSBvIGRvY3VtZW50byBlbnRyZWd1ZSDDqSBiYXNlYWRvIGVtIHRyYWJhbGhvIGZpbmFuY2lhZG8gb3UgYXBvaWFkbwpwb3Igb3V0cmEgaW5zdGl0dWnDp8OjbyBxdWUgbsOjbyBhIFVuaXZlcnNpZGFkZSBkZSBCcmFzw61saWEsIGRlY2xhcmEgcXVlCmN1bXByaXUgcXVhaXNxdWVyIG9icmlnYcOnw7VlcyBleGlnaWRhcyBwZWxvIHJlc3BlY3Rpdm8gY29udHJhdG8gb3UKYWNvcmRvLgoKQSBVbml2ZXJzaWRhZGUgZGUgQnJhc8OtbGlhIGlkZW50aWZpY2Fyw6EgY2xhcmFtZW50ZSBvKHMpIHNldSAocykgbm9tZSAocykKY29tbyBvIChzKSBhdXRvciAoZXMpIG91IGRldGVudG9yIChlcykgZG9zIGRpcmVpdG9zIGRvIGRvY3VtZW50bwplbnRyZWd1ZSwgZSBuw6NvIGZhcsOhIHF1YWxxdWVyIGFsdGVyYcOnw6NvLCBwYXJhIGFsw6ltIGRhcyBwZXJtaXRpZGFzIHBvcgplc3RhIGxpY2Vuw6dhLgo=Biblioteca Digital de Monografiahttps://bdm.unb.br/PUBhttp://bdm.unb.br/oai/requestbdm@bce.unb.br||patricia@bce.unb.bropendoar:115712016-06-03T11:57:30Biblioteca Digital de Monografias da UnB - Universidade de Brasília (UnB)false
dc.title.en.fl_str_mv Transformação automática de modelos UML para modelos markovianos parametrizados
title Transformação automática de modelos UML para modelos markovianos parametrizados
spellingShingle Transformação automática de modelos UML para modelos markovianos parametrizados
Bernardes, Paula Aguiar de Vasconcelos Gueiros
UML (Computação)
Software - desenvolvimento
title_short Transformação automática de modelos UML para modelos markovianos parametrizados
title_full Transformação automática de modelos UML para modelos markovianos parametrizados
title_fullStr Transformação automática de modelos UML para modelos markovianos parametrizados
title_full_unstemmed Transformação automática de modelos UML para modelos markovianos parametrizados
title_sort Transformação automática de modelos UML para modelos markovianos parametrizados
author Bernardes, Paula Aguiar de Vasconcelos Gueiros
author_facet Bernardes, Paula Aguiar de Vasconcelos Gueiros
author_role author
dc.contributor.author.fl_str_mv Bernardes, Paula Aguiar de Vasconcelos Gueiros
dc.contributor.advisor1.fl_str_mv Alves, Vander Ramos
contributor_str_mv Alves, Vander Ramos
dc.subject.keyword.en.fl_str_mv UML (Computação)
Software - desenvolvimento
topic UML (Computação)
Software - desenvolvimento
description Monografia (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015.
publishDate 2015
dc.date.submitted.none.fl_str_mv 2015-06-01
dc.date.accessioned.fl_str_mv 2016-06-03T11:57:30Z
dc.date.available.fl_str_mv 2016-06-03T11:57:30Z
dc.date.issued.fl_str_mv 2016-06-03T11:57:30Z
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 BERNARDES, Paula Aguiar de Vasconcelos Gueiros. Transformação automática de modelos UML para modelos markovianos parametrizados. 2015. viii, 45 f., il. Monografia (Bacharelado em Ciência da Computação)—Universidade de Brasília, Brasília, 2015.
dc.identifier.uri.fl_str_mv http://bdm.unb.br/handle/10483/13273
identifier_str_mv BERNARDES, Paula Aguiar de Vasconcelos Gueiros. Transformação automática de modelos UML para modelos markovianos parametrizados. 2015. viii, 45 f., il. Monografia (Bacharelado em Ciência da Computação)—Universidade de Brasília, Brasília, 2015.
url http://bdm.unb.br/handle/10483/13273
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/13273/1/2015_PaulaAguiardeVasconcelosGueirosBernardes.pdf
http://bdm.unb.br/xmlui/bitstream/10483/13273/2/license_url
http://bdm.unb.br/xmlui/bitstream/10483/13273/3/license_text
http://bdm.unb.br/xmlui/bitstream/10483/13273/4/license_rdf
http://bdm.unb.br/xmlui/bitstream/10483/13273/5/license.txt
bitstream.checksum.fl_str_mv 7ca0468981549820c4819956ca88b935
587cd8ffae15c8598ed3c46d248a3f38
d41d8cd98f00b204e9800998ecf8427e
73e23c2acaaf13389e092bd813e3223d
8e4697ecb26146b78af32a3dd0041358
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_ 1813907878058131456