基于行为Petri网的业务系统变化域分析方法及应用研究

项目名称： 基于行为Petri网的业务系统变化域分析方法及应用研究

项目编号： No.61402011

项目类型： 青年科学基金项目

立项/批准年度： 2014

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

项目作者： 刘祥伟

作者单位： 安徽理工大学

项目金额： 26万元

中文摘要： 业务系统的变化域是潜在的、易导致系统出现非一致性的区域，从流程模型变化域的角度来分析业务系统可信性，也是解决业务系统可信管理的关键点之一。目前已有少量学者开展系统变化域（或脆弱点）分析研究，大部分方法主要关心业务系统模型的死锁检测及某些性质分析，这些研究对于系统无死锁而在有些环境下出现变化的情况无法有效处理。本项目以提高业务系统的可信性为目标，以分析业务系统交互行为一致性为核心，基于行为Petri网和行为轮廓方法来研究业务系统交互行为一致性分析方法，并针对数据流作用下的情况，研究融合控制流和数据流的业务流程交互一致性分析方法。在非一致情况下，研究流程模型变化产生及传播机理，以此为基础研究模型变化域定位及责任分析，为研究相关的变化域控制方法奠定基础。通过本项目的研究，以保障业务系统在开放环境下运行时的行为可预期性、数据的一致性，从行为和数据两方面提高业务系统的可信性，实现业务系统的可信管理。

中文关键词： 变化域；业务系统；Petri网；行为一致性；配置

英文摘要： The change region in business system is potential and easily causing the inconsistency region. So, the trustworthiness analysis of business system from the perspective of change region of business model is also the one of ways to solve the trusted managem

英文关键词： Change region；Business system；Petri net；Behavior consistency；Configuration