Interoperabilidade lógica via mapeamentos entre instituições / Logical interoperability via maps
AUTOR(ES)
Vizzotto, Juliana Kaizer
DATA DE PUBLICAÇÃO
2008
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.
ASSUNTO(S)
maps between institutions teoria da computação metodos formais logical interoperability formal specification
ACESSO AO ARTIGO
http://hdl.handle.net/10183/13143Documentos Relacionados
- Interoperabilidade dos dispositivos móveis
- Uma abordagem baseada em ontologias para a interoperabilidade entre agentes heterogêneos
- ALFRED TARSKI: LOGICAL CONSEQUENCE, LOGICAL NOTIONS, AND LOGICAL FORMS
- Avaliação da interoperabilidade entre sistemas de informação geográfica: uma etapa para o planejamento
- INTEGRAÇÃO E INTEROPERABILIDADE DE DOCUMENTOS MPEG-4 E NCL