Paper Title:
The Safety and Liveness Properties of Composite E-Services Based on Activity Chain
  Abstract

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, 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
$32.00
Share

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

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

Authors: Wei Hui Dai
Abstract:Due to the intensely increasing competition and rapidly changing demand, Mass Customization(MC) manufacture has been the new trend for modern...
686
Authors: Shou Wen Ji, Ting Deng, Yan Tao Dong
Chapter 1: Materials Design
Abstract:This paper studies the concept, connotation of green supply chain in the background of electronic manufacture industry, its operating model...
142
Authors: Da Gang Chen, Sheng Yin
Chapter 4: Supply Chain and E-Commerce System
Abstract:Radio Frequency Identification (RFID) RFID technology can help enterprises of supply chain to get the operation information of other...
444
Authors: Lei Dong, Xiao Kun Zhao, Wen Ping Zhou, Qin Lv
Chapter 12: Power System Management
Abstract:The critical chain project management theory(CCPM) combining the critical chain technology and resource-constrained project scheduling...
1985
Authors: Kang Yu, Zhen Bang Chen, Wei Dong
Chapter 4: Communication, Networks, Applied Information Technologies, Algorithms and Data Processing
Abstract:For some key fields like energy, traffic, etc., the system software has high reliability demands, so that monitors not only need to pay...
333