Requirement Model and Satisfiability Decision for Service Composition

YE Ronghua,JIN Zhi,ZHONG Farong

DOI: https://doi.org/10.3778/j.issn.1673-9418.2011.05.008

2011-01-01

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.