A formal model for dynamic web services composition MAS-based and simple security analysis using Spi calculus

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. © 2007 IEEE.