Repositório Institucional da Universidade de Aveiro > Departamento de Matemática > MAT - Capítulo de livro >
 Hybridization of institutions
Please use this identifier to cite or link to this item http://hdl.handle.net/10773/5541

title: Hybridization of institutions
authors: Martins, Manuel A.
Madeira, A.
Diaconescu, R.
Barbosa, L.S.
keywords: formal specification
hybrid logic
Institution theory
Formal Specification
Hybrid logic
Institution theory
Modal logic
Software Specification
Specification logic
Specification languages
issue date: 2011
publisher: Springer
abstract: Modal logics are successfully used as specification logics for reactive systems. However, they are not expressive enough to refer to individual states and reason about the local behaviour of such systems. This limitation is overcome in hybrid logics which introduce special symbols for naming states in models. Actually, hybrid logics have recently regained interest, resulting in a number of new results and techniques as well as applications to software specification. In this context, the first contribution of this paper is an attempt to 'universalize' the hybridization idea. Following the lines of [15], where a method to modalize arbitrary institutions is presented, the paper introduces a method to hybridize logics at the same institution-independent level. The method extends arbitrary institutions with Kripke semantics (for multi-modalities with arbitrary arities) and hybrid features. This paves the ground for a general result: any encoding (expressed as comorphism) from an arbitrary institution to first order logic (FOL ) determines a comorphism from its hybridization to FOL. This second contribution opens the possibility of effective tool support to specification languages based upon logics with hybrid features. © 2011 Springer-Verlag.
URI: http://hdl.handle.net/10773/5541
ISSN: 03029743 (ISSN); 9783642229435 (ISBN)
publisher version/DOI: http://www.springer.com/computer/lncs?SGWID=0-164-0-0-0
source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
appears in collectionsMAT - Capítulo de livro

files in this item

file description sizeformat
OriginalMMDB11-TR.pdf(postprint) Extended version295.68 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