Please use this identifier to cite or link to this item:
http://hdl.handle.net/1843/SLBS-645J5W
Type: | Tese de Doutorado |
Title: | UML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônico |
Authors: | Mark Alan Junho Song |
First Advisor: | Sergio Vale Aguiar Campos |
First Referee: | Rodolfo Sergio F de Resende |
Second Referee: | Virgilio Augusto Fernandes Almeida |
Third Referee: | Wagner Meira Junior |
Abstract: | 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. |
Abstract: | 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. |
Subject: | Comércio eletrônico Computação Internet (Redes de computação) Sistemas transacionais (Computação) |
language: | Português |
Publisher: | Universidade Federal de Minas Gerais |
Publisher Initials: | UFMG |
Rights: | Acesso Aberto |
URI: | http://hdl.handle.net/1843/SLBS-645J5W |
Issue Date: | 16-Mar-2004 |
Appears in Collections: | Teses de Doutorado |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
mark_song.pdf | 485.02 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.