Agreement and compensation verification in long-running transactions. | [Sindh University Research Journal • 2012]

Author(s):

1. S. Vighio: Department of Information Technology, Quaid-e-Awam University, Nawabshah, Pakistan

2. F. H. Chandio: Institute of Mathematics and Computer Science, University of Sindh, Jamshoro, Pakistan

3. G. M. Shah: Department of Information Technology, Quaid-e-Awam University, Nawabshah, Pakistan

4. Z. H. Abro: Department of Information Technology, Quaid-e-Awam University, Nawabshah, Pakistan

5. I. A. Korejo: Institute of Mathematics and Computer Science, University of Sindh, Jamshoro, Pakistan

Abstract:

This paper presents formal analysis of an application example that makes use of long-running, nested, and compensation-based services which require coordination and agreement in order to perform a joint business task. The communication is supported with the use of Web Services Business Activity protocol suitable for implementation of complex business processes. The main contributions of the paper include the analysis of the suitability of the business activity protocol in order to be used in complex services that the designers claim this protocol is developed for. Furthermore, the paper proposes a separation of compensation logic from the protocol about which the protocol specification is not clear. Analysis is performed using the model-checker UPPAAL and the property of main interest is to verify the consistent outcome of the business process once the services complete their work.

Page(s): 295-302

DOI: DOI not available

Published: Journal: Sindh University Research Journal, Volume: 44, Issue: 2, Year: 2012

Keywords:

Keywords are not available for this article.

References:

References are not available for this document.

Citations

Citations are not available for this document.

Citations

Downloads

Views