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

Requirement Model and Satisfiability Decision for Service Composition

作　　者：叶荣华[1] 金芝[2,3] 钟发荣[1] 

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

出　　处：《计算机科学与探索》2011年第5期458-466,共9页Journal of Frontiers of Computer Science and Technology

基　　金：国家自然科学基金 No.90818026;60873234;浙江省自然科学基金 No.Y1110483~~

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

关 键 词：组合服务需求 意图 任务 PETRI网 环境本体 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]