A Formal Model Framework for Web Services Choreography Description Langnage
Gu Xi · 2007
The Web Service Choreography Description Language(WS-CDL)defines a set of rules for the collaborations and interactions between a group of Web services from a global view.As a XML-based descriptive language,WS-CDL lacks a formal model and verification mechanism to guarantee the correctness of collaborations and interactions.This paper proposes a formal model framework Abstract WS-CDL for the WS-CDL specification that is based on global view,including syntax,structural congruence and operational semantics.The paper also defines a set of rules for map- ping this global based formal model to local model depicted by Pi-caleulus.At last the paper introduces the model veri- fication methods at global level and local level through a case study.