Abstract
Service choreography is a composition approachwhich has not yet received wide attention in SOAresearch. In this paper, we describe an approach forthe modeling and validation of choreography based onso-called Semantic Interfaces and Goals. Ourcontributions include flexible modeling ofchoreography with formal semantics and solidvalidation techniques supported by tools. Theapproach is explained through an illustrating example.