Behavior adaptation based on projection in web services composition

Decentralized behavioral adaptation of Web service composition is proposed. Firstly, Web services behavioral was simulated by Labeled Transition System (LTS) and was projected to different connectors thus Web service behavior is orthogonalized, and then system compatibility was judged by checking if there was deadlock in synchronous product of different pairs of behavioral projections over connectors. Secondly, for the mismatch types adaptation countermeasures were analyzed then the mapping relationship of actions was expressed as synchronous vectors and the sequential relationship of vectors was defined as adaptation contract. Lastly, adaptation algorithm was designed to generate adaptation protocol automatically ensuring the mismatch Web services can correct interaction under the mediation of adaptor and the validity of the proposed method was verified by an application system.