Análise da compatibilidade de componentes especificados em UML

Detalhes bibliográficos
Ano de defesa: 2012
Autor(a) principal: Teixeira, Nara Sueina
Orientador(a): Silva, Ricardo Pereira e
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Florianópolis
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Link de acesso: 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
spelling Universidade Federal de Santa CatarinaTeixeira, Nara SueinaSilva, Ricardo Pereira e2013-03-04T20:12:58Z2013-03-04T20:12:58Z20122012307638http://repositorio.ufsc.br/xmlui/handle/123456789/99418Dissertaçã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.166 p.| il., tabs.porFlorianópolisInformaticaCiência da computaçãoUML (Computação)Redes de petriSoftware -CompatibilidadeAnálise da compatibilidade de componentes especificados em UMLinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL307638.pdfapplication/pdf3034447https://repositorio.ufsc.br/bitstream/123456789/99418/1/307638.pdf51a95fd6bb38f8e99ec85b04c51e8572MD51TEXT307638.pdf.txt307638.pdf.txtExtracted Texttext/plain249090https://repositorio.ufsc.br/bitstream/123456789/99418/2/307638.pdf.txt4811dffa796c0f8d9105afa8ae9cba20MD52THUMBNAIL307638.pdf.jpg307638.pdf.jpgGenerated Thumbnailimage/jpeg1474https://repositorio.ufsc.br/bitstream/123456789/99418/3/307638.pdf.jpg48432811ff1d111ef8bd54a9eda1a1e5MD53123456789/994182013-05-05 22:02:25.504oai:repositorio.ufsc.br:123456789/99418Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732013-05-06T01:02:25Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.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.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Teixeira, Nara Sueina
dc.contributor.advisor1.fl_str_mv Silva, Ricardo Pereira e
contributor_str_mv Silva, Ricardo Pereira e
dc.subject.classification.pt_BR.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.submitted.pt_BR.fl_str_mv 2012
dc.date.issued.fl_str_mv 2012
dc.date.accessioned.fl_str_mv 2013-03-04T20:12:58Z
dc.date.available.fl_str_mv 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 http://repositorio.ufsc.br/xmlui/handle/123456789/99418
dc.identifier.other.pt_BR.fl_str_mv 307638
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.
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
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/99418/1/307638.pdf
https://repositorio.ufsc.br/bitstream/123456789/99418/2/307638.pdf.txt
https://repositorio.ufsc.br/bitstream/123456789/99418/3/307638.pdf.jpg
bitstream.checksum.fl_str_mv 51a95fd6bb38f8e99ec85b04c51e8572
4811dffa796c0f8d9105afa8ae9cba20
48432811ff1d111ef8bd54a9eda1a1e5
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv sandra.sobrera@ufsc.br
_version_ 1851758864759783424

Registros relacionados