Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Bucchiarone A., Gnesi S. A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods. The document has been submitted to other: 3rd International Workshop on Web Services and Formal Methods (WS-FM'06), Vienna, Austria, 8-9 September 2006, Technical report, 2006.
Composition of services has received much interest to support business-to-business and enterprise applications integration. The business world has developed a number of XML-based standards to formalize the specification of web services, their composition, and their execution. On the other hand, the semantic web community focuses on reasoning about web resources by explicitly declaring their preconditions and effects with terms defined precisely in ontologies. Current service composition approaches range from practical languages aspiring to become industrial standards (e.g. BPEL and OWL-S) to more theoretical models and languages (e.g. automata, Petri nets, and process algebras). In this paper we present a survey of existing proposals for service composition and compare them among each other with respect to some key requirements. We hope this helps service composition designers and developers to focus their efforts and to deliver lasting solutions, while at the same time addressing the technology's critical needs.
Subject Formal Methods, Semantic Web Services, Service Composition,
D.2.4 Software/Program Verification . Formal Methods

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional