| 支持服务组合的需求模型及其可满足性判定 |
| |
| 引用本文： | 叶荣华,金芝,钟发荣.支持服务组合的需求模型及其可满足性判定[J].计算机科学与探索,2011,5(5):458-466. |
| |
| 作者姓名： | 叶荣华 金芝 钟发荣 |
| |
| 作者单位： | 1. 浙江师范大学计算机科学与技术研究所,浙江,金华,321004
2. 北京大学高可信软件技术教育部重点实验室,北京,100871;中国科学院数学与系统科学研究院,北京,100190 |
| |
| 基金项目： | 国家自然科学基金，浙江省自然科学基金 |
| |
| 摘 要： | 服务组合一般是根据用户需求来查找匹配的服务并对其进行组合,但用户需求往往是基于自然语.言的,很难用于服务的自动组合.提出了一种基于环境本体的组合服务需求模型,该模型以环境实体上的意图为基础,将关联意图集定义为任务.引入Petri网作为任务间的控制逻辑关系,并给出了一种判定需求可满足性的方法.最后选择旅行安排作为具体案例...
|
| 关 键 词： | 组合服务需求 意图 任务 Petri网 环境本体 |
| 修稿时间： | |
Requirement Model and Satisfiability Decision for Service Composition |
| |
| YE Ronghua,JIN Zhi,ZHONG Farong.Requirement Model and Satisfiability Decision for Service Composition[J].Journal of Frontier of Computer Science and Technology,2011,5(5):458-466. |
| |
| Authors: | YE Ronghua JIN Zhi ZHONG Farong |
| |
| Affiliation: | 1. Institute of Computer Science and Technology, Zhejiang Normal University, Jinhua, Zhejiang 321004, China 2. Key Laboratory of High Confidence Software Technologies, Ministry of Education, Peking University, Beijing 100871, China 3. Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China |
| |
| Abstract: | Generally, the achievement of service composition depends on finding the matched services according to user requirements. Nevertheless the user’s needs, which are expressed by natural language usually, are difficult to be used for aggregating services. This paper proposes a requirement model based on environment ontology for composition service. This model is based on the concepts — intention which is defined on one environment entity, and task which is a set of associated intentions. Furthermore, Petri net is applied to represent the relationship between tasks in one requirement, and a method to distinguish requirement is given in this model. Finally, a specific example, travel arrangement, demonstrates the effectiveness of the model. |
| |
| Keywords: | composition service requirement intention task Petri net environment ontology |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 |
|
点击此处可从《计算机科学与探索》下载全文 |
|
