Petri网的交互行为理论及在软件行为可信性分析中的应用

项目名称： Petri网的交互行为理论及在软件行为可信性分析中的应用

项目编号： No.61170059

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 方贤文

作者单位： 安徽理工大学

项目金额： 15万元

中文摘要： 本项目着重剖析现有的组件软件系统在构建和运行过程中存在的问题，以开放环境下组件的按需聚合为基本出发点，以实现聚合后的软件行为可信为基本目标。针对目前已有的理论和方法在解决此类问题方面存在局限性，本项目研究基于Petri网的交互行为理论，在组件软件构建阶段，研究基于开放Petri网的聚合运算理论及行为相关性分析方法。在组件软件运行阶段，研究基于运行日志的动态行为模型挖掘方法，以及Petri网模型的行为一致性理论及评估方法。然后面向开放环境下软件行为可信性分析进行应用研究，开展基于行为相关性的功能可预期性分析，以及基于行为一致性的行为可预期性分析，以实现开放环境下软件行为可信性分析的目标。最后提供基于Petri网交互行为理论的形式化验证、相关性分析、一致性保障、防治诊断等系统行为可信性保障管理机制，以规避软件非可信行为，为开放环境下的软件行为可信性分析提供理论和技术支撑。

中文关键词： Petri 网；行为可信性；行为一致性；行为轮廓；业务流程

英文摘要：

英文关键词： Petri net；Behavior trustworthiness；Behavior Consistency；Behavior profile；Business process