Precise Steps for Choreography Modeling for SOA Validation and Verification