Please use this identifier to cite or link to this item:
Title: Toward a formal approach to composite Web service construction and automation
Authors: Ren, Z
Cao, J 
Chan, ATS 
Li, J
Issue Date: 2003
Source: 2003 International Conference on Parallel Processing, 2003 : proceedings : 9-9 October 2003, Kaohsiung, p. 436-443
Abstract: Based on business processes, composite Web services combine the offerings of two or more Web services to achieve the desired business goals. Several candidate standards have been proposed, providing a foundation for composite Web service specifications. However, at a higher level, there is no framework that supports composite Web service construction and automation. We propose a framework that facilitates the visual design, validation and automation of composite Web services. The framework is based mainly on Web service composition graph (WSCG), the underlying formalism for composite Web services. Using graph grammar and graph transformation defined on WSCG, the static topological structure of a composite Web service can be described in an intuitive way and the automation of the constructed composite Web services is also facilitated with a sound formal semantic basis. We also outline the design and implementation of a prototype for the proposed framework
Keywords: Formal specification
Graph grammars
Semantic Web
Publisher: IEEE
ISBN: 0-7695-2017-0
ISSN: 0190-3918
DOI: 10.1109/ICPP.2003.1240608
Appears in Collections:Conference Paper

View full-text via PolyU eLinks SFX Query
Show full item record


Last Week
Last month
Citations as of Aug 14, 2020

Page view(s)

Last Week
Last month
Citations as of Sep 21, 2020

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.