Please use this identifier to cite or link to this item:
Title: Reuse and integration of specification logics: the hybridisation perspective
Author: Barbosa, Luís S.
Martins, Manuel A.
Madeira, Alexandre
Neves, Renato
Keywords: Software specification
Hybrid logic
Issue Date: 2-Apr-2016
Publisher: Springer International Publishing
Abstract: Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.
DOI: 10.1007/978-3-319-31311-5_1
ISBN: 978-3-319-31309-2
Appears in Collections:CIDMA - Capítulo de livro

Files in This Item:
File Description SizeFormat 
HybridMet.pdfDocumento principal795.27 kBAdobe PDFView/Open

Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.