Realizability Analysis of Top-Down Web Service Composition Specifications
暂无分享,去创建一个
Xiang Fu | Jianwen Su | Tevfik Bultan | T. Bultan | Jianwen Su | Xiang Fu
[1] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[2] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .
[3] Stephan Merz,et al. Model Checking , 2000 .
[4] Xiang Fu,et al. Model checking XML manipulating software , 2004, ISSTA '04.
[5] Xiang Fu,et al. Realizability of conversation protocols with message contents , 2004, Proceedings. IEEE International Conference on Web Services, 2004..
[6] Xiang Fu,et al. Synchronizability of conversations among Web services , 2005, IEEE Transactions on Software Engineering.
[7] Xiang Fu,et al. Conversation protocols: a formalism for specification and verification of reactive electronic services , 2003, Theor. Comput. Sci..
[8] Rajeev Alur,et al. Model-Checking of Correctness Conditions for Concurrent Objects , 2000, Inf. Comput..
[9] Martín Abadi,et al. Realizable and Unrealizable Specifications of Reactive Systems , 1989, ICALP.
[10] Santhosh Kumaran,et al. Conversation support for business process integration , 2002, Proceedings. Sixth International Enterprise Distributed Object Computing.
[11] Xiang Fu,et al. Design for verification for asynchronously communicating Web services , 2005, WWW '05.
[12] Sheila A. McIlraith,et al. Simulation, verification and automated composition of web services , 2002, WWW.
[13] Xiang Fu,et al. Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.
[14] Daniel Brand,et al. On Communicating Finite-State Machines , 1983, JACM.
[15] Mirina Grosz,et al. World Wide Web Consortium , 2010 .
[16] Rajeev Alur,et al. Realizability and verification of MSC graphs , 2005, Theor. Comput. Sci..
[17] Prabir Nandi,et al. Conversation-enabled Web Services for Agents and e-Business , 2002, International Conference on Internet Computing.
[18] Sjouke Mauw,et al. Message Sequence Chart (MSC) , 1996 .
[19] Sebastián Uchitel,et al. Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
[20] Amir Pnueli,et al. On the synthesis of a reactive module , 1989, POPL '89.
[21] Richard Monson-Haefel,et al. Java message service , 2000 .
[22] Gerardo Canfora,et al. Testing services and service-centric systems: challenges and opportunities , 2006, IT Professional.
[23] Xiang Fu,et al. WSAT: A Tool for Formal Analysis of Web Services , 2004, CAV.
[24] Abdelsalam Helal,et al. A Web-Services-Based Personal Information Integration Framework , 2005, Int. J. Web Serv. Res..