Paper Title:
Modeling Web Service Behavior Based on Workflow Nets and Consume-Produce-Read Nets
  Abstract

To support automated service composition, adaptation and verification, there should be a formal model for web service behavior description. For the sake of accurately representing web service behavior, inspired by workflow nets and consume-produce-read nets, we propose a novel formal model for web service behavior description, which can not only describe the control flow, but also the data flow as well as the communication flow of the web service accurately. The model regards tokens, data and messages as control resources, data resources and communication resources and adopts completely different store-and-fetch strategies for each kind of resources respectively.

  Info
Periodical
Key Engineering Materials (Volumes 467-469)
Edited by
Dehuai Zeng
Pages
114-118
DOI
10.4028/www.scientific.net/KEM.467-469.114
Citation
G. R. Cao, Q.P. Tan, H. Wu, "Modeling Web Service Behavior Based on Workflow Nets and Consume-Produce-Read Nets", Key Engineering Materials, Vols. 467-469, pp. 114-118, 2011
Online since
February 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: Tso Hsien Liao, Yi Sheng Huang
Abstract:Statechart has been utilized as a visual formalism for the modeling of complex systems. It illuminates the features on describing properties...
1736
Authors: Yi Sheng Huang, Tso Hsien Liao
Reverse Engineering
Abstract:Statechart has been utilized as a visual formalism for the modeling of complex systems. It illuminates the features on describing properties...
1582