{Runtime Monitoring of Web Service Choreographies Using Streaming XML}