[aosd-discuss] Testing multiple composition of aspects

[Ashley at Metamaxim]

Hi Vishnu

We are doing research that sounds as though it may be related to your work.

Our approach is to use a compositional approach to specifying behavioural aspects based on an abstraction we call a "Protocol Machine". These are composed using the compositional semantics of Hoare's CSP process algebra.

This approach has interesting properties in terms of the ability to perform reasoning about the behaviour of the composite based on the definitions of the components ("local reasoning").

We generally use state transition diagrams (i.e., simple statecharts) to represent Protocol Machines, although other notations are possible.

Papers on our work can be found at: http://www.metamaxim.com/pages/news.htm . I think the entry titled "Aspect Oriented System Design" (dated October 2006) is probably the most relevant.

Best regards
Ashley

Ashley McNeile
Metamaxim Ltd.
web: www.metamaxim.com 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://aosd.net/pipermail/discuss_aosd.net/attachments/20070403/9fb14bf5/attachment.html