IEEE - Institute of Electrical and Electronics Engineers, Inc. - Verifying Consistency of Web Services Behavior Using Type Theory

2008 IEEE Asia-Pacific Services Computing Conference (APSCC 2008)

Author(s): YuYu Yin ; JianWei Yin ; Ying Li ; ShuiGuang Deng
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2008
Conference Location: Yilan, Taiwan
Conference Date: 9 December 2008
Page(s): 1,560 - 1,567
ISBN (CD): 978-0-7695-3473-2
DOI: 10.1109/APSCC.2008.149
Regular:

Web services behavior is the key aspect to consistency of Web services, which can ensure correctness and reliability in Web services choreography. But few methods can conduct the trade-off between... View More

Advertisement