Made available in DSpace on 2014-12-17T15:48:09Z (GMT). No. of bitstreams: 1
SarahRRS_DISSERT.pdf: 1954614 bytes, checksum: ba3eee36fc3f3f1030a71fa2ad2f605a (MD5)
Previous issue date: 2013-12-13 / Universidade Federal do Rio Grande do Norte / The component-based development of systems revolutionized the software development
process, facilitating the maintenance, providing more confiability and reuse. Nevertheless,
even with all the advantages of the development of components, their composition is an
important concern. The verification through informal tests is not enough to achieve a
safe composition, because they are not based on formal semantic models with which we
are able to describe precisally a system s behaviour. In this context, formal methods
provide ways to accurately specify systems through mathematical notations providing,
among other benefits, more safety. The formal method CSP enables the specification
of concurrent systems and verification of properties intrinsic to them, as well as the
refinement among different models. Some approaches apply constraints using CSP,
to check the behavior of composition between components, assisting in the verification
of those components in advance. Hence, aiming to assist this process, considering
that the software market increasingly requires more automation, reducing work and
providing agility in business, this work presents a tool that automatizes the verification
of composition among components, in which all complexity of formal language is kept
hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport)
helps to create and compose components, predicting, in advance, undesirable behaviors in
the system, such as deadlocks / O desenvolvimento de sistemas baseados em componentes revolucionou o processo de
desenvolvimento de software, facilitando a manuten??o, trazendo mais confiabilidade e
reutiliza??o. Por?m, mesmo com todas as vantagens atribu?das ao componente, ? necess?rio
uma an?lise detalhada de sua composi??o. Realizar verifica??o a partir de testes
de software n?o ? o suficiente para se ter uma composi??o segura, pois esses n?o s?o
baseados em modelos sem?nticos formais nos quais podemos descrever precisamente o
comportamento do sistema. Nesse contexto, os m?todos formais oferecem a possibilidade
de especificarmos sistemas de forma precisa, atrav?s de nota??es com forte base
matem?tica, trazendo, entre outros benef?cios, mais seguran?a. O m?todo formal CSP
possibilita a especifica??o de sistemas concorrentes e verifica??o de propriedades inerentes
a tais sistemas, bem como refinamento entre diferentes modelos. Existem abordagens que
aplicam restri??es usando CSP, para verificar o comportamento da composi??o entre componentes,
auxiliando a verifica??o desses componentes antecipadamente. Visando auxiliar
esse processo, tendo em vista que o mercado de software busca cada vez mais automa??o,
minimizando trabalhos e trazendo agilidade nos neg?cios, este trabalho apresenta uma ferramenta
que automatiza a verifica??o da composi??o entre componentes, onde o conjunto
de verifica??es CSP impostas ? gerado e verificado internamente, oculto para o usu?rio.
Dessa forma, atrav?s de uma interface simples, a ferramenta BTS (BRIC-Tool-Suport)
ajuda a criar e compor componentes, prevendo, com anteced?ncia, comportamentos indesej?veis
no sistema, como deadlocks
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufrn.br:123456789/18098 |
Date | 13 December 2013 |
Creators | Silva, Sarah Raquel da Rocha |
Contributors | CPF:02386943488, http://lattes.cnpq.br/1756952696097255, Moreira, Anamaria Martins, CPF:82573611787, http://lattes.cnpq.br/5861361541278876, Mota, Alexandre Cabral, CPF:73547735491, http://lattes.cnpq.br/2794026545404598, Oliveira, Marcel Vinicius Medeiros |
Publisher | Universidade Federal do Rio Grande do Norte, Programa de P?s-Gradua??o em Sistemas e Computa??o, UFRN, BR, Ci?ncia da Computa??o |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | English |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Format | application/pdf |
Source | reponame:Repositório Institucional da UFRN, instname:Universidade Federal do Rio Grande do Norte, instacron:UFRN |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0787 seconds