Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Concepts and applications of multilevel transactions and open nested transactions
Database transaction models for advanced applications
Synthesis of extended transaction models using ACTA
ACM Transactions on Database Systems (TODS)
Ensuring relaxed atomicity for flexible transactions in multidatabase systems
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Split-Transactions for Open-Ended Activities
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
UTML: Unified Transaction Modeling Language
WISE '02 Proceedings of the 3rd International Conference on Web Information Systems Engineering
A Formal Treatment of the SACReD Protocol for Multidatabase Web Transactions
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
An Efficient Transaction Commit Protocol for Composite Web Services
AINA '06 Proceedings of the 20th International Conference on Advanced Information Networking and Applications - Volume 01
Transactional patterns for reliable web services compositions
ICWE '06 Proceedings of the 6th international conference on Web engineering
Specifying and Verifying Web Transactions
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Design and verification of long-running transactions in a timed framework
Science of Computer Programming
Service-Oriented Architectures Testing: A Survey
Software Engineering
Verifying compensating transactions
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Verifying composite service transactional behavior using event calculus
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition
ICWS '10 Proceedings of the 2010 IEEE International Conference on Web Services
Testing Long-Lived Web Services Transactions Using a Risk-Based Approach
QSIC '10 Proceedings of the 2010 10th International Conference on Quality Software
| Hi-index | 0.00 |
Web services provide a distributed computing environment wherein service providers and consumers can dynamically interact and cooperate on various tasks in different domains such as ebusiness, education, government and healthcare. Transaction management technology is fundamental to building automated and reliable web services applications. Various models and protocols have been developed for web services transactions. However, they give no attention to the key issue of testing the web services transactions. We propose a novel abstract model for dynamically modeling distinct web services transaction standards and test their reliability in terms of failures. The proposed approach exploits model-based testing techniques in order to automatically generate test scenarios for web service transactions.