Volume 4 Number 8 (Oct. 2009)
Home > Archive > 2009 > Volume 4 Number 8 (Oct. 2009) >
JSW 2009 Vol.4(8): 907-914 ISSN: 1796-217X
doi: 10.4304//jsw.4.8.907-914

Binary Activity Chain Modes for Compositional Web Service and Its Compliance Verification

Bo Chen, Chungui Li, Qixian Cai
Department of Computer Engineering, Guangxi University of Technology, Liuzhou, 545006, China

Abstract—requirement-driven behavior verification for compositional Web service is one of hot research issues for Web computing. Modeling and analysis of the behavior requirements of compositional Web service plays an important role in behavioral verification. Traditional methods are expressing requirements as LTL like logic specifications which are based on activities or as MSC like graph forms which are based scenarios. In this paper, we propose the concept of behavior specification based on activity chain in which its atomic granularity is between activity and scenario. Four behavioral modes such as chain existence mode, chain absence mode, chain precondition mode and chain response mode are adopted to express usual requirement specifications. Encode them on Labeled Transition System LTS and then give them operation semantics. Check compositional Web services based on LTS corresponds with behavior modes or not. Give the sufficient, necessary condition and algorithm for checking.

Index Terms—Specification, Stateful Web Services, Composite Web Services, Model checking

[PDF]

Cite: Bo Chen, Chungui Li, Qixian Cai, "Binary Activity Chain Modes for Compositional Web Service and Its Compliance Verification," Journal of Software vol. 4, no. 8, pp. 907-914, 2009.

General Information

ISSN: 1796-217X (Online)
Frequency: Monthly (2006-2019); Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Dec 06, 2019 News!

    Vol 14, No 1- Vol 14, No 4 has been indexed by EI (Inspec)   [Click]

  • Apr 16, 2020 News!

    Papers published in JSW Vol 14, No 1- Vol 15 No 1 have been indexed by DBLP     [Click]

  • May 12, 2020 News!

    Vol 15, No 4 has been published with online version     [Click]

  • Aug 01, 2018 News!

    [CFP] 2020 the annual meeting of JSW Editorial Board, ICCSM 2020, will be held in Rome, Italy, July 17-19, 2020   [Click]

  • May 12, 2020 News!

    The papers published in Vol 15, No 4 have all received dois from Crossref     [Click]