I visited KMi to study the IRS and get an indepth knowledge of WSMO. I am doing a PhD at the University of Sheffield, which involves improving the orchestration model given by the Cashew project.

Keys: IRS,WSMO

Norton, B., Foster, S. and Hughes, A. (2005) A Compositional Operational Semantics for OWL-S, Workshop: 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005), Versailles, France Formal Techniques for Computer Systems and Business Processes, eds. Mario Bravetti, Leila Kloul, Gianluigi Zavattaro, LNCS 3670, pp. 303-317, Springer