数据约束下的业务流程模型的非一致行为分析的新方法

摘要

数据约束下的业务流程模型的非一致行为分析的新方法，涉及流程模型的控制流系统和数据流系统的综合分析。首先根据电子商务流程建立相应的业务流程模型，再依据流程模型中数据信息的传播和改变路径以及动作执行顺序和行为约束关系，分别拆分出流程模型的两个子模型，并分别对这两个子模型进行非一致性行为分析，确定其非一致行为。随后根据非一致行为在子模型和源业务流程模型之间的映射特点，综合分析并确定源业务流程模型的非一致行为。本发明提出方法，有效地解决了在数据约束下的模型的非一致行为分析问题，避免了现有的单方面考虑控制流或数据流来确定模型非一致行为的缺陷，也便于分析模型结构的优劣，并及早对其改进以便提高模型的效率。

主权项

数据约束下的业务流程模型的非一致行为分析的新方法，包括业务流程模型的子模型的建立和对子模型：控制流系统和数据流系统的综合分析。其特征在于：通过流程网的结构特征和结构类型对构建的模型中的控制流系统和数据流系统进行综合分析，并在此基础上分析源业务流程模型的非一致行为，用以有效地判定业务流程模型的优劣，提高系统的安全性。