To: Theo
Subject: contracts and AOP
Cc: demgr-students, robby

Hi Theo:

yesterday Doug and I had a discussion on contracts and AOP:

Doug proclaimed the following guidelines:

Adding an aspect should not change (invalidate?)
pre- and post- conditions of existing code.

Adding an aspect should lead to a behavioral subtype.

For example: 
adding logging, synchronization, etc. should not affect the standard behavior.

Do you agree with those guidelines?

-- Karl