CDLChecker: A WS-CDL analysis tool
暂无分享,去创建一个
[1] Geguang Pu,et al. A Formal Model forWeb Service Choreography Description Language (WS-CDL) , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).
[2] Stefan Edelkamp,et al. Promela Planning , 2003, SPIN.
[3] J. Hendler. Agents and the semantic web - Intelligent Systems, IEEE [see also IEEE Expert] , 2009 .
[4] E. Najm. Reactive Spin and Promela , 1995 .
[5] Zongyan Qiu,et al. Towards the Formal Model and Verification of Web Service Choreography Description Language , 2006, WS-FM.
[6] Wenfei Fan,et al. XML constraints: specification, analysis, and applications , 2005, 16th International Workshop on Database and Expert Systems Applications (DEXA'05).
[7] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[8] Roberto Gorrieri,et al. Reasoning About Interaction Patterns in Choreography , 2005, EPEW/WS-FM.
[9] Tran Cao Son,et al. Semantic Web Services , 2001, IEEE Intell. Syst..
[10] T. D. Fletcher,et al. Web Services Choreography Description Language Version 1.0, W3C , 2004 .
[11] Carsten Weise. An incremental formal semantics for PROMELA , 2002 .
[12] Farhad Arbab,et al. Web services choreography and orchestration in Reo and constraint automata , 2007, SAC '07.
[13] Yang Hongli,et al. Towards the formal model and verification of web service choreography description language , 2006 .
[14] Jean-Raymond Abrial,et al. The B-book - assigning programs to meanings , 1996 .
[15] Antonio Vallecillo,et al. Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..
[16] Dominique Cansell,et al. Foundations of the B Method , 2003, Comput. Artif. Intell..
[17] James A. Hendler,et al. Agents and the Semantic Web , 2001, IEEE Intell. Syst..
[18] Jean-Louis Lanet. Using the B Method to Model Protocols , 2007 .
[19] Dorian Petit,et al. The B Method and the Component-Based Approach , 2004, Trans. SDPS.