Refinement by interpretation in Pi-institutions

• Autor(es): Rodrigues, César J. ; Martins, Manuel A. ; Madeira, A. ; Barbosa, L. S.
• Data: 2011
• Identificador Persistente: http://hdl.handle.net/1822/15255
• Origem: RepositóriUM - Universidade do Minho
• Assunto(s): Refinement; Theory of institutions
• Tipo de Documento: Artigo
• Idioma: Inglês

Descrição

The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of π-institutions. This leads to a smooth generalization of the “refinement by interpretation” approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided to build up a refinement calculus of structured specifications in and across arbitrary π-institutions.