Exportação concluída — 

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

Detalhes bibliográficos
Ano de defesa: 2005
Autor(a) principal: Cunha, Roberto Silvino da
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, SC
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/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
spelling Universidade Federal de Santa CatarinaCunha, Roberto Silvino daSilva, Ricardo Pereira e2013-07-15T22:55:20Z2013-07-15T22:55:20Z20052005233489http://repositorio.ufsc.br/handle/123456789/101667Dissertaçã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.129 f.| il., tabs.porFlorianópolis, SCInformaticaCiência da computaçãoUML (Computação)Redes de petriFramework (Programa de computador)Suporte á análise de compatibilidade comportamental e estrutural entre componentes no ambiente SEAinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL233489.pdfapplication/pdf1375860https://repositorio.ufsc.br/bitstream/123456789/101667/1/233489.pdfe74ecf21e916ed222f237b02ca3677b2MD51TEXT233489.pdf.txt233489.pdf.txtExtracted texttext/plain204580https://repositorio.ufsc.br/bitstream/123456789/101667/2/233489.pdf.txt6f9892265b037d1b2bae140fcdfcbc7eMD52123456789/1016672013-08-27 17:12:37.385oai:repositorio.ufsc.br:123456789/101667Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732013-08-27T20:12:37Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.en.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.en.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Cunha, Roberto Silvino da
dc.contributor.advisor1.fl_str_mv Silva, Ricardo Pereira e
contributor_str_mv Silva, Ricardo Pereira e
dc.subject.classification.en.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.submitted.en.fl_str_mv 2005
dc.date.issued.fl_str_mv 2005
dc.date.accessioned.fl_str_mv 2013-07-15T22:55:20Z
dc.date.available.fl_str_mv 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 http://repositorio.ufsc.br/handle/123456789/101667
dc.identifier.other.en.fl_str_mv 233489
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.
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
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/101667/1/233489.pdf
https://repositorio.ufsc.br/bitstream/123456789/101667/2/233489.pdf.txt
bitstream.checksum.fl_str_mv e74ecf21e916ed222f237b02ca3677b2
6f9892265b037d1b2bae140fcdfcbc7e
bitstream.checksumAlgorithm.fl_str_mv 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_ 1851758917811437568