C. Francescomarino, C. Ghidini, M. Rospocher, L. Serafini, and P. Tonella. 6th International Conference on Service Oriented Computing ( ICSOC'08), volume Volume 5364/2008 of LNCS, page 132-146. Sydney, Australia, Springer Berlin / Heidelberg, (December 2008)