Chao Cai

14 papers A* 1A 2C 3Misc 1Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2013 J jnl
Algorithms for checking channel passing in web service choreography.
Frontiers Comput. Sci.
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin
2009 J jnl
Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling.
J. Comput. Sci. Technol.
Chao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao
2009 — conf
Verification of channel passing in choreography with model checking.
SOCA
Liyang Peng, Chao Cai, Zongyan Qiu, Geguang Pu
2008 — conf
A Formal Model for Channel Passing in Web Service Composition.
IEEE SCC (2)
Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu
2008 A conf
A Formal Model of Human Workflow.
ICWS
Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang
2008 A conf
An Approach to Check Choreography with Channel Passing in WS-CDL.
ICWS
Chao Cai, Zongyan Qiu
2008 C conf
Correct Channel Passing by Construction.
ICFEM
Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang
2008 — conf
Model-Checking of Web Services Choreography.
SOSE
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
2008 Misc conf
Reasoning about Channel Passing in Choreography.
TASE
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu
2007 — conf
A QoS View ofWeb Service Choreography.
ICEBE
Xiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu
2007 C conf
Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation.
FORTE
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
2007 — conf
Tool Support for BPEL Verification in ActiveBPEL Engine.
ASWEC
Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai
2007 A* conf
Towards the theoretical foundation of choreography.
WWW
Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang
2006 C conf
Type Checking Choreography Description Language.
ICFEM
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu