The Safety and Liveness Properties of Composite E-Services Based on Activity Chain

Abstract:

Article Preview

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 and verifying composite E-service compliance to specific requirements is an important step 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 activity or scenario in essence. Distinguish with these work, we propose a novel concept of behavior specification based on activity chain in which granularity is between activity and scenario. Chain existence mode, chain absence mode are designed to express such behavioral requirements based on activity chain that is similar with safety or liveness property based on activity respectively. Encode them on Labeled Transition System LTS and then give them exact operation semantics. Finally, an example is illustrated.

Info:

Periodical:

Advanced Materials Research (Volumes 219-220)

Edited by:

Helen Zhang, Gang Shen and David Jin

Pages:

842-845

DOI:

10.4028/www.scientific.net/AMR.219-220.842

Citation:

B. Chen and X. M. Huang, "The Safety and Liveness Properties of Composite E-Services Based on Activity Chain", Advanced Materials Research, Vols. 219-220, pp. 842-845, 2011

Online since:

March 2011

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.