Shanshan Jiang, Jacqueline Floch, Richard Torbjørn Sanders. Modeling and Validating Service Choreography with Semantic Interfaces and Goals. In Jonathan Lee, Deron Liang, Y. C. Cheng, editors, The Fourth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008, 18-19 December 2008, Jhongli, Taiwan. pages 73-78, IEEE Computer Society, 2008. [doi]
Abstract is missing.