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

摘要

服务组合一般是根据用户需求来查找匹配的服务并对其进行组合,但用户需求往往是基于自然语.言的,很难用于服务的自动组合.提出了一种基于环境本体的组合服务需求模型,该模型以环境实体上的意图为基础,将关联意图集定义为任务.引入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.