Suporte á análise de compatibilidade comportamental e estrutural entre componentes no ambiente SEA
| Ano de defesa: | 2005 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| 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 |