More Web Proxy on the site http://driver.im/

research-article

Testing the reliability of web services transactions in cooperative applications

Authors:

Muhammad YounasAuthors Info & Claims

SAC '12: Proceedings of the 27th Annual ACM Symposium on Applied Computing

Pages 743 - 748

https://doi.org/10.1145/2245276.2245418

Published: 26 March 2012 Publication History

Abstract

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.

References

[1]

M. Younas, K. Chao, C. Lo, Y. Li, "An Efficient Transaction Commit Protocol for Composite Web Services," Int. Conf. on Ad. Info. Networking and Applications, 2006.

Digital Library

[2]

G. Canfora and M. Penta, "Service-Oriented Architectures Testing: A Survey," ISSSE 2006--2008, Salerno, Italy, 2009

Digital Library

[3]

OASIS, "Business Transaction Protocol," http://www.oasis-open.org/committees/tchome.php?wg-abbrev=business-transaction.

[4]

OASIS, "Web Services Business Activity," http://docs.oasis-open.org/ws-tx/wsba/2006/06.

[5]

OASIS, "Web Services Composite Application Framework" http://www.oasis-open.org/committees/tc-home.php?wg-abbrev=ws-caf.

[6]

Database transaction models for advanced applications. Morgan Kaufmann Publishers Inc., 1992, p. 610.

[7]

E. B. Moss, "Nested Transactions: An Approach to Reliable Distributed Computing," MIT, 1981.

Digital Library

[8]

H. Garcia-Molina, K. Salem, "Sagas," SIGMOD 87, 1987.

Digital Library

[9]

G. Weikum, H.-J. Schek, "Concepts and applications of multilevel transactions and open nested transactions," Database transaction models for advanced applications: 1992

Digital Library

[10]

C. Pu, G. E. Kaiser and N. C. Hutchinson., "Split-Transactions for Open-Ended Activities," VLDB, 1988.

Digital Library

[11]

Reuter, "ConTracts: A Means for Extending Control Beyond Transaction Boundaries," 3rd Int. Workshop on High Performance Transaction Systems, 1989.

[12]

A. Zhang, M. Nodine, B. Bhargava and O. Bukhres., "Ensuring relaxed atomicity for flexible transactions in multidatabase systems," ACM SIGMOD Record, 1994.

Digital Library

[13]

M. Younas, B. Eaglestone and R. Holton, "A formal treatment of a SACRED Protocol for Multidatabase Web Transactions," Database and Expert Systems Applications, vol. 1873, pp. 899--908, 2000.

Digital Library

[14]

OASIS, "Web Services Atomic Transaction," http://docs.oasis-open.org/ws-tx/wsat/2006/06.

[15]

OASIS, "Web Services Coordination," http://docs.oasis-open.org/ws-tx/wscoor/2006/06.

[16]

A. Cavalli, T. Cao, W. Mallouli, E. Martins, E. Sadovykh, S. Salva and F. Zaidi, "WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition," IEEE ICWS 2010.

Digital Library

[17]

J. Offutt, S. Liu, A. Abdurazik and P. Ammann., "Generating Test Data From State-based Specifications," Journal of Software Testing, Verification and Reliability, vol. 13, pp. 25--53, 2003.

[18]

P. K. Chrysanthis and K. Ramamritham, "Synthesis of extended transaction models using ACTA," ACM Trans. Database Syst., vol. 19, pp. 450--491, 1994.

Digital Library

[19]

S. Bhiri, C. Godart and O. Perrin, "Transactional patterns for reliable web services compositions," Int. Conf. on Web Engineering, California, USA, 2006.

Digital Library

[20]

N. Gioldasis and S. Christodoulakis, "UTML: Unified Transaction Modeling Language," Int. Conf. on Web Information Systems Engineering 2002.

Digital Library

[21]

P. Hrastnik and W. Winiwarter, "Using advanced transaction meta-models for creating transaction-aware web service environments," International Journal of Web Information Systems, 2005.

[22]

R. Casado, J. Tuya and M. Younas, "Testing Long-Lived Web Services Transactions Using a Risk-Based Approach," Int. Conf. on Quality Software, 2010.

Digital Library

[23]

R. Lanotte, A. Maggiolo-Schettini, P. Milazzo and A. Troina, "Design and verification of long-running transactions in a timed framework," Science of Computer Programming, pp. 76--94, 2008.

Digital Library

[24]

M. Emmi and R. Majumdar, "Verifying Compensating Transactions," Int. Conf. on Verification, Model Checking, and Abstract Interpretation, 2007.

Digital Library

[25]

J. Li, H. Zh and J. He, "Specifying and Verifying Web Transactions," Int. Conf. on Formal Techniques for Networked and Distributed Systems, 2008.

Digital Library

[26]

W. Gaaloul, M. Rouchaded, C. Godart and M. Hauswirth., "Verifying composite service transactional behavior using event calculus," OTM On the move to meaningful internet systems, Vilamoura, Portugal, 2007.

Digital Library

