Choice, interoperability, and conformance in interaction protocols and service choreographiesMatteo BaldoniNirmit Desaiet al.2009AAMAS 2009