Shanshan Jiang, Jacqueline Floch, Richard Torbjørn Sanders: Modeling and Validating Service Choreography with Semantic Interfaces and Goals. SOSE 2008: 73-78