基于Petri网的网络化软件行为可信性分析方法研究

项目名称： 基于Petri网的网络化软件行为可信性分析方法研究

项目编号： No.61272153

项目类型： 面上项目

立项/批准年度： 2013

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

项目作者： 方贤文

作者单位： 安徽理工大学

项目金额： 81万元

中文摘要： 本项目重点剖析网络化软件在系统构建和运行过程中存在的问题，分析问题根源，凝练关键科学问题，以网络化软件的行为分析为主线，以实现软件功能和行为可预期性为目标，基于Petri网的行为理论提出了网络化软件的行为可信性分析方法。主要内容包括：(1)针对构建阶段的静态交互过程，为分析网络化组件间的相互影响，研究Petri网的聚合运算理论及行为相关性分析方法，以实现功能可预期的判定。(2)针对运行阶段的动态交互过程，为分析外部因素的影响，研究基于过程挖掘的动态行为模型构建方法，以及模型的行为一致性和基于Petri网行为轮廓的弱一致性理论，以分析软件的行为可预期性。(3)对于非可信行为，研究非可信行为检测和控制方法。(4)基于上述理论成果，研制面向电子交易系统的行为可信性分析工具。本项目的研究将丰富可信软件理论，对于Internet环境下的软件行为可信性分析有着重要的理论意义和应用价值。

中文关键词： Petri网；行为可信性；网络化软件；行为一致性；行为轮廓

英文摘要： This project focuses on the problem analysis of networked software in the system building and running phase, then analyzes the root of the problem, and generalizes key scientific issues. Taking the behavior analysis of the networked software as the main line, in order to achieve software function and behavior can be expected, the analysis methods about the behavior trustworthiness of the networked software are proposed based on the behavior theories of Petri net. The main contents include: (1) Aimed to the static interaction process in building phase, for analyzing the interaction influence between networked components, we study the aggregation operation theories of Petri net and the analysis methods of behavior relativity, in order to implement the determination of the predictable function. (2) Aimed to the dynamic interaction process in running phase, for analyzing the influence of external factors, we study the building methods of the dynamic behavior model based on the process mining, and the behavior conformance theories, further to study the weak conformance theories based on the behavior profile of Petri net, in order to analyze whether software behavior is expected or not. (3) For non-trustworthy behavior, the non-trustworthy behavior detection and control methods will be presented. (4) Based on the abov

英文关键词： Petri net；behavior trustworthiness；networked software；behavior consistency；behavioral profile