DSpace
 
  Repositório Institucional da Universidade de Aveiro > Departamento de Matemática > MAT - Artigos >
 Refinement by interpretation in a general setting
Please use this identifier to cite or link to this item http://hdl.handle.net/10773/6955

title: Refinement by interpretation in a general setting
authors: Martins, Manuel A.
Madeira, A.
Barbosa, L.S.
keywords: Algebraic specification
Refinement
Consequence relations
Deductive systems
Equational specifications
Morphisms
Software development process
Formal methods
Logic interpretation
issue date: 2009
publisher: Elsevier
abstract: Refinement by interpretation replaces signature morphisms by logic interpretations as a means to translate specifications and witness refinements. The approach was recently introduced by the authors [M. A. Martins, A. Madeira, and L. S. Barbosa. Refinement via interpretation. In Proc. of 7th IEEE Int. Conf. on Software Engineering and Formal Methods, Hanoi, Vietnam, November 2009. IEEE Computer Society Press] in the context of equational specifications, in order to capture a number of relevant transformations in software design, reuse and adaptation. This paper goes a step forward and discusses the generalization of this idea to deductive systems of arbitrary dimension. This makes possible, for example, to refine sentential into equational specifications and the latter into modal ones. Moreover, the restriction to logics with finitary consequence relations is dropped which results in increased flexibility along the software development process. © 2009 Elsevier B.V. All rights reserved.
URI: http://hdl.handle.net/10773/6955
ISSN: 1571-0661
publisher version/DOI: http://dx.doi.org/10.1016/j.entcs.2009.12.020
source: Electronic Notes in Theoretical Computer Science
appears in collectionsMAT - Artigos

files in this item

file description sizeformat
entcs17837.pdfPreprint339.38 kBAdobe PDFview/open
Restrict Access. You can Request a copy!
statistics

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