Journal of Frontiers of Computer Science and Technology ›› 2011, Vol. 5 ›› Issue (5): 458-466.

• 学术研究 • Previous Articles     Next Articles

Requirement Model and Satisfiability Decision for Service Composition

YE Ronghua, JIN Zhi, ZHONG Farong   

  1. 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
  • Received:1900-01-01 Revised:1900-01-01 Online:2011-05-01 Published:2011-05-01

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

叶荣华1, 金 芝2,3, 钟发荣1   

  1. 1. 浙江师范大学 计算机科学与技术研究所, 浙江 金华 321004
    2. 北京大学 高可信软件技术教育部重点实验室, 北京 100871
    3. 中国科学院 数学与系统科学研究院, 北京 100190

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.

Key words: composition service requirement, intention, task, Petri net, environment ontology

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

关键词: 组合服务需求, 意图, 任务, Petri 网, 环境本体