Made available in DSpace on 2014-06-12T15:54:23Z (GMT). No. of bitstreams: 2
arquivo6881_1.pdf: 1905257 bytes, checksum: 04bfefe5198fb11e1af4564f77de083a (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2011 / Petróleo Brasileiro S.A. / Apesar de componentes serem tratados como unidades básicas de composição no desenvolvimento
baseado em componentes (CBD), para que eles obtenham um disseminado status de
serem facilmente conectados como peças de lego a integração de componentes precisa ser
cuidadosamente projetada, sistematizada e verificada; somente isto poderá garantir arquiteturas
confiáveis. Além dos argumentos gerais sobre redução de custo através de reuso, abordagens
CBD precisam oferecer uma interessante, e frutífera, oportunidade para o desenvolvimento de
sistemas críticos de alta qualidade e viável no contexto industrial.
Para alcançar esta meta, propomos neste trabalho uma abordagem sistematizada para a
construção de sistemas baseados em componentes (CBS) confiáveis. A abordagem foca na
realização de análises que consideram preocupações de engenharia no CBD. Ela se baseia em
um modelo de componentes que caracteriza os blocos de construção de nossa abordagem de
desenvolvimento, e que impõe as restrições necessárias para sua interação segura. Além disto,
definimos restrições de construção para o nosso modelo de componentes, baseadas em regras
de composição para componentes. Estas permitem verificar quando dois componentes são
compatíveis para trocarem informações.
As regras de composição compreendem um método sistematizado para preservar, por construção,
propriedades comportamentais em composições de componentes; em particular, focamos
na preservação de progresso local e da ausência de deadlock nas composições. Como
conseqüência, é possível prever o comportamento de uma vasta gama de CBS, antes de sua implementação,
com base em propriedades conhecidas do sistema. Em nossa abordagem, também
propomos alternativas de verificação mais amenas: a) predições de condições de composição
baseadas na análise de metadados de componentes; b) simplificações em verificações de componente
associados a estilos arquiteturais específicos.
Toda a abordagem é apoiada pela álgebra de processos CSP, que oferece modelos semânticos
que suportam uma vasta gama de verificações e comparações de processos. Além disto,
ilustramos a aplicação desta abordagem através de dois estudos de caso, que focam em diferentes
aspectos da nossa abordagem, e verificamos mecanicamente a preservação de propriedades
comportamentais de componentes na evolução dessas aplicações
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/2073 |
| Date | 31 January 2011 |
| Creators | Teixeira Ramos, Rodrigo |
| Contributors | Cezar Alves Sampaio, Augusto |
| Publisher | Universidade Federal de Pernambuco |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
| Source | reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.002 seconds