Academic Journals Database
Disseminating quality controlled scientific knowledge

Homomorphism between AOMRC and Hoare Model of Deterministic Reconfiguration Processes in Reconfigurable Computing Systems

ADD TO MY LIST
 
Author(s): P.C. Vinh

Journal: Scientific Annals of Computer Science
ISSN 1843-8121

Volume: 17;
Start page: 113;
Date: 2007;
VIEW PDF   PDF DOWNLOAD PDF   Download PDF Original page

ABSTRACT
In this paper, the notion of aspect-oriented modular reconfigurable computing (AOMRC) is introduced, CSP-based behaviors of AOMRC are approached by developing a model of AOMRC and constructing a Hoare model of deterministic reconfiguration processes. Then, under the theory of coalgebras, we build a homomorphism between AOMRC and a Hoare model of deterministic reconfiguration processes. In other words, since AOMRC and the Hoare model of deterministic reconfiguration processes are seen as coalgebras, their homomorphic relationship results in the behavioral equivalence between AOMRC being carried out by a transformations-based aspect and a Hoare model of deterministic reconfiguration processes.
RPA Switzerland

Robotic Process Automation Switzerland

    

Tango Jona
Tangokurs Rapperswil-Jona