- 期刊
- OpenAccess
An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service
並列摘要
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.
並列關鍵字
web service ； service composition ； Petri net ； modeling ； verification ； refinement ； composition被引用紀錄
延伸閱讀
- Tsai, J. I. (2010). Construction and Applications of Novel Petri Nets Models [doctoral dissertation, National Chiao Tung University]. Airiti Library. https://doi.org/10.6842/NCTU.2010.00582
- Jung, W. S., Lee, E. J., Kim, K. S., & Wu, C. S. (2011). An Entropy-based Complexity Measure for Web Applications Using Structural Information. Journal of Information Science and Engineering, 27(2), 595-619. https://doi.org/10.6688/JISE.2011.27.2.13
- Krishnan, R. B., & Sakthivel, N. (2012). Development of an Efficient QoS based Web Services Compositions Mechanism for Semantic Web. Research Journal of Applied Sciences, Engineering and Technology, 4(8), 987-994. https://www.airitilibrary.com/Article/Detail?DocID=20407467-201204-201411100021-201411100021-987-994
- Liu, D., Yao, S. W., Zeng, Y., Zhao, K., Guo, Y. A., & Li, L. (2021). Research of the Service Composition Optimization Model Based on Petri Net. 電腦學刊, 32(5), 101-114. https://doi.org/10.53106/199115992021103205008
- Beirong, Z., Xiaowen, X., & Wei, X. (2012). Availability Modeling and Analysis of Equipment Based on Generalized Stochastic Petri Nets. Research Journal of Applied Sciences, Engineering and Technology, 4(21), 4362-4366. https://www.airitilibrary.com/Article/Detail?DocID=20407467-201211-201512080011-201512080011-4362-4366