UML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônico

Detalhes bibliográficos
Autor(a) principal: Mark Alan Junho Song
Data de Publicação: 2004
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFMG
Texto Completo: http://hdl.handle.net/1843/SLBS-645J5W
Resumo: Na última década, com o crescimento exponencial da Internet, disponibilizou-se uma infra-estrutura computacional que possibilitou o surgimento de novas aplicações distribuídas. Neste cenário, sistemas baseados na Web despontaram como uma das aplicações mais promissoras da rede. Entretanto, o projeto e desenvolvimento de sistemas Web tem-se revelado um desafio constante para os profissionais de Informática. Essa dificuldade vem da variedade dos serviços, da complexidade dos sistemas, dos seus componentes, e das interações entre eles. O uso de uma abordagem sistemática e de ampla aplicação é fundamental, neste contexto, para que se garanta a correção e robustez destes sistemas. O objetivo deste trabalho foi propor e implementar um ambiente para a especificação, projeto e verificação de sistemas baseados na Web utilizando técnicas de verificação simbólica de modelos.
id UFMG_be9ac597d896e04e25d27a6feec2f8a0
oai_identifier_str oai:repositorio.ufmg.br:1843/SLBS-645J5W
network_acronym_str UFMG
network_name_str Repositório Institucional da UFMG
repository_id_str
spelling Sergio Vale Aguiar CamposRodolfo Sergio F de ResendeVirgilio Augusto Fernandes AlmeidaWagner Meira JuniorMark Alan Junho Song2019-08-10T13:27:22Z2019-08-10T13:27:22Z2004-03-16http://hdl.handle.net/1843/SLBS-645J5WNa última década, com o crescimento exponencial da Internet, disponibilizou-se uma infra-estrutura computacional que possibilitou o surgimento de novas aplicações distribuídas. Neste cenário, sistemas baseados na Web despontaram como uma das aplicações mais promissoras da rede. Entretanto, o projeto e desenvolvimento de sistemas Web tem-se revelado um desafio constante para os profissionais de Informática. Essa dificuldade vem da variedade dos serviços, da complexidade dos sistemas, dos seus componentes, e das interações entre eles. O uso de uma abordagem sistemática e de ampla aplicação é fundamental, neste contexto, para que se garanta a correção e robustez destes sistemas. O objetivo deste trabalho foi propor e implementar um ambiente para a especificação, projeto e verificação de sistemas baseados na Web utilizando técnicas de verificação simbólica de modelos.Since the last decade the internet has been growing exponentially. As a new computational infra-structure has became available, new distributed applications which were previously too expensive or too complex have become common. E-commerce systems, for example, has simplified the access to goods and services and has revolutionized the economy as a whole. However, web applications tends to generate complex systems. As new services are created, the frequency with which errors appear has increased significantly. Besides, ensuring the correctness of the software design at the earliest stage, a problem known as design validation, is still a major challenge in any system development process. The most popular methods for design validation are still the techniques of simulation and testing. Although effective in the early stages of debugging, their effectiveness drops quickly as the design becomes cleaner. New approaches can be used in order to improve the quality of the software and to guarantee the integrity of critical systems. Formal Methods is one such approach. Unfortunately, it is not a simple task to apply them. Acquiring a level of expertise can represent an obstacle to their adoption in the software development process. Usually, to build a complex system the developer abstracts different views of it, builds models using some notation, verifies that the models satisfy the requirements, and gradually adds details to transform the models into an implementation. In this context, an unified notation plays an important role once a symbol can mean different things to different people. UML-CAFE is an environment that aggregates a model checking approach, an unified modeling language, a set of transformation patterns, and a methodology to specify and automatically verify transactional applications. Using the proposed environment the designer is able to automatically identify errors in early stages of the software development and correct them before they propagate to later stages. Thus, it is possible to generate more reliable applications which is developed faster and at low costs.Universidade Federal de Minas GeraisUFMGComércio eletrônicoComputaçãoInternet (Redes de computação)Sistemas transacionais (Computação)Comércio eletrônicoVerificaçãoUML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônicoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGORIGINALmark_song.pdfapplication/pdf496662https://repositorio.ufmg.br/bitstream/1843/SLBS-645J5W/1/mark_song.pdf39fd4d6c2a608a90faa7d4cb97565582MD51TEXTmark_song.pdf.txtmark_song.pdf.txtExtracted texttext/plain257170https://repositorio.ufmg.br/bitstream/1843/SLBS-645J5W/2/mark_song.pdf.txt7e356c353879b46e281ff9c69150d864MD521843/SLBS-645J5W2019-11-14 09:52:29.142oai:repositorio.ufmg.br:1843/SLBS-645J5WRepositório de PublicaçõesPUBhttps://repositorio.ufmg.br/oaiopendoar:2019-11-14T12:52:29Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
dc.title.pt_BR.fl_str_mv UML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônico
title UML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônico
spellingShingle UML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônico
Mark Alan Junho Song
Comércio eletrônico
Verificação
Comércio eletrônico
Computação
Internet (Redes de computação)
Sistemas transacionais (Computação)
title_short UML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônico
title_full UML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônico
title_fullStr UML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônico
title_full_unstemmed UML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônico
title_sort UML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônico
author Mark Alan Junho Song
author_facet Mark Alan Junho Song
author_role author
dc.contributor.advisor1.fl_str_mv Sergio Vale Aguiar Campos
dc.contributor.referee1.fl_str_mv Rodolfo Sergio F de Resende
dc.contributor.referee2.fl_str_mv Virgilio Augusto Fernandes Almeida
dc.contributor.referee3.fl_str_mv Wagner Meira Junior
dc.contributor.author.fl_str_mv Mark Alan Junho Song
contributor_str_mv Sergio Vale Aguiar Campos
Rodolfo Sergio F de Resende
Virgilio Augusto Fernandes Almeida
Wagner Meira Junior
dc.subject.por.fl_str_mv Comércio eletrônico
Verificação
topic Comércio eletrônico
Verificação
Comércio eletrônico
Computação
Internet (Redes de computação)
Sistemas transacionais (Computação)
dc.subject.other.pt_BR.fl_str_mv Comércio eletrônico
Computação
Internet (Redes de computação)
Sistemas transacionais (Computação)
description Na última década, com o crescimento exponencial da Internet, disponibilizou-se uma infra-estrutura computacional que possibilitou o surgimento de novas aplicações distribuídas. Neste cenário, sistemas baseados na Web despontaram como uma das aplicações mais promissoras da rede. Entretanto, o projeto e desenvolvimento de sistemas Web tem-se revelado um desafio constante para os profissionais de Informática. Essa dificuldade vem da variedade dos serviços, da complexidade dos sistemas, dos seus componentes, e das interações entre eles. O uso de uma abordagem sistemática e de ampla aplicação é fundamental, neste contexto, para que se garanta a correção e robustez destes sistemas. O objetivo deste trabalho foi propor e implementar um ambiente para a especificação, projeto e verificação de sistemas baseados na Web utilizando técnicas de verificação simbólica de modelos.
publishDate 2004
dc.date.issued.fl_str_mv 2004-03-16
dc.date.accessioned.fl_str_mv 2019-08-10T13:27:22Z
dc.date.available.fl_str_mv 2019-08-10T13:27:22Z
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 http://hdl.handle.net/1843/SLBS-645J5W
url http://hdl.handle.net/1843/SLBS-645J5W
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.publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.publisher.initials.fl_str_mv UFMG
publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFMG
instname:Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
instname_str Universidade Federal de Minas Gerais (UFMG)
instacron_str UFMG
institution UFMG
reponame_str Repositório Institucional da UFMG
collection Repositório Institucional da UFMG
bitstream.url.fl_str_mv https://repositorio.ufmg.br/bitstream/1843/SLBS-645J5W/1/mark_song.pdf
https://repositorio.ufmg.br/bitstream/1843/SLBS-645J5W/2/mark_song.pdf.txt
bitstream.checksum.fl_str_mv 39fd4d6c2a608a90faa7d4cb97565582
7e356c353879b46e281ff9c69150d864
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)
repository.mail.fl_str_mv
_version_ 1803589579325833216

Registros relacionados