An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service
An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service
复制标题
一种用于建模和验证复合 Web 服务的综合 Petri 网方法
DOI：
--
复制
发表时间：
2008
影响因子：
1.1
通讯作者：
CHANG-JUN JIANG
中科院分区：
文献类型：
--
作者：
ZHI-JUN DING;JUN-LI WANG;CHANG-JUN JIANG
提出了一种基于OWL-S的Web服务组合Petri网建模方法。该方法首先采用自顶向下的方法对组合Web服务的控制流进行建模;然后根据数据流规范用Petri网建立数据流模型。然后，采用自底向上的同步组合方法，将组合服务的数据流网和控制流网结合起来，形成一个集成服务网。因此，可以以渐进的方式引入细节。此外，基于建模方法，Petri网模型的有界性和活性的性质进行了分析，以保证组合Web服务的正确性。分析和验证技术基于属性保持准则，从而降低了复杂性。最后，所提出的方法的应用建模的案例研究：BuyOnline Web服务。
An approach for modeling Web service composition by Petri nets which is based on OWL-S is proposed. By this approach, first, control flow of the composite web service is modeled based on top-down method. Then data flow model is constructed with Petri nets according to data flow specification. After that, by using a bottom-up approach, synchronous composition, the data flow net of the composite service is combined with the control flow net to obtain an integrated service net. So, the details can be introduced in an incremental way. Moreover, based on modeling approach, the boundedness and liveness properties of Petri net models are analyzed for guaranteeing the correctness of the composite Web service. Analysis and verification technique is based on the properties preservation criteria such that complexity is alleviated. Finally, an application of the proposed approach is presented for modeling a case study: BuyOnline Web service.
登录
查看更多内容
DOI：
--
发表时间：
2007
期刊：
J. Inf. Sci. Eng.
影响因子：
--
作者：
Hejiao Huang;T. Cheung;Xiaolong Wang
通讯作者：
Hejiao Huang;T. Cheung;Xiaolong Wang
DOI：
10.1007/3-540-45594-9_11
发表时间：
2000
期刊：
--
影响因子：
--
作者：
Wil M.P. van der Aalst
通讯作者：
Wil M.P. van der Aalst
DOI：
10.1007/3-540-46121-3_6
发表时间：
2002-08
期刊：
--
影响因子：
--
作者：
Massimo Mecella;F. Parisi-Presicce;B. Pernici
通讯作者：
Massimo Mecella;F. Parisi-Presicce;B. Pernici
DOI：
10.1109/icws.2005.46
发表时间：
2005-07
期刊：
IEEE International Conference on Web Services (ICWS'05)
影响因子：
--
作者：
A. Wombacher
通讯作者：
A. Wombacher
DOI：
10.1016/j.tcs.2004.07.016
发表时间：
2004-12
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Hejiao Huang;T. Cheung;W. M. Mak
通讯作者：
Hejiao Huang;T. Cheung;W. M. Mak