Composite E-services Behavioral Requirements Based on Activity Chain and Their Dynamic Operation Semantics

E-service composition is most impressing method for development and deployment of e-business. Description and modeling the behavior requirements of composite e-services for users is an important key in design of services. But most work does not address the issue of how to model the requirements that the BPEL4WS processes are supposed to satisfy. The specifications in verification works are general temporal relation based on actions or messages in essence. Distinguish with these work, we propose novel concepts of behavior specifications based on activity chain and activity sequence in which granularity is between activity and scenario. Four behavior 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. Encode them on Labeled Transition System LTS and then give them exact operation semantics. The result facilitates users to check whether composite E-services are compliant with the behavioral chain modes.