First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing Shanghai, China June 06-June 08 ISBN: 0-7695-2856-2
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TASE.2007.2
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.
Citation:
Phan Cong-Vinh, Jonathan P. Bowen, "A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing," tase, pp.369-378, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb