Design of Activity Chain Behavioral Modes for Composite E-Service and Verification

Abstract:

The paper presents a novel concept of behavior specifications based on activity chain in which 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 designed to express usual behavioral requirements based on activity chain and encoded on labeled transition system (LTS) with exact operation semantics.Compliance of composite E-service against activity chain modes is fitly defined to check whether composite E-services based on LTS correspond with activity chain modes.Finally,the paper presents the sufficient,necessary condition and algorithm for checking.