Análise da compatibilidade de componentes especificados em UML

Detalhes bibliográficos
Autor(a) principal: Teixeira, Nara Sueina
Data de Publicação: 2012
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: http://repositorio.ufsc.br/xmlui/handle/123456789/99418
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação
id UFSC_56b5c7195f75b0e60cc40001f7f77100
oai_identifier_str oai:repositorio.ufsc.br:123456789/99418
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Análise da compatibilidade de componentes especificados em UMLInformaticaCiência da computaçãoUML (Computação)Redes de petriSoftware -CompatibilidadeDissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da ComputaçãoNa 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.FlorianópolisSilva, Ricardo Pereira eUniversidade Federal de Santa CatarinaTeixeira, Nara Sueina2013-03-04T20:12:58Z2013-03-04T20:12:58Z20122012info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis166 p.| il., tabs.application/pdf307638http://repositorio.ufsc.br/xmlui/handle/123456789/99418porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2013-05-06T01:02:25Zoai:repositorio.ufsc.br:123456789/99418Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732013-05-06T01:02:25Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Análise da compatibilidade de componentes especificados em UML
title Análise da compatibilidade de componentes especificados em UML
spellingShingle Análise da compatibilidade de componentes especificados em UML
Teixeira, Nara Sueina
Informatica
Ciência da computação
UML (Computação)
Redes de petri
Software -
Compatibilidade
title_short Análise da compatibilidade de componentes especificados em UML
title_full Análise da compatibilidade de componentes especificados em UML
title_fullStr Análise da compatibilidade de componentes especificados em UML
title_full_unstemmed Análise da compatibilidade de componentes especificados em UML
title_sort Análise da compatibilidade de componentes especificados em UML
author Teixeira, Nara Sueina
author_facet Teixeira, Nara Sueina
author_role author
dc.contributor.none.fl_str_mv Silva, Ricardo Pereira e
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Teixeira, Nara Sueina
dc.subject.por.fl_str_mv Informatica
Ciência da computação
UML (Computação)
Redes de petri
Software -
Compatibilidade
topic Informatica
Ciência da computação
UML (Computação)
Redes de petri
Software -
Compatibilidade
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação
publishDate 2012
dc.date.none.fl_str_mv 2012
2012
2013-03-04T20:12:58Z
2013-03-04T20:12:58Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 307638
http://repositorio.ufsc.br/xmlui/handle/123456789/99418
identifier_str_mv 307638
url http://repositorio.ufsc.br/xmlui/handle/123456789/99418
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 166 p.| il., tabs.
application/pdf
dc.publisher.none.fl_str_mv Florianópolis
publisher.none.fl_str_mv Florianópolis
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808651918160953344

Registros relacionados