Abstract | ||
---|---|---|
We propose a language CDL as a formal model of simplified WS-CDL. The operational semantics of CDL is given, and static validation and verification of choreographies is studied. Some properties of the proposed model are verified using the SPIN model-checker, which illustrates the potential usage and benefits of the formal model. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/ICWS.2006.3 | ICWS |
Keywords | Field | DocType |
static validation,potential usage,operational semantics,formal model forweb service,choreography description language,spin model-checker,language cdl,formal model,formal verification,validation and verification,web services | Operational semantics,Programming language,Computer science,Service choreography,Action semantics,Object language,Formal specification,Formal methods,Database,Software verification,Formal verification | Conference |
ISBN | Citations | PageRank |
0-7695-2669-1 | 34 | 1.87 |
References | Authors | |
6 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hongli Yang | 1 | 191 | 14.80 |
Xiangpeng Zhao | 2 | 353 | 20.67 |
Zongyan Qiu | 3 | 436 | 41.04 |
Geguang Pu | 4 | 602 | 57.89 |
Shuling Wang | 5 | 164 | 11.38 |