Web service collaboration analysis via automata

Yuliang Shi; Liang Zhang; Fangfang Liu; Lui Lin; Baile Shi

doi:10.1007/11563952_93

Web service collaboration analysis via automata

Yuliang Shi, Liang Zhang^*, Fangfang Liu, Lui Lin, Baile Shi

^*Corresponding author for this work

Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review

2 Citations (Scopus)

Abstract

It is evidenced that formal analyses are helpful for web services interactions. However, most current web services choreography proposals, such as BPEL4WS or WSCI, only provide notations for describing the message flows in web service collaboration, lacking of reasoning mechanisms to verify the process of interacting among them. In this paper, we present a formalization of web services interaction based on WSCI using the approach of automata. The method can check whether two or more web services are compatible or not in their collaboration.

Original language	English
Title of host publication	Advances in Web-Age Information Management - 6th International Conference, WAIM 2005, Proceedings
Pages	858-863
Number of pages	6
DOIs	https://doi.org/10.1007/11563952_93
Publication status	Published - 2005
Externally published	Yes
Event	6th International Conference on Advances in Web-Age Information Management, WAIM 2005 - Hangzhou, China Duration: 11 Oct 2005 → 13 Oct 2005

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3739 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	6th International Conference on Advances in Web-Age Information Management, WAIM 2005
Country/Territory	China
City	Hangzhou
Period	11/10/05 → 13/10/05

Keywords

Automata
WSCI
Web services

Access to Document

10.1007/11563952_93

Cite this

Shi, Y., Zhang, L., Liu, F., Lin, L., & Shi, B. (2005). Web service collaboration analysis via automata. In Advances in Web-Age Information Management - 6th International Conference, WAIM 2005, Proceedings (pp. 858-863). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3739 LNCS). https://doi.org/10.1007/11563952_93

@inproceedings{a91795c659b1487194310a144764e332,

title = "Web service collaboration analysis via automata",

abstract = "It is evidenced that formal analyses are helpful for web services interactions. However, most current web services choreography proposals, such as BPEL4WS or WSCI, only provide notations for describing the message flows in web service collaboration, lacking of reasoning mechanisms to verify the process of interacting among them. In this paper, we present a formalization of web services interaction based on WSCI using the approach of automata. The method can check whether two or more web services are compatible or not in their collaboration.",

keywords = "Automata, WSCI, Web services",

author = "Yuliang Shi and Liang Zhang and Fangfang Liu and Lui Lin and Baile Shi",

year = "2005",

doi = "10.1007/11563952\_93",

language = "English",

isbn = "3540292276",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "858--863",

booktitle = "Advances in Web-Age Information Management - 6th International Conference, WAIM 2005, Proceedings",

note = "6th International Conference on Advances in Web-Age Information Management, WAIM 2005 ; Conference date: 11-10-2005 Through 13-10-2005",

}

Shi, Y, Zhang, L, Liu, F, Lin, L & Shi, B 2005, Web service collaboration analysis via automata. in Advances in Web-Age Information Management - 6th International Conference, WAIM 2005, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3739 LNCS, pp. 858-863, 6th International Conference on Advances in Web-Age Information Management, WAIM 2005, Hangzhou, China, 11/10/05. https://doi.org/10.1007/11563952_93

Web service collaboration analysis via automata. / Shi, Yuliang; Zhang, Liang; Liu, Fangfang et al.
Advances in Web-Age Information Management - 6th International Conference, WAIM 2005, Proceedings. 2005. p. 858-863 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3739 LNCS).

Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review

TY - GEN

T1 - Web service collaboration analysis via automata

AU - Shi, Yuliang

AU - Zhang, Liang

AU - Liu, Fangfang

AU - Lin, Lui

AU - Shi, Baile

PY - 2005

Y1 - 2005

N2 - It is evidenced that formal analyses are helpful for web services interactions. However, most current web services choreography proposals, such as BPEL4WS or WSCI, only provide notations for describing the message flows in web service collaboration, lacking of reasoning mechanisms to verify the process of interacting among them. In this paper, we present a formalization of web services interaction based on WSCI using the approach of automata. The method can check whether two or more web services are compatible or not in their collaboration.

AB - It is evidenced that formal analyses are helpful for web services interactions. However, most current web services choreography proposals, such as BPEL4WS or WSCI, only provide notations for describing the message flows in web service collaboration, lacking of reasoning mechanisms to verify the process of interacting among them. In this paper, we present a formalization of web services interaction based on WSCI using the approach of automata. The method can check whether two or more web services are compatible or not in their collaboration.

KW - Automata

KW - WSCI

KW - Web services

UR - https://www.scopus.com/pages/publications/33646523119

U2 - 10.1007/11563952_93

DO - 10.1007/11563952_93

M3 - Conference Paper published in a book

AN - SCOPUS:33646523119

SN - 3540292276

SN - 9783540292272

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 858

EP - 863

BT - Advances in Web-Age Information Management - 6th International Conference, WAIM 2005, Proceedings

T2 - 6th International Conference on Advances in Web-Age Information Management, WAIM 2005

Y2 - 11 October 2005 through 13 October 2005

ER -

Web service collaboration analysis via automata

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this