12. The method of claim 1 , further comprising: passively monitoring the plurality of messages exchanged between the two or more participants.
12. The method of claim 1 , further comprising: passively monitoring the plurality of messages exchanged between the two or more participants. 14. The method of claim 12 , wherein said testing conformance is performed after runtime.