DSpace
 
  Repositório Institucional da Universidade de Aveiro > Departamento de Matemática > MAT - Capítulo de livro >
 Hybrid specification of reactive systems: An institutional approach
Please use this identifier to cite or link to this item http://hdl.handle.net/10773/5537

title: Hybrid specification of reactive systems: An institutional approach
authors: Madeira, A.
Faria, J.M.
Martins, Manuel A.
Barbosa, L.S.
keywords: Algebraic specifications
Hybrid logic
Operational modes
Reactive system
Requirements specifications
Specification logic
Specifications
Formal methods
issue date: 2011
publisher: Springer
abstract: 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 provide rigorous foundations for the method, framing specification logics as institutions and the translation process as a comorphism between them. © 2011 Springer-Verlag.
URI: http://hdl.handle.net/10773/5537
ISSN: 03029743 (ISSN); 9783642246890 (ISBN)
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
OriginalSEFM2011.pdfPreprint886.34 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