Model and Verification of WS-CDL Based on UML Diagrams

Post by:
November 5, 2025
Comments off

by Pengcheng Zhang, Henry Muccini, Yuelong Zhu and Bixin Li

Reference:

Model and Verification of WS-CDL Based on UML Diagrams (Pengcheng Zhang, Henry Muccini, Yuelong Zhu and Bixin Li), In Int. J. Softw. Eng. Knowl. Eng., volume 20, 2010.

Bibtex Entry:

@article{DBLP:journals/ijseke/ZhangMZL10,
  author       = {Pengcheng Zhang and
                  Henry Muccini and
                  Yuelong Zhu and
                  Bixin Li},
  title        = {Model and Verification of {WS-CDL} Based on {UML} Diagrams},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {20},
  number       = {8},
  pages        = {1119--1149},
  year         = {2010},
  url          = {https://doi.org/10.1142/S0218194010005092},
  doi          = {10.1142/S0218194010005092},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijseke/ZhangMZL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Categories: