A Compositional Operational Semantics for OWL-S
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules in service-oriented fashion. In the Industry, existing workflow languages have been merged to form WS-BPEL, the Business Process Execution Language for Web Services. In the Research community OWL-S, a ontology for web services, has been submitted for standardisation alongside OWL, the Web Ontology Language in which it is expressed. The OWL-S Process Model is based on an abstraction of the common features of industrial workflow languages. On the one hand, WS-BPEL has only informal semantics; on the other, the type of semantics given to ontology-based work tends to be structural rather than computationally oriented. As a result the semantics developed for DAML-S, which led to OWL-S, are still deficient in some regards. In this paper we shall survey the existing semantics and introduce a novel semantics for the latest version of OWL-S that is focussed on the principle of compositionality, so far not tackled.
KeywordsService Composition Operational Semantic Label Transition System Composite Process Silent Action
Unable to display preview. Download preview PDF.
- 1.Ankolekar, A., Huch, F., Sycara, K.: Concurrent execution semantics of DAML-S with subtypes. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 308–332. Springer, Heidelberg (2002)Google Scholar
- 3.Martin, D., et al.: OWL-S: Semantic markup for web services (2004), http://www.daml.org/services/owl-s/1.1/overview/
- 7.Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: Proc. 11th Intl. World Wide Web Conference (WWW 2002), May 7-10 (2002)Google Scholar
- 11.Roman, D., Lausen, H., Keller, U.: WSMO final draft (February 2005), http://www.wsmo.org/TR/d2/v1.1/