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

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

  • Affiliations:
  • -;-;-;-;-

  • Venue:
  • NWESP '07 Proceedings of the Third International Conference on Next Generation Web Services Practices
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

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.