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

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.

A systematic literature review of service choreography adaptation

“…Four studies explicitly use a multi-agent system to dynamically adapt web service choreographies [1, 14,22,24].…”

“…Xu et al [22] propose a framework for dynamic service composition that relies on Spi calculus, which is an extension of π-calculus especially designed for the description and analysis of cryptographic protocols [26]. In particular, the framework defines four roles that the agents can play and formally describes how the interaction between such roles takes place using Spi calculus.…”

“…Yau et al [22] propose a model for situationawareness (SAW) requirements in service-based systems. SAW refers to the capability of being aware of situations and adapting the system's behavior accordingly.…”

“…The studies of Xu et al [22] and Yau et al [24] handle both functional and non-functional requirements. Xu et al [22] are the only authors that consider security issues.…”

“…Implementations: We have found the security-aware CSMWC, based on Spi Calculus [22], in which agents retrieve requirements, search for services fulfilling these requirements, and perform the adaptation when necessary; the PRACTIONIST framework 2 , released under the LGPL license and based on BDI techniques [14], in which the message exchange sequence is abstracted to the user, and handled by the agents; and the Workflow Reconfiguration with Agent-and BPEL-Based Intercommunication Technology (WRABBIT) [1], which recognizes conversation errors and supports dynamic adjustment of workflow scripts to avoid such errors.…”