Suporte á análise de compatibilidade comportamental e estrutural entre componentes no ambiente SEA
Autor(a) principal: | |
---|---|
Data de Publicação: | 2005 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFSC |
Texto Completo: | http://repositorio.ufsc.br/handle/123456789/101667 |
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_a900e955afc1c926366331d508d12d67 |
---|---|
oai_identifier_str |
oai:repositorio.ufsc.br:123456789/101667 |
network_acronym_str |
UFSC |
network_name_str |
Repositório Institucional da UFSC |
repository_id_str |
2373 |
spelling |
Suporte á análise de compatibilidade comportamental e estrutural entre componentes no ambiente SEAInformaticaCiência da computaçãoUML (Computação)Redes de petriFramework (Programa de computador)Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da ComputaçãoA 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.Florianópolis, SCSilva, Ricardo Pereira eUniversidade Federal de Santa CatarinaCunha, Roberto Silvino da2013-07-15T22:55:20Z2013-07-15T22:55:20Z20052005info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis129 f.| il., tabs.application/pdf233489http://repositorio.ufsc.br/handle/123456789/101667porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2013-08-27T20:12:37Zoai:repositorio.ufsc.br:123456789/101667Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732013-08-27T20:12:37Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false |
dc.title.none.fl_str_mv |
Suporte á análise de compatibilidade comportamental e estrutural entre componentes no ambiente SEA |
title |
Suporte á análise de compatibilidade comportamental e estrutural entre componentes no ambiente SEA |
spellingShingle |
Suporte á análise de compatibilidade comportamental e estrutural entre componentes no ambiente SEA Cunha, Roberto Silvino da Informatica Ciência da computação UML (Computação) Redes de petri Framework (Programa de computador) |
title_short |
Suporte á análise de compatibilidade comportamental e estrutural entre componentes no ambiente SEA |
title_full |
Suporte á análise de compatibilidade comportamental e estrutural entre componentes no ambiente SEA |
title_fullStr |
Suporte á análise de compatibilidade comportamental e estrutural entre componentes no ambiente SEA |
title_full_unstemmed |
Suporte á análise de compatibilidade comportamental e estrutural entre componentes no ambiente SEA |
title_sort |
Suporte á análise de compatibilidade comportamental e estrutural entre componentes no ambiente SEA |
author |
Cunha, Roberto Silvino da |
author_facet |
Cunha, Roberto Silvino da |
author_role |
author |
dc.contributor.none.fl_str_mv |
Silva, Ricardo Pereira e Universidade Federal de Santa Catarina |
dc.contributor.author.fl_str_mv |
Cunha, Roberto Silvino da |
dc.subject.por.fl_str_mv |
Informatica Ciência da computação UML (Computação) Redes de petri Framework (Programa de computador) |
topic |
Informatica Ciência da computação UML (Computação) Redes de petri Framework (Programa de computador) |
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 |
2005 |
dc.date.none.fl_str_mv |
2005 2005 2013-07-15T22:55:20Z 2013-07-15T22:55:20Z |
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 |
233489 http://repositorio.ufsc.br/handle/123456789/101667 |
identifier_str_mv |
233489 |
url |
http://repositorio.ufsc.br/handle/123456789/101667 |
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 |
129 f.| il., tabs. application/pdf |
dc.publisher.none.fl_str_mv |
Florianópolis, SC |
publisher.none.fl_str_mv |
Florianópolis, SC |
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_ |
1808651980211486720 |