Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/2077489.2077513acmotherconferencesArticle/Chapter ViewAbstractPublication PagesmedesConference Proceedingsconference-collections
research-article

A framework for reliable execution of transactional composite web services

Published: 21 November 2011 Publication History

Abstract

Web Services (WSs) that provide transactional properties are useful to guarantee reliable Composite WSs (CWSs) execution. In this paper, we propose a framework for efficient, fault tolerant, and correct distributed execution of Transactional CWSs (TCWSs). Our framework relies on WSs replacement and on a compensation protocol to support forward and backward recovery. We represent a TCWS and its corresponding backward recovery process by Colored Petri-Nets (CPNs) and, to ensure correct execution and compensation flows, unfolding processes of the CPNs are followed. We formalize the TCWS execution and recovery processes based on CPN properties. We also present the framework architecture and execution and recovery algorithms.

References

[1]
V. Azevedo, M. Mattoso, and P. Pires. Handling dissimilarities of autonomous and equivalent web services. In Proc. of Caise-WES, 2003.
[2]
Y. Cardinale, J. El Haddad, M. Manouvrier, and M. Rukoz. CPN-TWS: A colored petri-net approach for transactional-qos driven web service composition. International Journal of Web and Grid Services, 7(1): 91--115, 2011.
[3]
Y. Cardinale, J. El Haddad, M. Manouvrier, and M. Rukoz. Transactional-aware Web Service Composition: A Survey. IGI Global - Advances in Knowledge Management (AKM) Book Series, 2011.
[4]
J. El Haddad, M. Manouvrier, and M. Rukoz. TQoS: Transactional and QoS-aware selection algorithm for automatic Web service composition. IEEE Trans. on Services Computing, 3(1): 73--85, 2010.
[5]
H. Fernandez, T. Priol, and C. Tedeschi. Decentralized approach for execution of composite web services using the chemical paradigm. In IEEE Int. Conf. on Web Services, pages 139--146, 2010.
[6]
N. B. Lakhal, T. Kobayashi, and H. Yokota. FENECIA: failure endurable nested-transaction based execution of compo site Web services with incorporated state analysis. VLDB Journal, 18(1): 1--56, 2009.
[7]
A. Liu, Q. Li, L. Huang, and M. Xiao. FACTS: A Framework for Fault Tolerant Composition of Transactional Web Services. IEEE Trans. on Services Computing, 3(1): 46--59, 2010.
[8]
D. Martin, D. Wutke, and F. Leymann. Tuplespace middleware for petri net-based workflow execution. Int. J. Web Grid Serv., 6: 35--57, March 2010.
[9]
X. Mei, A. Jiang, S. Li, C. Huang, X. Zheng, and Y. Fan. A compensation paired net-based refinement method for web services composition. Advances in Information Sciences and Service Sciences, 3(4), 2011.
[10]
F. Rabbi, H. Wang, and W. MacCaull. Compensable workflow nets. In Formal Methods and Software Engineering - 12th Int. Conf. on Formal Engineering Methods, volume 6447 of LNCS, pages 122--137. 2010.
[11]
Y. Wang, Y. Fan, and A. Jiang;. A paired-net based compensation mechanism for verifying Web composition transactions. In The 4th Int. Conf. on New Trends in Information Science and Service Science, 2010.
[12]
W. Yu. Fault handling and recovery in decentralized services orchestration. In The 12th Int. Conf. on Information Integration and Web-based Applications #38; Services, iiWAS, pages 98--105. ACM, 2010.
[13]
Z. Zhao, J. Wei, L. Lin, and X. Ding. A concurrency control mechanism for composite service supporting user-defined relaxed atomicity. In The 32nd Annual IEEE Int. Computer Software and Applications Conf., pages 275--278, 2008.

Cited By

View all
  • (2024)Towards Automated Semantics-Driven Web Service Composition: Case Study on Question Answering Systems2024 IEEE 18th International Conference on Semantic Computing (ICSC)10.1109/ICSC59802.2024.00013(41-48)Online publication date: 5-Feb-2024
  • (2018)Modeling dynamic recovery strategy for composite web services executionWorld Wide Web10.1007/s11280-015-0329-119:1(89-109)Online publication date: 25-Dec-2018
  • (2018)Service Modelling and Verification: A Formal ApproachWebservices10.1007/978-981-13-3224-1_1(1-23)Online publication date: 1-Dec-2018
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences
MEDES '11: Proceedings of the International Conference on Management of Emergent Digital EcoSystems
November 2011
316 pages
ISBN:9781450310475
DOI:10.1145/2077489
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]

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 November 2011

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article

Conference

MEDES'11

Acceptance Rates

MEDES '11 Paper Acceptance Rate 26 of 82 submissions, 32%;
Overall Acceptance Rate 267 of 682 submissions, 39%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)1
Reflects downloads up to 20 Nov 2024

Other Metrics

Citations

Cited By

View all
  • (2024)Towards Automated Semantics-Driven Web Service Composition: Case Study on Question Answering Systems2024 IEEE 18th International Conference on Semantic Computing (ICSC)10.1109/ICSC59802.2024.00013(41-48)Online publication date: 5-Feb-2024
  • (2018)Modeling dynamic recovery strategy for composite web services executionWorld Wide Web10.1007/s11280-015-0329-119:1(89-109)Online publication date: 25-Dec-2018
  • (2018)Service Modelling and Verification: A Formal ApproachWebservices10.1007/978-981-13-3224-1_1(1-23)Online publication date: 1-Dec-2018
  • (2016)Comparing Drools and Ontology Reasoning Approaches for Automated Monitoring in Telecommunication ProcessesProcedia Computer Science10.1016/j.procs.2016.09.34595(353-360)Online publication date: 2016
  • (2015)Dynamic Composite Web Service Execution by Providing Fault-Tolerance and QoS MonitoringService-Oriented Computing - ICSOC 2014 Workshops10.1007/978-3-319-22885-3_32(371-377)Online publication date: 2-Sep-2015
  • (2013)Dynamic recovery decision during composite web services executionProceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems10.1145/2536146.2536152(187-194)Online publication date: 28-Oct-2013
  • (2012)FACETA*: Checkpointing for Transactional Composite Web Service Execution based on Petri-NetsProcedia Computer Science10.1016/j.procs.2012.06.11510(874-879)Online publication date: 2012
  • (2012)Web Service Composition Based on Petri NetsRevised Selected Papers of the 5th International Workshop on Resource Discovery - Volume 819410.1007/978-3-642-45263-5_5(83-122)Online publication date: 27-May-2012
  • (2012)Modeling Snapshot of Composite WS Execution by Colored Petri NetsRevised Selected Papers of the 5th International Workshop on Resource Discovery - Volume 819410.1007/978-3-642-45263-5_2(23-44)Online publication date: 27-May-2012

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media