逻辑Petri网演化推理机制研究及其在服务组合中的应用

项目名称： 逻辑Petri网演化推理机制研究及其在服务组合中的应用

项目编号： No.61170078

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 计算机科学学科

项目作者： 杜玉越

作者单位： 山东科技大学

项目金额： 57万元

中文摘要： 随着Web服务数量增加，服务查找与绑定难度加大，服务发现效率及服务组合的动态性和自适应性急需提高。本项目把一组功能相似的服务映射为虚拟层的一个服务簇，构建一种基于服务簇的服务组合模式，研究逻辑Petri网的演化推理机制，并将其应用于基于服务簇的服务组合建模与分析。基于逻辑Petri网对服务簇进行建模，构建服务簇网元。研究逻辑Petri网的运算性质，给出逻辑Petri网的运算算子及其运算条件，构建逻辑Petri网运算规则。研究逻辑Petri网之间的链接模式和动态链接规则，以及逻辑表达式推理与网进程演化推理相结合的融合推理技术。运用上述理论成果研究基于服务簇的服务组合、服务绑定、组合优化、动态性和自适应性等问题。最后，以电子商务为应用背景开发验证分析工具，例证逻辑Petri网的演化推理机制在服务组合建模分析中的有效性和实用性。

中文关键词： 逻辑Petri网；服务簇；动态链接；融合推理；自适应性

英文摘要：

英文关键词： Logic Petri Net；Service Cluster；Dynamic Linking；Fusion Reasoning；Adaptability