Choreography Modeling and Analysis with Collaboration Diagrams
暂无分享,去创建一个
[1] Xiang Fu,et al. Specification of Realizable Service Conversations Using Collaboration Diagrams , 2007, SOCA.
[2] Rajeev Alur,et al. Realizability and verification of MSC graphs , 2005, Theor. Comput. Sci..
[3] Xiang Fu,et al. Specification of realizable service conversations using collaboration diagrams , 2007, IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07).
[4] Xiang Fu,et al. Synchronizability of conversations among Web services , 2005, IEEE Transactions on Software Engineering.
[5] Xiang Fu,et al. Conversation protocols: a formalism for specification and verification of reactive electronic services , 2003, Theor. Comput. Sci..
[6] Daniel Brand,et al. On Communicating Finite-State Machines , 1983, JACM.
[7] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .