Title :
Static Check of WS-CDL Documents
Author :
Lei Zhou ; Hanyi Zhang ; Tao Wang ; Yang, Chuchao ; Zheng Wang ; Sun, Meng ; Pu, Geguang
Author_Institution :
Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China
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 :
Web services; program compilers; programming languages; B abstract machines; Eclipse project; WS-CDL documents; XML; meta model; static check; Algorithm design and analysis; Automata; Contracts; International collaboration; Laboratories; Software engineering; Sun; Systems engineering and theory; Web services; XML; Static Check; WS-CDL; Web Services;
Conference_Titel :
Service-Oriented System Engineering, 2008. SOSE '08. IEEE International Symposium on
Conference_Location :
Jhongli
Print_ISBN :
978-0-7695-3499-2
Electronic_ISBN :
978-0-7695-3499-2
DOI :
10.1109/SOSE.2008.36