Web services choreography validation
Service Oriented Computing and Applications
Automatically testing web services choreography with assertions
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
| Hi-index | 0.00 |
This paper presents an approach to check WS-CDL documents statically. To deal with those constraints appeared in CDL documents, which cannot be captured by its meta model (XML Schema) totally, we use B abstract machines to represent the constraints and design the corresponding checking algorithms to implement the static check of CDL documents. Meanwhile, the checking algorithms are integrated into the WS-CDL editor plug-in for Eclipse project. The case studies show that our approach is effective for real examples in practise.