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.
By Phan Cong-Vinh
Paper title: Homomorphism between AOMRC and Hoare Model of Deterministic Reconfiguration Processes in Reconfigurable Computing Systems.
Journal title: Scientific Annals in Computer Science.
Vol.17, pp: 113-145, 2007.
Publisher: "Alexandru Ioan Cuza'' University Press, Iasi, Romania
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment