Modeling and Validating Service Choreography with Semantic Interfaces and Goals

Service choreography is a composition approach which has not yet received wide attention in SOA research. In this paper, we describe an approach for the modeling and validation of choreography based on so-called Semantic Interfaces and Goals. Our contributions include flexible modeling of choreography with formal semantics and solid validation techniques supported by tools. The approach is explained through an illustrating example.