Repositório Institucional da Universidade de Aveiro > Departamento de Matemática > MAT - Artigos >
 Behavioral institutions and refinements in generalized hidden logics
Please use this identifier to cite or link to this item http://hdl.handle.net/10773/5548

title: Behavioral institutions and refinements in generalized hidden logics
authors: Martins, Manuel A.
keywords: Behavioral Equivalence Relation
Behavioral logic
Behavioral Refinements
Hidden Logics
Leibniz congruence
issue date: 2006
abstract: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract algebraic logic theory of hidden heterogeneous deductive systems (called hidden k-logics) to the algebraic specification of object oriented programs. This is achieved through the Leibniz congruence relation and its combinatorial properties. We reformulate the notion of hidden k-logic as well as the behavioral logic of a hidden k-logic as institutions. We define refinements as hidden signature morphisms having the extra property of preserving logical consequence. A stricter class of refinements, the ones that preserve behavioral consequence, is studied. We establish sufficient conditions for an ordinary signature morphism to be a behavioral refinement. © J.UCS.
URI: http://hdl.handle.net/10773/5548
ISSN: 0948-6968
publisher version/DOI: http://www.jucs.org/jucs_12_8/behavioral_institutions_and_refinements/jucs_12_08_1020_1049_martins.pdf
source: Journal of Universal Computer Science
appears in collectionsMAT - Artigos

files in this item

file description sizeformat
jucs_12_08_1020_1049_martins.pdfDocumento disponível online pela revista297.25 kBAdobe PDFview/open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0! RCAAP OpenAIRE DeGóis
ria-repositorio@ua.pt - Copyright ©   Universidade de Aveiro - RIA Statistics - Powered by MIT's DSpace software, Version 1.6.2