Return to search

Suporte á análise de compatibilidade comportamental e estrutural entre componentes no ambiente SEA

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação / Made available in DSpace on 2013-07-15T22:55:20Z (GMT). No. of bitstreams: 1
233489.pdf: 1375860 bytes, checksum: e74ecf21e916ed222f237b02ca3677b2 (MD5) / A utilização de componentes para o desenvolvimento de sistemas é uma abordagem que promove o reuso, tanto de código quanto de projeto, em um alto nível de abstração. Mas para que o reuso seja vantajoso, isto é, exija menos esforço que o desenvolvimento de um novo artefato de software, então o componente deve ser descrito de forma que, com o mínimo esforço, sua compatibilidade com os outros componentes possa ser avaliada. Com esta avaliação, poderá ser tomada a decisão sobre seu uso como está, em caso de constatação da compatibilidade ou, no caso de incompatibilidade, decidir sobre compatibilização ou abandono. Este trabalho trata formas de automatizar a análise de compatibilidade estrutural e comportamental entre componentes, durante o processo de especificação de projeto. A idéia é modelar uma arquitetura de componentes, para que se possa visualizar suas conexões, e com isto poder fazer as análises necessárias para garantir a compatibilidade e o perfeito funcionamento desta arquitetura. Na implementação foi utilizado o ambiente de desenvolvimento SEA, produzido sob o framework OCEAN. Eles permitem que especificações e ferramentas possam ser desenvolvidas e que trabalhem integradas. Para a verificação de compatibilidade estrutural são levantados os tipos de incompatibilidade e as soluções permitidas dentro do universo de possibilidades da arquitetura da especificação que se quer verificar. Redes de Petri ordinárias são utilizadas para que as análises de suas propriedades e suas interpretações, para o contexto de componentes, possa permitir a automação da verificação de compatibilidade comportamental. Ferramentas para as análises estruturais e comportamentais foram desenvolvidas e estão integradas ao ambiente SEA, fazendo a leitura de informações contidas nas especificações da estrutura de componentes. Com as informações da estrutura de componentes e as análises necessárias levantadas neste trabalho é feita a verificação automatizada da compatibilidade entre os componentes. Caso haja alguma incompatibilidade, possíveis soluções são propostas, ficando a cargo do desenvolvedor escolher, dentre elas, a melhor solução.

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/101667
Date January 2005
CreatorsCunha, Roberto Silvino da
ContributorsUniversidade Federal de Santa Catarina, Silva, Ricardo Pereira e
PublisherFlorianópolis, SC
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Format129 f.| il., tabs.
Sourcereponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0018 seconds