Tevfik Bultan http://www.cs.ucsb.edu/~bultan/
Associate Professor & Vice Chair
Department of Computer Science University of California, Santa Barbara （加州大学圣塔芭芭拉分校）
Xiang Fu http://itc.gsw.edu/faculty/xfu/
Assistant Professor
School of Computer and Information Science, Georgia Southwestern State University. （美国佐治亚西南州 立大学）
Thesis title: Formal Specification and Verification of Asynchronously Communicating Web Services.
注：Xiang Fu 为Tevfik Bultan和 Jianwen Su 2004年联合培养的博士
Jianwen Su (苏建文) http://www.cs.ucsb.edu/~su/
Professor
Department of Computer Scicence U C Santa Barbara
主要论文：
有关Conversations of Web Services：
Tevfik Bultan, Xiang Fu, Jianwen Su. "Analyzing Conversations of Web Services." IEEE Internet Computing, vol. 10, no. 1, pp. 18-25, January/February 2006.
Tevfik Bultan, Xiang Fu, and Jianwen Su. "Analyzing Conversations: Realizability, Synchronizability, and Verification." Book chapter. Test and Analysis of Web Services, Luciano Baresi and Elisabetta Di Nitto (eds.), pp. 57-86, Springer, 2007.
Tevfik Bultan and Xiang Fu. "Specification of Realizable Service Conversations Using Collaboration Diagrams." Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2007), pp. 122-130, Newport Beach, California, June 19-20, 2007.
X. Fu, T. Bultan, and J. Su. Conversation protocols: a formalism for specification and verification of reactive electronic services, Theoretical Computer Science, 328(1-2):19-37, November 2004
Web Service Choreography比较全面的描述：
Jianwen Su, Tevfik Bultan, Xiang Fu, and Xiangpeng Zhao. "Towards a Theory of Web Service Choreographies." Invited paper. Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007). Marlon Dumas, Reiko Heckel (eds.), LNCS 4937, pp. 1-16, Brisbane, Australia, September 28-29, 2007.
基于FSM服务组合方法：
C. E. Gerede, R. Hull, O. H. Ibarra, and J. Su. Automated Composition of E-services: Lookaheads, Proceedings of 2nd International Conference on Service-Oriented Computing, Nov. 2004, pages 252-262
