Behavioral institutions and refinements in generalized hidden logics
Autor(a) principal: | |
---|---|
Data de Publicação: | 2006 |
Tipo de documento: | Artigo |
Idioma: | eng |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/10773/5548 |
Resumo: | 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. |
id |
RCAP_c1838ecb705a5d0953a17d7f764bfeb9 |
---|---|
oai_identifier_str |
oai:ria.ua.pt:10773/5548 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
Behavioral institutions and refinements in generalized hidden logicsBehavioral Equivalence RelationBehavioral logicBehavioral RefinementsHidden LogicsInstitutionsLeibniz congruenceRefinementsWe 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.2012-01-27T15:44:25Z2006-01-01T00:00:00Z2006info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10773/5548eng0948-6968Martins, Manuel A.info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-02-22T11:06:27Zoai:ria.ua.pt:10773/5548Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T02:42:54.727578Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
Behavioral institutions and refinements in generalized hidden logics |
title |
Behavioral institutions and refinements in generalized hidden logics |
spellingShingle |
Behavioral institutions and refinements in generalized hidden logics Martins, Manuel A. Behavioral Equivalence Relation Behavioral logic Behavioral Refinements Hidden Logics Institutions Leibniz congruence Refinements |
title_short |
Behavioral institutions and refinements in generalized hidden logics |
title_full |
Behavioral institutions and refinements in generalized hidden logics |
title_fullStr |
Behavioral institutions and refinements in generalized hidden logics |
title_full_unstemmed |
Behavioral institutions and refinements in generalized hidden logics |
title_sort |
Behavioral institutions and refinements in generalized hidden logics |
author |
Martins, Manuel A. |
author_facet |
Martins, Manuel A. |
author_role |
author |
dc.contributor.author.fl_str_mv |
Martins, Manuel A. |
dc.subject.por.fl_str_mv |
Behavioral Equivalence Relation Behavioral logic Behavioral Refinements Hidden Logics Institutions Leibniz congruence Refinements |
topic |
Behavioral Equivalence Relation Behavioral logic Behavioral Refinements Hidden Logics Institutions Leibniz congruence Refinements |
description |
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. |
publishDate |
2006 |
dc.date.none.fl_str_mv |
2006-01-01T00:00:00Z 2006 2012-01-27T15:44:25Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/10773/5548 |
url |
http://hdl.handle.net/10773/5548 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
0948-6968 |
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:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799137477135433728 |