Cited By

Casado RRubiera ESacristan MSchütte FPeters R(2015)Data interoperability software solution for emergency reaction in the Europe UnionNatural Hazards and Earth System Sciences10.5194/nhess-15-1563-201515:7(1563-1576)Online publication date: 18-Jul-2015
https://doi.org/10.5194/nhess-15-1563-2015
Khosrowshahi Asl EBentahar JOtrok HMizouni R(2015)Efficient Community Formation for Web ServicesIEEE Transactions on Services Computing10.1109/TSC.2014.23129408:4(586-600)Online publication date: Jul-2015
https://doi.org/10.1109/TSC.2014.2312940
Casado RTuya JYounas M(2015)Evaluating the effectiveness of the abstract transaction model in testing Web services transactionsConcurrency and Computation: Practice & Experience10.1002/cpe.285127:4(765-781)Online publication date: 25-Mar-2015
https://dl.acm.org/doi/10.1002/cpe.2851
Show More Cited By

Index Terms

Testing the reliability of web services transactions in cooperative applications
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software organization and properties
    1. Software system structures
      1. Software system models
        State systems

Recommendations

Evaluating the effectiveness of the abstract transaction model in testing Web services transactions

Web services transactions are used to build efficient and reliable Web applications that are distributed across the Internet and are accessed by multiple simultaneous users. Current research develops various models and protocols to improve the ...
Composing Web Services: A QoS View

An Internet application can invoke several services--a stock-trading Web service, for example, could invoke a payment service, which could then invoke an authentication service. Such a scenario is called a composite Web service, and it can be specified ...
Metamorphic Testing for Web Services: Framework and a Case Study
ICWS '11: Proceedings of the 2011 IEEE International Conference on Web Services

Service Oriented Architecture (SOA) has become a major application development paradigm. As a basic unit of SOA applications, Web services significantly affect the quality of the applications constructed from them. Since the development and consumption ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '12: Proceedings of the 27th Annual ACM Symposium on Applied Computing

March 2012

2179 pages

ISBN:9781450308571

DOI:10.1145/2245276

Conference Chairs:
Sascha Ossowski
University Rey Juan Carlos, Spain
,
Paola Lecca
The Microsoft Research - University of Trento COSBI, Italy

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 March 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SAC 2012

Sponsor:

SIGAPP

SAC 2012: ACM Symposium on Applied Computing

March 26 - 30, 2012

Trento, Italy

Acceptance Rates

SAC '12 Paper Acceptance Rate 270 of 1,056 submissions, 26%;

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
232
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 29 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Casado RRubiera ESacristan MSchütte FPeters R(2015)Data interoperability software solution for emergency reaction in the Europe UnionNatural Hazards and Earth System Sciences10.5194/nhess-15-1563-201515:7(1563-1576)Online publication date: 18-Jul-2015
https://doi.org/10.5194/nhess-15-1563-2015
Khosrowshahi Asl EBentahar JOtrok HMizouni R(2015)Efficient Community Formation for Web ServicesIEEE Transactions on Services Computing10.1109/TSC.2014.23129408:4(586-600)Online publication date: Jul-2015
https://doi.org/10.1109/TSC.2014.2312940
Casado RTuya JYounas M(2015)Evaluating the effectiveness of the abstract transaction model in testing Web services transactionsConcurrency and Computation: Practice & Experience10.1002/cpe.285127:4(765-781)Online publication date: 25-Mar-2015
https://dl.acm.org/doi/10.1002/cpe.2851
Casado RRubiera ESacristan MSchütte FPeters R(2014)Data interoperability software solution for emergency reaction in the Europe UnionNatural Hazards and Earth System Sciences Discussions10.5194/nhessd-2-6003-20142:9(6003-6031)Online publication date: 23-Sep-2014
https://doi.org/10.5194/nhessd-2-6003-2014
Reiff-Marganiec SAli M(2013)Maintaining Transactional Integrity in Long Running Workflow ServicesService-Driven Approaches to Architecture and Enterprise Integration10.4018/978-1-4666-4193-8.ch006(135-164)Online publication date: 2013
https://doi.org/10.4018/978-1-4666-4193-8.ch006
Casado RYounas MTuya J(2013)Multi-dimensional criteria for testing web services transactionsJournal of Computer and System Sciences10.1016/j.jcss.2013.01.02079:7(1057-1076)Online publication date: Nov-2013
https://doi.org/10.1016/j.jcss.2013.01.020
Casado RYounas MTuya J(2013)A Generic Framework for Testing the Web Services TransactionsAdvanced Web Services10.1007/978-1-4614-7535-4_2(29-49)Online publication date: 6-Aug-2013
https://doi.org/10.1007/978-1-4614-7535-4_2
Casado RTuya JYounas M(2012)A Family of Test Criteria for Web Services TransactionsProcedia Computer Science10.1016/j.procs.2012.06.11610(880-887)Online publication date: 2012
https://doi.org/10.1016/j.procs.2012.06.116

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten