Choice, interoperability, and conformance in interaction protocols and service choreographies