Evaluating the effectiveness of the abstract transaction model in testing Web services transactions
暂无分享,去创建一个
[1] Ana R. Cavalli,et al. WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition , 2010, 2010 IEEE International Conference on Web Services.
[2] Panos K. Chrysanthis,et al. Synthesis of extended transaction models using ACTA , 1994, TODS.
[3] Gerardo Canfora,et al. Service-Oriented Architectures Testing: A Survey , 2009, ISSSE.
[4] E. B. Moss,et al. Nested Transactions: An Approach to Reliable Distributed Computing , 1985 .
[5] Walid Gaaloul,et al. Verifying Composite Service Transactional Behavior Using Event Calculus , 2007, OTM Conferences.
[6] Rupak Majumdar,et al. Verifying Compensating Transactions , 2007, VMCAI.
[7] Claude Godart,et al. Dependency-based criteria for testing web services transactional workflows , 2011, 2011 7th International Conference on Next Generation Web Services Practices.
[8] Jing Li,et al. Specifying and Verifying Web Transactions , 2008, FORTE.
[9] Bharat K. Bhargava,et al. Ensuring relaxed atomicity for flexible transactions in multidatabase systems , 1994, SIGMOD '94.
[10] Calton Pu,et al. Split-Transactions for Open-Ended Activities , 1988, VLDB.
[11] Nektarios Gioldasis,et al. UTML: Unified Transaction Modeling Language , 2002, Proceedings of the Third International Conference on Web Information Systems Engineering, 2002. WISE 2002..
[12] Barry Eaglestone,et al. A Formal Treatment of the SACReD Protocol for Multidatabase Web Transactions , 2000, DEXA.
[13] A. Elmagarmid. Database transaction models for advanced applications , 1992 .
[14] Kuo-Ming Chao,et al. QoS‐aware mobile service transactions in a wireless environment , 2007, Concurr. Comput. Pract. Exp..
[15] Werner Winiwarter,et al. Using Advanced Transaction Meta-Models for Creating Transaction-Aware Web Service Environments , 2005, Int. J. Web Inf. Syst..
[16] Hans-Jörg Schek,et al. Concepts and Applications of Multilevel Transactions and Open Nested Transactions , 1992, Database Transaction Models for Advanced Applications.
[17] Javier Tuya,et al. Testing Long-Lived Web Services Transactions Using a Risk-Based Approach , 2010, 2010 10th International Conference on Quality Software.
[18] Paolo Milazzo,et al. Design and verification of long-running transactions in a timed framework , 2008, Sci. Comput. Program..
[19] Shaoying Liu,et al. Generating test data from state‐based specifications , 2003, Softw. Test. Verification Reliab..
[20] Javier Tuya,et al. Testing the reliability of web services transactions in cooperative applications , 2012, SAC '12.
[21] Claude Godart,et al. Transactional patterns for reliable web services compositions , 2006, ICWE '06.
[22] Javier Tuya,et al. An Abstract Transaction Model for Testing the Web Services Transactions , 2011, 2011 IEEE International Conference on Web Services.