webservices are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. To support automated service composition and adaptation, there should be a formal ...
详细信息
ISBN:
(纸本)9783642052491
webservices are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. To support automated service composition and adaptation, there should be a formal approach for modeling web service behavior. In this paper we present a novel methodology of modeling and analyzing based on regular flow nets extended from Petri nets and YAWL. Firstly, we motivate the formal definition of regular flow nets. Secondly, the formalism for dealing with symbolic marking is developed and it is used to define symbolic coverability tree. Finally, an algorithm for generating symbolic coverability tree is presented. Using symbolic coverability tree we can analyze the properties of regular flow nets we concerned. The technology of modeling and analyzing we proposed allows us to deal with cyclic services and data dependence among services.
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 wor...
详细信息
ISBN:
(纸本)9783037850176
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 webservice 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.
Publishing real data by web, showing the information spot has become modern industrial hot topic. With advanced technology of Java Script and webservices, this paper introduces a new method for data exchange without ...
详细信息
Publishing real data by web, showing the information spot has become modern industrial hot topic. With advanced technology of Java Script and webservices, this paper introduces a new method for data exchange without refreshing, which is based on B/S structural application system, this method updates part page dynamic without refreshing full page, settles the problem of page dithering, low efficiency and so on.
暂无评论