Antonella Chirichiello, Gwen Salaün. Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development. In Andrzej Skowron, Rakesh Agrawal, Michael Luck, Takahira Yamaguchi, Pierre Morizet-Mahoudeaux, Jiming Liu, Ning Zhong, editors, 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 19-22 September 2005, Compiegne, France. pages 457-463, IEEE Computer Society, 2005. [doi]
Abstract is missing.