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-03-04T20:12:58Z (GMT). No. of bitstreams: 1
307638.pdf: 3034447 bytes, checksum: 51a95fd6bb38f8e99ec85b04c51e8572 (MD5) / Na abordagem de desenvolvimento orientado a componentes, um aplicativo é produzido por meio da conexão de dois ou mais componentes. O aumento da previsibilidade do resultado da combinação de um componente com outros ainda é uma questão em aberto para pesquisa. A análise de compatibilidade de componentes é realizada a partir da descrição da interface dos componentes interligados. A maioria das propostas de análise de compatibilidade pesquisadas se restringe à verificação da ligação entre dois componentes e não considera todo o conjunto de componentes de uma aplicação. E quando o faz, limita-se a detectar apenas deadlock no sistema. Este trabalho propõe uma estratégia para a realização automatizada da análise comportamental de componentes a partir de uma abordagem descrita na literatura onde a descrição da interface de componentes é feita integralmente em UML. A descrição estrutural utiliza os diagramas de componentes, classe e implantação, e a comportamental, o diagrama de máquina de estados. A estratégia proposta estabelece uma forma de conversão da máquina de estados dos componentes individuais e da aplicação para redes de Petri, de forma transparente para o usuário, e define critérios para a análise comportamental. Problemas comportamentais são identificados a partir da interpretação das propriedades das redes de Petri no contexto dos componentes. Essa solução considera o comportamento do sistema como um todo e permite a identificação, além de deadlock, de possíveis problemas comportamentais, tratadas como advertências e que devem ser analisadas pelo usuário, tais como: serviços indisponíveis, temporariamente disponíveis ou serviços disponíveis no componente que passam a ser temporariamente disponíveis ou até indisiponíveis na aplicação. A solução proposta permite uma maior previsibilidade no resultado da combinação de componentes. Essa solução foi automatizada no ambiente SEA, por meio de ferramentas automatizadas que emitem relatórios com os problemas encontrados. São apresentados os estudos de caso realizados para avaliação da proposta. / In the component-based software development, an application is
produced by connecting two or more components. Increasing predictability of the result of combination of a component with others components is still an issue for research. The compatibility analysis of components is performed from the interface#s description of the interconnected components. Most proposals for compatibility analysis are limited to verify the compatibility between only two components and does not consider the whole component set of an application. And when they do it, they only detect deadlock in the system. This study proposes a strategy to achieve automated behavioral analysis of components from an approach described in the literature, in which the interface of components is described entirely in UML.The structural description uses the component, class and deployment diagrams, and behavior description, the state machine diagram diagram. The proposed
strategy provides a way of converting the state machine of the individual components and of the application in Petri nets, transparently to the user, and sets criteria for behavioral analysis. Behavioral problems are identified from the interpretation of the Petri nets properties in the context of the components. This solution considers the behavior of the system as a whole and allows the identification, in addition to deadlock, of potential behavioral problems, and treats then as warnings that must be analyzed by the user, such as: unavailable services, temporarily available services, or component available services become temporarily available or unavailable in the application. The proposed solution allows a more predictable result of the combination of components. This solution has been automated in the SEA environment, using automated tools included in it, where reports are issued with the found problems. The case studies produced to evaluate the proposal are presented.
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/99418 |
| Date | January 2012 |
| Creators | Teixeira, Nara Sueina |
| Contributors | Universidade Federal de Santa Catarina, Silva, Ricardo Pereira e |
| Publisher | Florianópolis |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | 166 p.| il., tabs. |
| Source | reponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0027 seconds