 | 2010 |
|---|
| 6 |       | Hongbing Wang,
Zuling Kang,
Ning Zhou,
Li Li:
A model checker for WS-CDL.
Journal of Systems and Software 83(10): 1651-1661 (2010) |
| 2009 |
|---|
| 5 | | Zuling Kang,
Hongbing Wang:
Verifying WS-CDL-Based Web Services Collaboration by Model Checking.
SERVICES I 2009: 554-561 |
| 4 | | Hongbing Wang,
Li Li,
Chen Wang,
Zuling Kang,
Dongxi Liu,
Jemma Wu,
Athman Bouguettaya:
Logic-based verification for Web services composition with TLA.
SOCA 2009: 1-8 |
| 2007 |
|---|
| 3 | | Zuling Kang,
Hongbing Wang,
Patrick C. K. Hung:
WS-CDL+: An Extended WS-CDL Execution Engine for Web Service Collaboration.
ICWS 2007: 928-935 |
| 2 | | Zuling Kang,
Hongbing Wang,
Patrick C. K. Hung:
WS-CDL+ for web service collaboration.
Information Systems Frontiers 9(4): 375-389 (2007) |
| 2005 |
|---|
| 1 | | Zuling Kang,
Hongbing Wang:
Implementation and Application of Ontology Databases with User-Defined Rules (UDR) Supported.
SKG 2005: 82 |
Data released under the ODC-BY 1.0 license — See also our legal information page