IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Formal Specification for Web Services Composition and Verification

The Fifth International Conference on Computer and Information Technology CIT 2005

Author(s): Yuliang Shi ; Liang Zhang ; Bing Liu ; Fangfang Liu ; Lili Lin ; Baile Shi
Sponsor(s): Univ. of Aizu, Japan
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Shanghai, China
Conference Date: 21 September 2005
Page(s): 252 - 256
ISBN (Paper): 0-7695-2432-X
DOI: 10.1109/CIT.2005.10
Regular:

Due to the promising features of Web services, their deployment and research are booming. Among them, various techniques for Web service composition have been developed. In this paper, we propose... View More

Advertisement