高级检索
在线提交
 
标题：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
资源类型：期刊论文

个性服务

原文链接

DOI

其他

收藏
点击量(9)
TOP
图书馆 山东大学 人事部 科学技术研究院 地址：中国山东省济南市山大南路27号
研究生院 博物馆 档案馆 学科建设与发展规划部 版权所有：山东大学
课程中心 出版社 本科生院 人文社科研究院(人文社科处)