基于约束规划的语义Web服务动态组合技术研究

项目名称： 基于约束规划的语义Web服务动态组合技术研究

项目编号： No.60873237

项目类型： 面上项目

立项/批准年度： 2009

项目学科： 金属学与金属工艺

项目作者： 廖乐健

作者单位： 北京理工大学

项目金额： 30万元

中文摘要： Web服务组合技术的研究旨在为自动化构建面向服务的分布式应用提供了基础，但是自动化服务组合技术需要解决语义互操作和推理复杂性等的问题，并且在组合服务的可信与可靠性方面提供技术保障。本课题在约束表示语言和语义Web语言的基础上构建服务功能、质量和过程协议模型，并使用模型检测规划技术、约束求解技术解决动态服务组合问题。提出了语义Web服务协议的本体建模，在这一模型的基础上，研究了基于约束满足和符号执行相结合的Web服务发现、组合、执行、监控等问题。进一步在Web服务安全性、Web服务验证和Web服务挖掘等方面都取得了一定的成果。相应成果发表在包括领域顶级会议SIGIR、国际语义Web大会、GlobeCom 在内的国际会议及若干SCI期刊上。

中文关键词： 语义Web服务;动态服务组合;模型检测;约束求解;

英文摘要： The researches of Web service composition aim to underlied the automated construction of service-oriented distributed applications. For the realization of automated service composition, however, it is necessary to solve such problems as semantic interoperation and reasoning complexities， and to provide technical assurance in the trustfulness and reliability of the composed services. The project constructed models of service functionalities, service quality, and process protocols. The techniques of model checking and constraint solving are used to solve the dynamic service composition problems.An ontological modeling of semantic web service protocol is proposed, the research of discovery, composition, execution and monitoring of web services is carried out based on this ontology model with the help of constraint solving and symbolic execution. More improvments are achieved in the field of security, verification and mining of web services. Corresponding results has been published on top level international conferences such as SIGIR, ISWC, GlobeCom and some SCI indexed journals.

英文关键词： Semantic Web Service;Automatic Service Composition; Model Checking; Constraint Solving