支持服务组合的需求模型及其可满足性判定

• 作者: 叶荣华 金芝 钟发荣
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 组合服务需求 意图 任务 Petri网 环境本体
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 学术研究
• 页码范围: 458-466
• 分类号: TP311
• 字数: 5837字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2011.05.008

摘要

服务组合一般是根据用户需求来查找匹配的服务并对其进行组合,但用户需求往往是基于自然语.言的,很难用于服务的自动组合.提出了一种基于环境本体的组合服务需求模型,该模型以环境实体上的意图为基础,将关联意图集定义为任务.引入Petri网作为任务间的控制逻辑关系,并给出了一种判定需求可满足性的方法.最后选择旅行安排作为具体案例,展示了该模型的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶荣华	浙江师范大学计算机科学与技术研究所	39	236	8.0	13.0
2	金芝	北京大学高可信软件技术教育部重点实验室	32	1503	14.0	32.0
6	钟发荣	浙江师范大学计算机科学与技术研究所	25	46	4.0	5.0