Generation of Service Wrapper Protocols from Choreography Specifications

Gwen Sala√ľn. Generation of Service Wrapper Protocols from Choreography Specifications. In Antonio Cerone, Stefan Gruner, editors, Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008. pages 313-322, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.