Please use this identifier to cite or link to this item:
Title: A method for rigorous design of reconfigurable systems
Author: Madeira, Alexandre
Neves, Renato
Barbosa, Luís S.
Martins, Manuel A.
Keywords: Software specification
Reconfigurable systems
Hybrid logic
Issue Date: 15-Dec-2016
Publisher: Elsevier
Abstract: 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
DOI: 10.1016/j.scico.2016.05.001
ISSN: 0167-6423
Appears in Collections:CIDMA - Artigos
AGG - Artigos

Files in This Item:
File Description SizeFormat 
MNBMRevPlain.pdfDocumento principal732.14 kBAdobe PDFView/Open

Formato BibTex MendeleyEndnote Degois 

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