Yong Xiao

Affiliations:
  • National University of Defense Technology, School of Computer Science, Changsha, China


According to our database1, Yong Xiao authored at least 8 papers between 2005 and 2006.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2006
Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow.
Proceedings of the 2006 International Symposium on Applications and the Internet (SAINT 2006), 2006

Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification.
Proceedings of the Frontiers of WWW Research and Development, 2006

2005
Verifying Web Services Composition: A Transformation-Based Approach.
Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

Transformation-Driven Development of Composite Web Services.
Proceedings of the Parallel and Distributed Processing and Applications, 2005

Verifying web services composition based on hierarchical colored petri nets.
Proceedings of the first international ACM workshop on Interoperability of Heterogeneous Information Systems (IHIS'05), 2005

Setup Algorithm of Web Service Composition.
Proceedings of the Distributed and Parallel Computing, 2005

Model Transformation Based Verification of Web Services Composition.
Proceedings of the Grid and Cooperative Computing - GCC 2005, 4th International Conference, Beijing, China, November 30, 2005

Verifying Web Services Composition.
Proceedings of the Perspectives in Conceptual Modeling, 2005


  Loading...