A compositional operational semantics for OWL-S

Authors:
Barry Norton;Simon Foster;Andrew Hughes
Affiliations:
Department of Computer Science, University of Sheffield, UK;Department of Computer Science, University of Sheffield, UK;Department of Computer Science, University of Sheffield, UK
Venue:
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Year:
2005

Citing 7
Cited 5

A process algebra for timed systems

Information and Computation
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Simulation, verification and automated composition of web services

Proceedings of the 11th international conference on World Wide Web
Communication and Concurrency

Communication and Concurrency
Concurrent Execution Semantics of DAML-S with Subtypes

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Reactive Types for Dataflow-Oriented Software Architectures

WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture

Semantic Integration of eGovernment Services in Schleswig-Holstein

EGOV '08 Proceedings of the 7th international conference on Electronic Government
Natural Language Processing as a Foundation of the Semantic Web

Foundations and Trends in Web Science
SWRL rules plan encoding with OWL-S composite services

ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
3-Level service composition and cashew: a model for orchestration and choreography in semantic web services

OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
A non-Markovian stochastic Petri net-based approach to performance evaluation of ontology-based service composition

Concurrency and Computation: Practice & Experience

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.