• Dec 20, 2018 News!JACN Vol.6, No.2 has been published with online version.   [Click]
  • Sep 17, 2018 News!Welcome to 2019 4th International Conference on Information and Network Technologies (ICINT 2019), which will be held in Kyoto, Japan during May 25-27, 2019.   [Click]
  • Jul 04, 2018 News!JACN Vol.6, No.1 has been published with online version.   [Click]
General Information
    • ISSN: 1793-8244
    • Frequency: Semiyearly
    • DOI: 10.18178/JACN
    • Editor-in-Chief: Dr. Ka Wai Gary Wong
    • Executive Editor: Ms. Nina Lee
    • Abstracting/ Indexing: EI (INSPEC, IET),  Electronic Journals Library, Ulrich's Periodicals Directory, EBSCO, ProQuest, and Google Scholar.
    • E-mail: jacn@ejournal.net
Dr. Ka Wai Gary Wong
Division of Information and Technology Studies, Faculty of Education, The University of Hong Kong.
It's a honor to serve as the editor-in-chief of JACN. I'll work together with the editors and reviewers to help the journal progress
JACN 2016 Vol.4(4): 193-200 ISSN: 1793-8244
DOI: 10.18178/JACN.2016.4.4.230

Verification of Service Composition and Compensation by Using Process Algebra

S. Ripon, F. Sultana, and F. Rahman
Abstract—Web service technology provides a platform that facilitates the development of distributed services. In order to support business to business interactions within the distributed environment a crying need is to aggregate web services and assemble them is a goal oriented infrastructure. With the emergence of web services, the coordination and interaction involved between multiple business partners are conducted by using the web services. Faults can arise at any stage of business transaction and handling such faults where multiple partners are involved is both crucial and difficult. Process algebras can be used to model concurrent and distributed interactive systems. Compensating CSP is a language defined to model business transactions within the framework of CSP process algebra. It has the facility to model faults within a transaction as compensations. However, the language lacks automated tool support to verify the service composition. Finite state Process (FSP), on the other hand, is designed to model the composition of web services and importantly, it has an automated tool support for verification of composition of services, however there is no construct for compensation. By combining the benefits the both cCSP and FSP, this paper illustrates a mechanism to model and verify the composition of services and compensation in FSP by following the mechanism adopted in cCSP. The verification of composition properties is performed by LTSA tool.

Index Terms—Compensation, web services, cCSP, FSP.

S. Ripon, F. Sultana, and F. Rahman are with the Department of Computer Science and Engineering, East West University, Bangladesh (e-mail: dshr@ewubd.edu).


Cite:S. Ripon, F. Sultana, and F. Rahman, "Verification of Service Composition and Compensation by Using Process Algebra," Journal of Advances in Computer Networks vol. 4, no. 4, pp. 193-200, 2016.

Copyright © 2008-2018. Journal of Advances in Computer Networks.  All rights reserved.
E-mail: jacn@ejournal.net