Transformação automática de modelos UML para modelos markovianos parametrizados
Autor(a) principal: | |
---|---|
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 |