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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/SOSE.2008.36 | SoSE |
Keywords | Field | DocType |
xml schema,checking algorithm,b abstract machine,ws-cdl editor,static check,corresponding checking algorithm,cdl document,ws-cdl documents,ws-cdl documents statically,case study,eclipse project,java,web services,business,xml,algorithm design and analysis,web service,programming languages,abstract machine,meta model,engines | Algorithm design,Programming language,XML,Computer science,XML schema,Eclipse,Web service,Java,Metamodeling,Abstract machine | Conference |
Citations | PageRank | References |
5 | 0.63 | 7 |
Authors | ||
7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lei Zhou | 1 | 25 | 3.91 |
Hanyi Zhang | 2 | 72 | 16.35 |
Tao Wang | 3 | 5 | 0.63 |
Chuchao Yang | 4 | 6 | 0.98 |
Zheng Wang | 5 | 431 | 92.42 |
Sun Meng | 6 | 296 | 33.69 |
Geguang Pu | 7 | 602 | 57.89 |