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
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
  • Aug 21, 2019 News!

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

  • Jun 25, 2019 News!

    Vol.13, No.9 has been indexed by EI (Inspec).   [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]

  • Jul 10, 2019 News!

    Vol 14, No.8 has been published with online version 4 original aritcles from 2 countries are published in this issue.    [Click]

  • Sep 12, 2019 News!

    Vol 14, No 10 has been published with online version 4 original aritcles from 2 countries are published in this issue      [Click]