selected publications conference paper Precise Steps for Choreography Modeling for SOA Validation and Verification. . 2008