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:  Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, Google Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Apr 26, 2021 News!

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

  • Jun 22, 2020 News!

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

  • Sep 13, 2021 News!

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

  • Jan 28, 2021 News!

    [CFP] 2021 the annual meeting of JSW Editorial Board, ICCSM 2021, will be held in Rome, Italy, July 21-23, 2021   [Click]

  • Sep 13, 2021 News!

    Vol 16, No 6 has been published with online version     [Click]