Please use this identifier to cite or link to this item:
|Title:||A method for rigorous design of reconﬁgurable systems|
Barbosa, Luís S.
Martins, Manuel A.
|Abstract:||Reconﬁgurability, 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 speciﬁcation method for reconﬁgurable software based on a global transition structure to capture the system’s reconﬁguration space, and a local speciﬁcation of each operation mode in whatever logic (equational, ﬁrst-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 speciﬁcation becomes internalised in the logic itself.|
|Appears in Collections:||CIDMA - Artigos|
AGG - Artigos
Files in This Item:
|MNBMRevPlain.pdf||Documento principal||732.14 kB||Adobe PDF||View/Open|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.