Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10773/16672
Título: | A method for rigorous design of reconfigurable systems |
Autor: | Madeira, Alexandre Neves, Renato Barbosa, Luís S. Martins, Manuel A. |
Palavras-chave: | Software specification Reconfigurable systems Hybrid logic |
Data: | 15-Dez-2016 |
Editora: | Elsevier |
Resumo: | Reconfigurability, understood as the ability of a system to behave differently in different modes of operation and commute between them along its lifetime, is a cross-cutting concern in modern Software Engineering. This paper introduces a specification method for reconfigurable software based on a global transition structure to capture the system’s reconfiguration space, and a local specification of each operation mode in whatever logic (equational, first-order, partial, fuzzy, probabilistic, etc.) is found expressive enough for handling its requirements. In the method these two levels are not only made explicit and juxtaposed, but formally interrelated. The key to achieve such a goal is a systematic process of hybridisation of logics through which the relationship between the local and global levels of a specification becomes internalised in the logic itself. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/16672 |
DOI: | 10.1016/j.scico.2016.05.001 |
ISSN: | 0167-6423 |
Aparece nas coleções: | CIDMA - Artigos AGG - Artigos |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
MNBMRevPlain.pdf | Documento principal | 732.14 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.