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.
activity chaint behavioral requirement composite E-service dynamic operation semantics labelled transit system
Bo Chen Chungui Li Qixian Cai
Dept. Of Computer Engineering Guangxi University of Technology Liuzhou, China, 545006
国际会议
武汉
英文
595-598
2009-11-18（万方平台首次上网日期，不代表论文的发表时间）