Toward a formal approach to composite Web service construction and automation

Zhihong Ren; Jiannong Cao; A. T.S. Chan; Jing Li

doi:10.1109/ICPP.2003.1240608

Toward a formal approach to composite Web service construction and automation

Zhihong Ren, Jiannong Cao, A. T.S. Chan, Jing Li

Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review

3 Citations (Scopus)

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.

Original language	English
Title of host publication	Proceedings - 2003 International Conference on Parallel Processing, ICPP 2003
Publisher	IEEE
Pages	436-443
Number of pages	8
Volume	2003-January
ISBN (Electronic)	0769520170
DOIs	https://doi.org/10.1109/ICPP.2003.1240608
Publication status	Published - 1 Jan 2003
Event	2003 International Conference on Parallel Processing, ICPP 2003 - Kaohsiung, Taiwan Duration: 6 Oct 2003 → 9 Oct 2003

Conference

Conference	2003 International Conference on Parallel Processing, ICPP 2003
Country/Territory	Taiwan
City	Kaohsiung
Period	6/10/03 → 9/10/03

Keywords

Application software
Automatic control
Design automation
Mobile computing
Prototypes
Service oriented architecture
Software engineering
Software prototyping
Web services
XML

ASJC Scopus subject areas

Software
General Mathematics
Hardware and Architecture

More information

10.1109/ICPP.2003.1240608

Cite this

@inproceedings{2c72d8a5ef0e4dfda77f8d3979ea758d,

title = "Toward a formal approach to composite Web service construction and automation",

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 = "Application software, Automatic control, Design automation, Mobile computing, Prototypes, Service oriented architecture, Software engineering, Software prototyping, Web services, XML",

author = "Zhihong Ren and Jiannong Cao and Chan, {A. T.S.} and Jing Li",

year = "2003",

month = jan,

day = "1",

doi = "10.1109/ICPP.2003.1240608",

language = "English",

volume = "2003-January",

pages = "436--443",

booktitle = "Proceedings - 2003 International Conference on Parallel Processing, ICPP 2003",

publisher = "IEEE",

address = "United States",

note = "2003 International Conference on Parallel Processing, ICPP 2003 ; Conference date: 06-10-2003 Through 09-10-2003",

}

Ren, Z, Cao, J, Chan, ATS & Li, J 2003, Toward a formal approach to composite Web service construction and automation. in Proceedings - 2003 International Conference on Parallel Processing, ICPP 2003. vol. 2003-January, 1240608, IEEE, pp. 436-443, 2003 International Conference on Parallel Processing, ICPP 2003, Kaohsiung, Taiwan, 6/10/03. https://doi.org/10.1109/ICPP.2003.1240608

Toward a formal approach to composite Web service construction and automation. / Ren, Zhihong; Cao, Jiannong; Chan, A. T.S. et al.
Proceedings - 2003 International Conference on Parallel Processing, ICPP 2003. Vol. 2003-January IEEE, 2003. p. 436-443 1240608.

Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review

TY - GEN

T1 - Toward a formal approach to composite Web service construction and automation

AU - Ren, Zhihong

AU - Cao, Jiannong

AU - Chan, A. T.S.

AU - Li, Jing

PY - 2003/1/1

Y1 - 2003/1/1

N2 - 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.

AB - 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.

KW - Application software

KW - Automatic control

KW - Design automation

KW - Mobile computing

KW - Prototypes

KW - Service oriented architecture

KW - Software engineering

KW - Software prototyping

KW - Web services

KW - XML

UR - http://www.scopus.com/inward/record.url?scp=33845356882&partnerID=8YFLogxK

U2 - 10.1109/ICPP.2003.1240608

DO - 10.1109/ICPP.2003.1240608

M3 - Conference article published in proceeding or book

VL - 2003-January

SP - 436

EP - 443

BT - Proceedings - 2003 International Conference on Parallel Processing, ICPP 2003

PB - IEEE

T2 - 2003 International Conference on Parallel Processing, ICPP 2003

Y2 - 6 October 2003 through 9 October 2003

ER -

Toward a formal approach to composite Web service construction and automation

Abstract

Conference

Keywords

ASJC Scopus subject areas

More information

Other files and links

Fingerprint

Cite this