Verifying Composite Service Transactional Behavior Using Event Calculus
暂无分享,去创建一个
[1] Wil M.P. van der Aalst,et al. YAWL: yet another workflow language , 2005, Inf. Syst..
[2] T. D. Fletcher,et al. Web Services Choreography Description Language Version 1.0, W3C , 2004 .
[3] Wil M. P. van der Aalst,et al. Advanced Workflow Patterns , 2000, CoopIS.
[4] Claude Godart,et al. Ensuring required failure atomicity of composite Web services , 2005, WWW '05.
[5] Matthias Nussbaum. Database Transaction Models for Advanced Applications , 1992 .
[6] L. Cabrera,et al. Web Services Business Activity Framework (WS-BusinessActivity) , 2004 .
[7] Claude Godart,et al. Transactional patterns for reliable web services compositions , 2006, ICWE '06.
[8] Anthony Nadalin,et al. Web Services Atomic Transaction (WS- AtomicTransaction) , 2003 .
[9] Mohsen Rouached,et al. Towards Formal Verification of Web Service Composition , 2006, Business Process Management.
[10] Armin Haller,et al. Mining and Re-engineering Transactional Workflows for Reliable Executions , 2007, ER.
[11] Walid Gaaloul,et al. Web Service Mining and Verification of Properties: An Approach Based on Event Calculus , 2006, OTM Conferences.
[12] Anne H. H. Ngu,et al. Business-to-business interactions: issues and enabling technologies , 2003, The VLDB Journal.
[13] Marek J. Sergot,et al. A logic-based calculus of events , 1989, New Generation Computing.
[14] Sorin Stratulat,et al. A General Framework to Build Contextual Cover Set Induction Provers , 2001, J. Symb. Comput..
[15] Erik T. Mueller,et al. Event Calculus Reasoning Through Satisfiability , 2004, J. Log. Comput..
[16] Walid Gaaloul,et al. Discovering and Improving Recovery Mechanisms of CompositeWeb Services , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).
[17] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .
[18] Boualem Benatallah,et al. A Petri Net-based Model for Web Service Composition , 2003, ADC.
[19] Özgür Ulusoy,et al. A Transaction Model for Multidatabase Systems , 1996, Euro-Par, Vol. II.
[20] Jan Mendling. Business Process Execution Language for Web Service (BPEL) , 2006 .
[21] Xiang Fu,et al. Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.