Academic Journals Database
Disseminating quality controlled scientific knowledge

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

Author(s): Bo Chen | Chungui Li | Qixian Cai

Journal: Journal of Software
ISSN 1796-217X

Volume: 4;
Issue: 8;
Start page: 907;
Date: 2009;
Original page

Keywords: Specification | Stateful Web Services | Composite Web Services | Model checking

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.
Why do you need a reservation system?      Save time & money - Smart Internet Solutions