[发明专利]数据约束下的业务流程模型的非一致行为分析的新方法

说明书

技术领域

本发明属于电子商务信息技术领域，涉及业务流程模型在数据约束下的非一致行为的新的分析方法，包括建立数据流模型、控制流模型以及一种优化数据流约束下的模型的方法。

背景技术

在电子商务中，系统的安全是各大公司面临的极大的挑战。而业务流程模型设置是电子商务流程管理的重点，由于数据信息是业务流程网中必不可少的部分，因此对数据约束下业务流程变化域进行分析显得尤为重要。对一个业务流程模型来说，控制流和数据流是其两大组成部分，由于在数据流影响下可能导致无问题的控制流模型也出现不一致行为，因此，以满足用户所需功能为前提，针对业务流程设置的合理性或实用性不满足要求或出错的情况，必需综合考虑数据约束和行为约束来研究业务流程模型中行为执行的情况，而分析数据约束下的业务流程的非一致行为是其关键所在。

业务流程模型的非一致性分析方法有很大的可选性。目前主要集中于通过研究源模型与一个正确的参照模型的非一致性来分析模型的非一致行为，而实际中，此类研究因难以获取正确的参照模型而缺乏一定的可操作性。也有许多研究主要从控制流和数据流两个方面着手研究业务流程一致性，但几乎没有综合考虑控制流和数据流整体的变化问题，只是单方面的分析控制流或数据流对业务流程模型的影响，而数据流的影响下可能导致无问题的控制流模型也出现变化域，因此必需关注数据流对业务流程模型的影响，但目前的研究都未做具体分析。

发明内容

本发明所要解决的技术问题是：提供一种数据流约束下的业务流程模型的非一致性行为的新的分析方法，通过分析流程模型中数据信息的传播和改变路径以及变迁之间的行为约束关系，综合考虑数据流和控制流对模型一致性的影响，并对数据流约束下的模型进行优化，以确保模型的合理性与实用性相一致，使系统的安全性得到进一步保证。

为解决以上技术问题，本发明采用如下的技术方案：

对于电子商务流程，本发明根据业务流程网的结构特征构建相应的业务流程模型。

为分析网中是否存在非一致行为，根据所构建的业务流程模型，依据业务流程模型中动作执行的顺序和行为约束以及数据信息的传播和改变路径，分别拆分出业务流程模型的两个子模型：控制流模型和数据流模型。

通过行为约束关系及行为执行顺序对控制流模型进行非一致性行为分析，并判定该子模型中是否存在非一致行为。

通过数据信息在业务流程模型中的传播路径和改变路径，分析数据流模型的非一致行为，并确定其非一致行为。

将子模型中出现非一致行为的区域映射到源业务流程模型中，并对其进行分析和验证，最终确定源业务流程模型的非一致行为。

附图说明

图1是本发明的流程模型图。

图2是本发明的一种实施的流程图。

图3是本发明的模型非一致行为分析步骤图。

具体实施方式

本发明提出一种数据流约束下的业务流程模型的非一致性行为的新的分析方法，并在此基础上综合考虑数据流和控制流对模型一致性的影响，当控制流模型或数据流模型中出现非一致行为时，则在源业务流程模型中会出现相应的非一致行为的映射。

以下结合附图对本发明作进一步的说明。

图1所示，首先将业务流程转化为业务流程模型，根据业务流程模型中动作执行的顺序和行为约束以及数据信息的传播路径，分别拆分出业务流程模型的两个子模型，并对子模型进行分析，确定子模型的非一致行为，最后综合考虑子模型的非一致行为在源模型中的映射，确定源业务流程模型的非一致行为。

图2是本发明的一种实施的流程。如图所示，首先将电子商务流程转化为业务流程模型，再依据业务流程模型中动作执行的顺序和行为约束以及数据信息的传播路径，分别拆分出业务流程模型的两个子模型：控制流模型和数据流模型，随后，通过分析流程模型中数据信息的传播和改变路径以及变迁之间的行为约束关系，分析子模型的非一致行为，最后综合考虑两个子模型确定源模型的非一致行为并对其进行优化。

图3描述了数据约束下的业务流程非一致行为的分析步骤，先根据变迁之间的关系分析控制流模型是否合理，是否满足一致性，再依据系统中的数据信息的传播与改变情况分析数据流模型的一致性，并确定其非一致行为，最后综合考虑数据流和控制流对模型一致性的影响，并将所有非一致行为映射到源模型中，并对其进行分析和验证，最终确定源业务流程模型的非一致行为。