Formalization of data flow computing and a coinductive approach to verifying flowware synthesis
Transactions on computational science I
Data intensive distributed computing in data aware self-organizing networks
Transactions on Computational Science XV
| Hi-index | 0.00 |
For aspect-oriented modular reconfigurable computing, we specify a notion of "aspect" in the context of modular reconfigurable computing systems. In our formal approach, an aspect is determined as a coalgebraic transformation on modular reconfigurable computing systems. Then, based on this fundamental concept of aspect, inheritance and superimposition properties of aspects are studied. Specifically, the inheritance property is shown to be a bisimulation relation and the superimposition property is determined in the context of coalgebraic reconfiguration. Moreover, we also justify that our approach is sufficiently expressive to combine aspect-orientation and modular reconfigurable computing.