Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/15370
Título: | Hybrid specification of reactive systems: an institutional approach |
Autor(es): | Madeira, A. Faria, José Miguel Martins, Manuel A. Barbosa, L. S. |
Palavras-chave: | Reactive systems Hybrid logic Theory of institutions |
Data: | 2011 |
Editora: | Springer |
Revista: | Lecture Notes in Computer Science |
Resumo(s): | This paper introduces a rigorous methodology for requirements specification of systems that react to external stimulus by evolving through different operational modes. In each mode different functionalities are provided. Starting from a classical state-machine specification, the envisaged methodology interprets each state as a different mode of operation endowed with an algebraic specification of the corresponding functionality. Specifications are given in an expressive variant of hybrid logic which is, at a later stage, translated into first-order logic to bring into scene suitable tool support. The paper’s main contribution is to pro- vide rigorous foundations for the method, framing specification logics as institutions and the translation process as a comorphism between them. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/15370 |
ISBN: | 978-3-642-24689-0 |
DOI: | 10.1007/978-3-642-24690-6_19 |
ISSN: | 0302-9743 |
Versão da editora: | http://www.springerlink.com/ |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
OriginalSEFM2011.pdf | 886,34 kB | Adobe PDF | Ver/Abrir |