A Formal Model for dynamic Web Services Composition MAS-Based and Simple Security Analysis Using Spi Calculus

Author

Dong-Hong Xu ; Yong Qi ; Di Hou ; Ying Chen ; Liang Liu

Author_Institution

Xi´an Jiaotong Univ., Xian

fYear

2007

fDate

29-31 Oct. 2007

Firstpage

69

Lastpage

72

Abstract

Orchestration and choreography are two basic questions in dynamic Web services composition. In the original orchestration, it can´t adapt the dynamic services selection and composition. Choreography lacks security mechanism in open environment. We designed a MAS structure named CSMWC (collaborative structure of MAS for the Web services composition) from a new view of the dynamic Web service composition to remedy these shortcomings, We formally describe the constructed MAS system framework by using Spi calculus and reason the dynamic property, its adaptability, securities etc for the dynamic Web service composition. Finally, we test and demonstrate our idea by the SPRITE tool based Spi calculus.

Keywords

Web services; multi-agent systems; pi calculus; security of data; CSMWC; MAS structure; SPRITE tool; Spi calculus; collaborative structure; collaborative structure of MAS for the Web services composition; dynamic Web services composition; formal model; security analysis; Calculus; Cognition; Collaboration; Computer science; Computer security; Cost function; Humans; Multiagent systems; Sprites (computer); Web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Next Generation Web Services Practices, 2007. NWeSP 2007. Third International Conference on

Conference_Location

Seoul

Print_ISBN

978-0-7695-3022-2

Type

conf

DOI

10.1109/NWESP.2007.11

Filename

4392684