Analyzing Conversations: Realizability, Synchronizability, and Verification
暂无分享,去创建一个
Xiang Fu | Jianwen Su | Tevfik Bultan | T. Bultan | Jianwen Su | Xiang Fu
[1] Xiang Fu,et al. Analysis of interacting BPEL web services , 2004, WWW '04.
[2] Gilles Kahn,et al. The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.
[3] Santhosh Kumaran,et al. Conversation support for business process integration , 2002, Proceedings. Sixth International Enterprise Distributed Object Computing.
[4] Nancy A. Lynch,et al. Hierarchical correctness proofs for distributed algorithms , 1987, PODC '87.
[5] A. Pnueli,et al. On the Synthesis of an Asynchronous Reactive Module , 1989, ICALP.
[6] Raman Kazhamiakin,et al. Analysis of communication models in web service compositions , 2006, WWW '06.
[7] Xiang Fu,et al. Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.
[8] Rajeev Alur,et al. Inference of message sequence charts , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[9] Xiang Fu,et al. Analyzing conversations of Web services , 2006, IEEE Internet Computing.
[10] Sebastián Uchitel,et al. Incremental elaboration of scenario-based specifications and behavior models using implied scenarios , 2004, TSEM.
[11] Robin Milner,et al. Communicating and mobile systems - the Pi-calculus , 1999 .
[12] Sebastián Uchitel,et al. Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
[13] Amir Pnueli,et al. On the synthesis of a reactive module , 1989, POPL '89.
[14] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[15] Richard Monson-Haefel,et al. Java message service , 2000 .
[16] Jakob Rehof,et al. A Behavioral Module System for the Pi-Calculus , 2001, SAS.
[17] Gerard J. Holzmann,et al. The SPIN Model Checker - primer and reference manual , 2003 .
[18] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[19] Daniel Brand,et al. On Communicating Finite-State Machines , 1983, JACM.
[20] Xiang Fu,et al. WSAT: A Tool for Formal Analysis of Web Services , 2004, CAV.
[21] Xiang Fu,et al. Realizability of conversation protocols with message contents , 2004, Proceedings. IEEE International Conference on Web Services, 2004..
[22] Xiang Fu,et al. Synchronizability of conversations among Web services , 2005, IEEE Transactions on Software Engineering.
[23] Xiang Fu,et al. Conversation protocols: a formalism for specification and verification of reactive electronic services , 2003, Theor. Comput. Sci..
[24] Jianwen Su,et al. Formal specification and verification of asynchronously communicating web services , 2004 .
[25] S. Nakajima,et al. Verification of Web service flows with model-checking techniques , 2002, First International Symposium on Cyber Worlds, 2002. Proceedings..
[26] Thomas A. Henzinger,et al. Interface automata , 2001, ESEC/FSE-9.
[27] Sheila A. McIlraith,et al. Simulation, verification and automated composition of web services , 2002, WWW.
[28] Luciano Lavagno,et al. A Formal Specification Model for Hardware/Software Codesign , 1993 .
[29] Martín Abadi,et al. Realizable and Unrealizable Specifications of Reactive Systems , 1989, ICALP.
[30] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .
[31] Xiang Fu,et al. Model checking XML manipulating software , 2004, ISSTA '04.
[32] Rajeev Alur,et al. Realizability and verification of MSC graphs , 2005, Theor. Comput. Sci..
[33] Shin Nakajima,et al. Model-Checking Verification for Reliable Web Service , 2002 .
[34] Sjouke Mauw,et al. Message Sequence Chart (MSC) , 1996 .
[35] Davide Sangiorgi,et al. Communicating and Mobile Systems: the π-calculus, , 2000 .