@inproceedings{f6c50bb5220b43148874d6e59168f69a,
title = "Static check of WS-CDL documents",
abstract = "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.",
keywords = "Static check, WS-CDL, Web services",
author = "Lei Zhou and Hanyi Zhang and Tao Wang and Chuchao Yang and Zheng Wang and Meng Sun and Geguang Pu",
year = "2008",
doi = "10.1109/SOSE.2008.36",
language = "英语",
isbn = "9780769534992",
series = "Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008",
pages = "142--147",
booktitle = "Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008",
note = "4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008 ; Conference date: 18-12-2008 Through 19-12-2008",
}