[aosd-discuss] on the need for formalization

[SainTiss]

Hi all,

I'm looking for papers supporting the claim that:

"There is a need for a precise an elegant way to express AOP language 
constructs in terms of an underlying execution model".

In other words, it would be useful to have an elegant and precise formalism 
which makes it easy to express e.g. the semantics of cflow. Easier, for 
example, than implementing it in Java (or its VM).

Do people on this list support this claim, and if so, has there been any work 
in the past pointing out such need?

Thanks in advance,

Kind Regards,

Hans

-- 
A liberal is a person whose interests aren't at stake at the moment
  -- Willis Player

Hans Schippers
Research Assistant of the Research Foundation - Flanders (FWO - Vlaanderen)
http://www.win.ua.ac.be/~hschipp/
Formal Techniques in Software Engineering (FoTS)
University of Antwerp
Middelheimlaan 1
2020 Antwerpen - Belgium
Phone: +32 3 265 38 71
Fax: +32 3 265 37 77