Compliance proofs for collaborative interactions using aspect-oriented approach