Application oriented framework for Web services composition design and verification
LU Zheng-ding · Computer Engineering and Applications Journal · 2008
To deal with the issue that Web services composition design specifications lack of formal semantics and formal verifi-cation methods,the paper outlines a top-down framework-iFrame4WS for Web services composition design and verification.In iFrame4WS,the process of Web services composition is divided into description level,abstract level and execution level.The for-mal model and verification approach are defined in abstract level so as to ensure the correctness of Web services composition.