A Formal Method Support for Resource Modeling of Web Services Composition

Yi Zhu, Zhiqiu Huang, Hang Zhou. A Formal Method Support for Resource Modeling of Web Services Composition. In 2008 International Symposium on Computer Science and Computational Technology, ISCSCT 2008, 20-22 December 2008, Shanghai, China, 2 Volumes. pages 370-375, IEEE Computer Society, 2008. [doi]

@inproceedings{ZhuHZ08,
  title = {A Formal Method Support for Resource Modeling of Web Services Composition},
  author = {Yi Zhu and Zhiqiu Huang and Hang Zhou},
  year = {2008},
  doi = {10.1109/ISCSCT.2008.239},
  url = {http://doi.ieeecomputersociety.org/10.1109/ISCSCT.2008.239},
  tags = {modeling, web service, composition, web services},
  researchr = {https://researchr.org/publication/ZhuHZ08},
  cites = {0},
  citedby = {0},
  pages = {370-375},
  booktitle = {2008 International Symposium on Computer Science and Computational Technology, ISCSCT 2008, 20-22 December 2008, Shanghai, China, 2 Volumes},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3498-5},
}