标题: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 更多
通讯作者:Du, Y
来源:Journal of Computational Information Systems
出版年:2013
卷:9
期:13
页码:5221-5228
DOI:10.12733/jcis6394
摘要: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.
收录类别:EI
资源类型:期刊论文
TOP