[aosd-discuss] on the need for formalization

[Pascal Costanza]

There is a workshop series on formal approaches for AOP, called FOAL,  
where you will probably find plenty of papers with that or similar  
claims.

Pascal

On 30 Nov 2006, at 10:06, SainTiss wrote:

> 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
>
> _______________________________________________
> discuss mailing list    -    discuss at aosd.net
>
> To unsubscribe and change options, go to:
> http://aosd.net/mailman/listinfo/discuss_aosd.net
>
> Check out the AOSD.net Wiki: http://aosd.net/wiki

-- 
Pascal Costanza, mailto:pc at p-cos.net, http://p-cos.net
Vrije Universiteit Brussel, Programming Technology Lab
Pleinlaan 2, B-1050 Brussel, Belgium