Interoperabilidade lógica via mapeamentos entre instituições

Detalhes bibliográficos
Ano de defesa: 2001
Autor(a) principal: Vizzotto, Juliana Kaizer
Orientador(a): Martini, Alfio Ricardo
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: Não Informado pela instituição
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
Palavras-chave em Português:
Teoria da computação
Metodos formais
Palavras-chave em Inglês:
Maps between Institutions
Logical Interoperability
Formal Specification
Link de acesso: http://hdl.handle.net/10183/13143
Resumo: A integração estruturada e consistente de diversas especificações (ou visões) de um sistema é hoje uma questão essencial na moderna abordagem para especificação e desenvolvimento de software. Neste contexto, precisamos de uma teoria que fale sobre formalismos de especificação e que ao mesmo tempo nos ofereça conceitos e construções para estabelecer-mos relações entre eles. Com este trabalho temos o objetivo de discutir noções rigorosas para idéia de lógica, técnicas fundamentais para relacioná-Ias e mostrar a utilização destes concei¬tos para abordar a questão da interoperabilidade formal, especialmente de provas. Como formalização para idéia de lógica utilizaremos as Instituições de Goguen & Burstall e a extensão de Meseguer para General Logics. Como técnica para rela¬cionar lógicas trabalharemos com os mapeamentos Plain e Simples de Meseguer. Atenção especial é dada à discussão das propriedades destes mapeamentos com vis¬ta à reutilização de componentes lógicos, especialmente da relação de consequência entre fórmulas. Contribuições desta dissertação incluem um tratamento acessível para os con¬ceitos fundamentais necessários para estudar lógicas e sua integração, uma expo¬sição uniforme e detalhada de uma família de sistemas lógicos e uma apresentação categórica desta integração via mapeamentos.
id URGS_bb5b3a08768c296ed50e7856d3ce71b5
oai_identifier_str oai:www.lume.ufrgs.br:10183/13143
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str
spelling Vizzotto, Juliana KaizerMartini, Alfio RicardoCosta, Antonio Carlos da Rocha2008-06-14T04:11:01Z2001http://hdl.handle.net/10183/13143000326590A integração estruturada e consistente de diversas especificações (ou visões) de um sistema é hoje uma questão essencial na moderna abordagem para especificação e desenvolvimento de software. Neste contexto, precisamos de uma teoria que fale sobre formalismos de especificação e que ao mesmo tempo nos ofereça conceitos e construções para estabelecer-mos relações entre eles. Com este trabalho temos o objetivo de discutir noções rigorosas para idéia de lógica, técnicas fundamentais para relacioná-Ias e mostrar a utilização destes concei¬tos para abordar a questão da interoperabilidade formal, especialmente de provas. Como formalização para idéia de lógica utilizaremos as Instituições de Goguen & Burstall e a extensão de Meseguer para General Logics. Como técnica para rela¬cionar lógicas trabalharemos com os mapeamentos Plain e Simples de Meseguer. Atenção especial é dada à discussão das propriedades destes mapeamentos com vis¬ta à reutilização de componentes lógicos, especialmente da relação de consequência entre fórmulas. Contribuições desta dissertação incluem um tratamento acessível para os con¬ceitos fundamentais necessários para estudar lógicas e sua integração, uma expo¬sição uniforme e detalhada de uma família de sistemas lógicos e uma apresentação categórica desta integração via mapeamentos.The integration in a sound and structured way of several specifications (or views) of a system is a key research area in (modern) software specification and development. In this context, we need a theory to speak not only about specification logics, but also one that can offer us concepts and constructions to establish relations between these formalisms. In this work we have the purpose of discussing rigorous notions for the idea of logic, presenting fundamental techniques to relate them, and introducing important constructions to approach the problem of formal interoperability, most notably of proofs. As a formalization of the informal idea of a logical system, we use Goguen & Burstall's concept of Institutions and Meseguer's further extension to General Logics. Meseguer's Plain and Simple Maps of Institutions are the tools we use to relate and map logics. Besides, special attention is given for the discussion of the essential properties of these maps concerning the borrowing of logical components, specially of consequence relations. Contributions of this thesis include a smooth presentation of fundamental techniques to study and relate logics, an uniform and detailed exposition of a num¬ber of logical systems, and a categorical formalization of relations between these formalisms by way of maps between institutions.application/pdfporTeoria da computaçãoMetodos formaisMaps between InstitutionsLogical InteroperabilityFormal SpecificationInteroperabilidade lógica via mapeamentos entre instituiçõesLogical interoperability via maps info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em ComputaçãoPorto Alegre, BR-RS2001mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000326590.pdf000326590.pdfTexto completoapplication/pdf672243http://www.lume.ufrgs.br/bitstream/10183/13143/1/000326590.pdfda975799bbedc433cc024874f11bf4f1MD51TEXT000326590.pdf.txt000326590.pdf.txtExtracted Texttext/plain227681http://www.lume.ufrgs.br/bitstream/10183/13143/2/000326590.pdf.txt7ba03064e61da25cec33476868230891MD52THUMBNAIL000326590.pdf.jpg000326590.pdf.jpgGenerated Thumbnailimage/jpeg1128http://www.lume.ufrgs.br/bitstream/10183/13143/3/000326590.pdf.jpgdb38b04b561e6bae047149d6e3ac8787MD5310183/131432018-10-17 07:45:13.526oai:www.lume.ufrgs.br:10183/13143Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-17T10:45:13Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Interoperabilidade lógica via mapeamentos entre instituições
dc.title.alternative.en.fl_str_mv Logical interoperability via maps
title Interoperabilidade lógica via mapeamentos entre instituições
spellingShingle Interoperabilidade lógica via mapeamentos entre instituições
Vizzotto, Juliana Kaizer
Teoria da computação
Metodos formais
Maps between Institutions
Logical Interoperability
Formal Specification
title_short Interoperabilidade lógica via mapeamentos entre instituições
title_full Interoperabilidade lógica via mapeamentos entre instituições
title_fullStr Interoperabilidade lógica via mapeamentos entre instituições
title_full_unstemmed Interoperabilidade lógica via mapeamentos entre instituições
title_sort Interoperabilidade lógica via mapeamentos entre instituições
author Vizzotto, Juliana Kaizer
author_facet Vizzotto, Juliana Kaizer
author_role author
dc.contributor.author.fl_str_mv Vizzotto, Juliana Kaizer
dc.contributor.advisor1.fl_str_mv Martini, Alfio Ricardo
dc.contributor.advisor-co1.fl_str_mv Costa, Antonio Carlos da Rocha
contributor_str_mv Martini, Alfio Ricardo
Costa, Antonio Carlos da Rocha
dc.subject.por.fl_str_mv Teoria da computação
Metodos formais
topic Teoria da computação
Metodos formais
Maps between Institutions
Logical Interoperability
Formal Specification
dc.subject.eng.fl_str_mv Maps between Institutions
Logical Interoperability
Formal Specification
description A integração estruturada e consistente de diversas especificações (ou visões) de um sistema é hoje uma questão essencial na moderna abordagem para especificação e desenvolvimento de software. Neste contexto, precisamos de uma teoria que fale sobre formalismos de especificação e que ao mesmo tempo nos ofereça conceitos e construções para estabelecer-mos relações entre eles. Com este trabalho temos o objetivo de discutir noções rigorosas para idéia de lógica, técnicas fundamentais para relacioná-Ias e mostrar a utilização destes concei¬tos para abordar a questão da interoperabilidade formal, especialmente de provas. Como formalização para idéia de lógica utilizaremos as Instituições de Goguen & Burstall e a extensão de Meseguer para General Logics. Como técnica para rela¬cionar lógicas trabalharemos com os mapeamentos Plain e Simples de Meseguer. Atenção especial é dada à discussão das propriedades destes mapeamentos com vis¬ta à reutilização de componentes lógicos, especialmente da relação de consequência entre fórmulas. Contribuições desta dissertação incluem um tratamento acessível para os con¬ceitos fundamentais necessários para estudar lógicas e sua integração, uma expo¬sição uniforme e detalhada de uma família de sistemas lógicos e uma apresentação categórica desta integração via mapeamentos.
publishDate 2001
dc.date.issued.fl_str_mv 2001
dc.date.accessioned.fl_str_mv 2008-06-14T04:11:01Z
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://hdl.handle.net/10183/13143
dc.identifier.nrb.pt_BR.fl_str_mv 000326590
url http://hdl.handle.net/10183/13143
identifier_str_mv 000326590
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 application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/13143/1/000326590.pdf
http://www.lume.ufrgs.br/bitstream/10183/13143/2/000326590.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/13143/3/000326590.pdf.jpg
bitstream.checksum.fl_str_mv da975799bbedc433cc024874f11bf4f1
7ba03064e61da25cec33476868230891
db38b04b561e6bae047149d6e3ac8787
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1810088728118427648

Registros relacionados