标题：A logical Petri net-based model for web service cluster composition and soundness verification
作者：Wu, Hongyue ;Yu, Shuxia ;Du, Yuyue
作者机构：[Wu, Hongyue ;Yu, Shuxia ;Du, Yuyue ] College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, C 更多
来源：Journal of Computational Information Systems
摘要：Web service discovery and composition with service clusters (SCs) as the basic compositional units have many potential advantages, such as reducing service searching space, improving searching efficiency, and increasing the adaptability of compositional processes. In this paper, a logical Petri net-based approach for modeling and description of SCs is proposed, and the network structure of composite service clusters, logical service cluster nets (LSCNs), are presented to composite SCs in a virtual level. Basic composition operation models are provided and the soundness of LSCNs is defined to verify their logical correctness. © 2013 by Binary Information Press.