Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/43309
Título: | Reuse and integration of specification logics: the hybridisation perspective |
Autor(es): | Barbosa, L. S. Martins, Manuel A. Madeira, Alexandre Leite Castro Neves, Renato Jorge Araújo |
Palavras-chave: | Hybrid logic Software specification Hybridization |
Data: | 2016 |
Editora: | Springer Verlag |
Revista: | Advances in Intelligent Systems and Computing |
Resumo(s): | 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. |
Tipo: | Capítulo de livro |
URI: | https://hdl.handle.net/1822/43309 |
ISBN: | 9783319313092 |
DOI: | 10.1007/978-3-319-31311-5_1 |
ISSN: | 2194-5357 |
Versão da editora: | http://link.springer.com/chapter/10.1007%2F978-3-319-31311-5_1 |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
BMMN16.pdf | 658,1 kB | Adobe PDF | Ver/Abrir |