Title :
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
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;
Conference_Titel :
Next Generation Web Services Practices, 2007. NWeSP 2007. Third International Conference on
Conference_Location :
Seoul
Print_ISBN :
978-0-7695-3022-2
DOI :
10.1109/NWESP.2007.11
