• Jul 03, 2017 News!JACN Vol.4, No.2 has been indexed by EI (inspec)!   [Click]
  • Jul 12, 2017 News!JACN Vol.5, No.1 has been published with online version.
  • Jul 03, 2017 News!Welcome to join in the 2017 8th International Conference on Networking and Information Technology (ICNIT 2017), which will be held in Penang, Malaysia during November 24-26, 2017.
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), Engineering & Technology Digital Library, DOAJ, Electronic Journals Library, Ulrich's Periodicals Directory, International Computer Science Digital Library (ICSDL), ProQuest, and Google Scholar.
    • E-mail: jacn@ejournal.net
Editor-in-chief
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).

[PDF]

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-2017. Journal of Advances in Computer Networks.  All rights reserved.
E-mail: jacn@ejournal.net