Work

Refinement by interpretation in π-institutions

Year: 2011

Type: article

Abstract: The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-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 pi-institutions.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.55.4

Authors: César Rodrigues, Manuel A. Martins, Alexandre Madeira, Luis S. Barbosa

Institutions: University of Minho, University of Aveiro

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: Ministerio de Ciencia e Innovación, Center for Research and Development in Mathematics and Applications, Fundação para a Ciência e a Tecnologia

Awards: Mondrian - Fundamentos para arquitecturas de serviços: certificação, reconfiguração dinâmica e auto-adaptabilidade, G8952488736