一种数据交换共享低代码流程的动态模型检测方法和装置

1.本技术实施例涉及数据交换领域，具体而言，涉及一种数据交换共享低代码流程的动态模型检测方法和装置。


背景技术：

2.数据交换共享低代码流程是将具有不同功能的低代码流程服务通过数据交换的方式组装成更大服务，以满足用户需求。数据交换共享低代码流程并不是简单的服务组合，不合理的数据交换会导致流程无法执行或可以执行但无法达成业务目标，即“坏味道”的产生。
3.数据交换共享低代码流程常见的方式为通过bpmn进行建模，基于bpmn建模的数据交换共享低代码流程中，对坏味道的识别成了亟需解决的问题。然而，基于bpmn建模的坏味道识别过程中，一方面由于坏味道来源不同，发生场景复杂多变，要确定坏味道需要对常见的坏味道的种类进行归纳总结，而并对流程中的约束进行精确描述非常困难；另一方面，无法准确识别坏味道并提供具体的坏味道场景便于溯源；此外，由于流程执行场景复杂，坏味道种类多，如何快速识别复杂流程中的多种坏味道，成了业务上的难点。


技术实现要素：

4.本技术实施例在于提供一种数据交换共享低代码流程的动态模型检测方法和装置，旨在解决数据交换共享低代码流程中坏味道识别时流程约束难以精确描述以及坏味道无法准确、快速的识别的问题。
5.本技术实施例第一方面提供一种数据交换共享低代码流程的动态模型检测方法，包括：将原始流程根据预设标准化规则，进行标准化，得到标准流程；将通过静态检测的标准流程转换为动态模型；生成所述通过静态检测的标准流程的动态约束，并检测所述动态模型是否满足所述动态约束，输出动态模型检测结果。
6.可选地，将原始流程根据预设标准化规则，进行标准化，得到标准流程，包括：输入所述原始流程；提取所述原始流程中的原始信息，所述原始信息包括节点和连线；将所述原始流程中的所述原始信息，根据预设标准化规则转换为对应的标准流程信息，所述标准流程信息组成所述标准流程，所述标准流程能够正确应用于所述静态检测、以及生成所述动态模型和所述动态约束。
7.可选地，将通过静态检测的所述标准流程转换为动态模型，包括：对所述标准流程进行所述静态检测，得到静态检测结果；在所述静态检测结果为流程不存在第一类型坏味道的情况下，将所述静态检测结果对应的所述标准流程视为所述通过静态检测的标准流程；
根据预设动态模型检测工具，选择对应的建模系统；根据所述建模系统，将所述通过静态检测的标准流程转换为所述动态模型。
8.可选地，对所述标准流程进行所述静态检测，得到静态检测结果，包括：对所述标准流程进行静态规则解析，得到待检测信息集合，所述待检测信息集合对应所述第一类型坏味道；对所述待检测信息集合进行静态规则检测，得到所述静态检测结果，所述静态检测结果包括流程不存在第一类型坏味道和流程存在第一类型坏味道；在所述静态检测结果为流程存在第一类型坏味道的情况下，同时输出流程中所述第一类型坏味道的类型和场景，并根据所述静态检测结果得到最终检测结果。
9.可选地，生成所述通过静态检测的标准流程的动态约束，并检测所述动态模型是否满足所述动态约束，输出动态模型检测结果，包括：根据所述预设动态模型检测工具和动态约束模板，生成所述通过静态检测的标准流程的所述动态约束，所述动态约束对应第二类型坏味道；根据所述预设动态模型检测工具，检测所述动态模型是否满足所述动态约束，输出所述动态模型检测结果。
10.可选地，输出所述动态模型检测结果，包括：在所述动态模型满足所述动态约束的情况下，输出的所述动态模型检测结果为流程不存在第二类型坏味道；在所述动态模型不满足所述动态约束的情况下，输出的所述动态模型检测结果为流程存在第二类型坏味道，同时输出流程中所述第二类型坏味道的类型；根据所述动态模型检测结果和/或所述静态检测结果，生成所述最终检测结果。
11.可选地，根据所述动态模型检测结果和/或所述静态检测结果，生成所述最终检测结果，包括：在所述静态检测结果为流程存在第一类型坏味道的情况下，所述最终检测结果为流程存在第一类型坏味道以及所述第一类型坏味道的类型和场景；在所述动态模型检测结果为流程存在第二类型坏味道的情况下，所述最终检测结果为流程存在第二类型坏味道以及所述第二类型坏味道的类型；在所述动态模型检测结果为流程不存在第二类型坏味道的情况下，所述最终检测结果为流程不存在坏味道。
12.本技术实施例第二方面提供一种数据交换共享低代码流程的动态模型检测装置，包括：标准化模块，用于将原始流程根据预设标准化规则，进行标准化，得到标准流程；动态模型生成模块，用于将通过静态检测的标准流程转换为动态模型；动态约束生成模块，用于生成所述通过静态检测的标准流程的动态约束；动态模型检测模块，用于检测所述动态模型是否满足所述动态约束，输出动态模型检测结果。
13.可选地，所述装置还包括；静态检测模块，用于对所述标准流程进行所述静态检测，得到静态检测结果；结果分析模块，用于根据所述动态模型检测结果与所述静态检测结果，生成最终
检测结果。
14.可选地，所述标准化模块还包括：输入子模块，用于输入所述原始流程；提取子模块，用于提取所述原始流程中的原始信息，所述原始信息包括开始节点、结束节点、任务节点、策略节点、并行网关节点、子流程节点、排他网关节点、存储节点以及连线；转换子模块，用于将所述原始流程中的所述原始信息，根据预设标准化规则转换为对应的标准流程信息，所述标准流程信息包括有穷节点集合、事件集合、活动集合、网关集合、数据集合以及连接对象集合中的元素；生成子模块，用于将所述标准流程信息组成所述标准流程，所述标准流程能够正确应用于所述静态检测、以及生成所述动态模型和所述动态约束。
15.其中，所述静态检测模块还包括：静态规则解析子模块，用于对所述标准流程进行静态规则解析，得到待检测信息集合，所述待检测信息集合对应所述第一类型坏味道；静态规则检测子模块，用于对所述待检测信息集合进行静态规则检测，得到所述静态检测结果，所述静态检测结果包括流程不存在第一类型坏味道和流程存在第一类型坏味道；静态检测结果输出子模块，用于在所述静态检测结果为流程存在第一类型坏味道的情况下，同时输出流程中所述第一类型坏味道的类型和场景，并根据所述静态检测结果得到最终检测结果。
16.其中，所述动态模型生成模块还包括：确认子模块，用于在所述静态检测结果为流程不存在第一类型坏味道的情况下，将所述静态检测结果对应的所述标准流程视为所述通过静态检测的标准流程；选择子模块，用于根据预设动态模型检测工具，选择对应的建模系统；转换子模块，用于根据所述建模系统，将所述通过静态检测的标准流程转换为所述动态模型。
17.其中，所述动态模型检测模块还包括：第一动态结果输出子模块，用于在所述动态模型满足所述动态约束的情况下，输出的所述动态模型检测结果为流程不存在第二类型坏味道；第二动态结果输出子模块，用于在所述动态模型不满足所述动态约束的情况下，输出的所述动态模型检测结果为流程存在第二类型坏味道，同时输出流程中所述第二类型坏味道的类型。
18.其中，所述结果分析模块还包括：第一结果分析子模块，用于在所述静态检测结果为流程存在第一类型坏味道的情况下，所述最终检测结果为流程存在第一类型坏味道以及所述第一类型坏味道的类型和场景；第二结果分析子模块，在所述动态模型检测结果为流程存在第二类型坏味道的情况下，所述最终检测结果为流程存在第二类型坏味道以及所述第二类型坏味道的类型；第三结果分析子模块，在所述动态模型检测结果为流程不存在第二类型坏味道的
情况下，所述最终检测结果为流程不存在坏味道。
19.有益效果：本技术提供一种数据交换共享低代码流程的动态模型检测方法和装置，包括：将原始流程根据预设标准化规则，进行标准化，得到标准流程；将通过静态检测的标准流程转换为动态模型；生成所述通过静态检测的标准流程的动态约束，并检测所述动态模型是否满足所述动态约束，输出动态模型检测结果。本技术通过对标准化的原始流程进行静态检测和动态检测两个阶段的检测，对第一类型坏味道和第二类型坏味道进行识别，并输出最终检测结果，具有以下效果：（1）本技术对常见的坏味道种类进行了归纳总结，同时精确描述流程中的动态约束，提升了坏味道识别的精确性。
20.（2）本技术通过按照预设标准化规则，将不同配置、不同类型的原始流程标准化，可以处理各种复杂场景下的数据交换共享低代码流程。
21.（3）本技术通过静态检测和动态检测结合的方式分别对第一类型坏味道和第二类型坏味道进行识别，实现了多阶段检测和多检查器检测，有效提升了数据交换共享低代码流程中坏味道识别的效率。
附图说明
22.为了更清楚地说明本技术实施例的技术方案，下面将对本技术实施例的描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本技术的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动性的前提下，还可以根据这些附图获得其他的附图。
23.图1是本技术一实施例提出的数据交换共享低代码流程的动态模型检测方法流程图；图2a是本技术一实施例提出的常见坏味道分类图；图2b是本技术一实施例提出的数据坏味道分类图；图2c是本技术一实施例提出的结构坏味道分类图；图2d是本技术一实施例提出的自定义坏味道分类图；图2e是本技术一实施例提出的配置坏味道分类图；图3是本技术一实施例提出的开始事件startevent的kripke结构示意图；图4是本技术一实施例提出的数据交换共享低代码流程的动态模型检测装置示意图。
具体实施方式
24.下面将结合本技术实施例中的附图，对本技术实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例是本技术一部分实施例，而不是全部的实施例。基于本技术中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本技术保护的范围。
25.为更好的理解本技术实施例提供的方法，首先对下文中出现的专业术语进行解释说明。
26.数据交换共享低代码流程，或称服务组装，是指将简单的低代码服务流程组装成复杂的服务流程。不同的服务来自不同的平台或系统，对外提供各种不同的功能。通过将不同的提供单一功能的服务组装在一起，形成了规模更大，功能更丰富的服务。
27.bpmn（business process model and notation）已经成为广泛使用的业务流程建模语言。基于bpmn进行数据交换共享低代码流程，语义更为丰富。标准业务流程模型符号 (bpmn)提供了以图形符号描述业务流程的能力，并让使用者能够以标准方式表达这些流程。
28.模型检测技术，是通过搜索系统模型的有穷状态空间来检验系统的行为是否具有预测属性的一种自动验证技术，是形式化验证的主要方法。模型检测的基本思想是，对于有穷状态模型，通过状态空间搜索而不是数学证明的方法检测模型是否满足给定的约束。模型检测利用状态迁移系统（m）描述系统模型，利用时序逻辑公式（φ）描述约束。模型检测在有穷状态空间内，检查时序逻辑公式（φ）是否在整个状态迁移系统（m）上成立。由于m的状态空间是有限的，检查m是否满足约束φ可以在有限时间里完成。
29.模型检测主要分为三个步骤：建模，规约和验证。建模是将有穷状态并发系统转换为模型检测工具使用的模型。约束一般使用线性时序逻辑公式ltl或者计算树逻辑公式ctl进行描述。验证是模型检测工具执行系统模型m，在整个状态空间上进行穷尽搜索，检测是否满足属性约束φ。如果满足，输出无错误，否则输出一条错误的路径，作为系统模型m不满足属性约束φ的反例，以便追溯错误来源。
30.相关技术中，基于bpmn建模的坏味道识别过程中，一方面由于坏味道来源不同，发生场景复杂多变，要确定坏味道需要对常见的坏味道的种类进行归纳总结，而并对流程中的约束进行精确描述非常困难；另一方面，无法准确识别坏味道并提供具体的坏味道场景便于溯源；此外，由于流程执行场景复杂，坏味道种类多，如何快速识别复杂流程中的多种坏味道，成了业务上的难点。
31.有鉴于此，本技术实施例提出一种数据交换共享低代码流程的动态模型检测方法，旨在解决数据交换共享低代码流程中坏味道识别时流程约束难以精确描述以及坏味道无法准确、快速的识别的问题。图1示出了数据交换共享低代码流程的动态模型检测方法流程图，如图1所示，具体步骤如下：s101、将原始流程根据预设标准化规则，进行标准化，得到标准流程。
32.s102、将通过静态检测的标准流程转换为动态模型。
33.s103、生成通过静态检测的标准流程的动态约束，并检测动态模型是否满足动态约束，输出动态模型检测结果。
34.具体实施步骤s101时，由于不同的原始流程中的信息（包括流程元素和流程配置等）种类繁多复杂，为保证本技术提供的方法可以处理各种复杂的原始流程，需要对原始流程进行标准化，为后续的静态检测和动态检测奠定基础。因此，本技术实施例定义了预设标准化规则，用于将原始流程中的信息统一转换为后续可用的标准化信息。
35.首先，对标准流程进行如下定义：基于bpmn流程，将一个标准流程中的标准流程信息定义为在有穷节点集合n、事件集合e、活动集合a、网关集合g、数据集合d以及连接对象集合f中的元素。
36.其中，对于有穷节点集合n，n = e∪a∪g；
对于事件集合e，e
ꢀ⊆ꢀ
n，e = startevent∪endevent，其中startevent是开始事件集合，endevent是结束事件集合；对于活动集合a，a
ꢀ⊆ꢀ
n，a = task∪subprocess，其中task是任务活动集合，subprocess是子流程活动集合。
37.对于网关集合g，g
ꢀ⊆ꢀ
n，g = exclusivegateway∪parallelgateway∪inclusivegateway。其中exclusivegateway是排他网关集合，exclusivegateway = exclusivesplitgateway∪exclusivejoingateway；parallelgateway是并行网关集合，parallelgateway = parallelsplitgateway∪paralleljoingateway；inclusivegateway是包容网关集合，inclusivegateway = inclusivesplitgateway∪inclusivejoingateway；对于数据集合d，d = dataobject∪datainput∪dataoutput∪datastore。dataobject是数据对象集合，datainput是输入对象集合，dataoutput是输出对象集合，datastore是存储对象集合；对于连接对象集合f，f = sequenceflow∪messageflow。sequenceflow是序列流集合，sequenceflow
ꢀ⊆ꢀnꢀ×ꢀ
n。messageflow是信息流集合，messageflow
ꢀ⊆ꢀ
startevent
ꢀ×ꢀ
dataobject∪datainput
ꢀ×ꢀ
task∪task
ꢀ×ꢀ
dataoutput∪task
ꢀ×ꢀ
datastore。
38.然后，将原始流程中的原始信息可以划分为开始节点，结束节点，任务节点，策略节点，并行网关节点，子流程节点，排他网关节点，存储节点以及连线。
39.表1示出了预设标准化规则中原始流程信息与标准流程信息的对应关系，以表1内容为依据可以将原始流程信息和标准流程信息进行对应转换。
40.表1 预设标准化规则中原始流程信息与标准流程信息的对应关系
原始流程信息标准流程信息开始节点（id,name,outgoing）startevent（id,name,outgoing）结束节点（id,name,incoming）endevent（id,name,incoming）任务节点（id,name,inputparameter,outputparameter,incoming,outgoing）task（id,name,datainput,dataoutput,incoming,outgoing,messageflow）策略节点无并行网关节点（id,name,incoming,outgoing）parallelgateway（id,name,incoming,outgoing）子流程节点(id,name)subprocess(id,name)排他网关节点（id,name,default,incoming,outgoing）exclusivegateway（id,name,default,incoming,outgoing）存储节点（id,inputparameter）datastore（id,name）连线（id,sourceref,targetref）sequenceflow（id,sourceref,targetref）
在定义好上述的原始流程信息、标准流程信息以及预设标准化规则后，执行上述s101，具体为输入原始流程，随后提取所述原始流程中的上述原始信息，并将该原始流程中提取得到的原始信息根据预设标准化规则转换为对应的标准流程信息；最后将所述标准流程信息组成所述标准流程。
41.例如，提取原始流程中的开始节点信息，该开始节点信息包括id和name，子元素信息包括outgoing，基于预设标准化规则，转换为标准流程信息中的startevent，包括id和name，子元素信息包括outgoing，将该startevent信息作为标准流程的一部分。其他标准流程信息的生成也是类似的方式，在此不再赘述。
42.值得注意的是，在定义上述标准流程、标准流程信息以及预设标准化规则时，是参考后续静态检测和动态检测中的各种工具和模板（例如预设动态模型检测工具、动态约束模板等）得出的，以确保基于上述预设标准化规则转换得到的标准流程，在后续的静态检测和动态检测过程中能够发挥作用。
43.具体实施步骤s102时，将通过静态检测的标准流程转换为动态模型。本技术实施例采取静态检测和动态检测结合的方式对坏味道进行识别，其中静态检测无需流程执行，可用于检测第一类型坏味道，动态检测需要流程执行，可以用于检测所有的坏味道，但是由于流程执行的难度大耗时长等问题，本技术实施例不直接使用动态检测对所有类型的坏味道进行识别，而是将动态模型检测用于检测第二类型坏味道，通过结合静态检测和动态检测，可以提升坏味道识别的准确性和效率。
44.首先，本技术实施例对常见的坏味道进行了定义和分类，图2a-2e示出了本技术实施例定义的常见坏味道分类图，如图2a所示，常见坏味道定义为如下四类：数据坏味道，如图2b所示，包括并行操作冲突，连续操作冲突，数据缺失，数据冗余，并发数据依赖，初始数据冗余等坏味道；结构坏味道，如图2c所示，包括缺少开始节点和结束节点，多个开始节点和结束节点，存在循环，连线错误，缺少默认路径，重复连线等坏味道；自定义坏味道，如图2d所示，包括存储缺失，节点的执行顺序不符合业务需求和缺少执行任务节点等坏味道；配置坏味道，如图2e所示，包括配置坏味道：节点和数据对象名称的缺失和节点和数据对象名称的重复坏味道。
45.随后，将无需流程执行即可识别的坏味道归为第一类型坏味道，用于后续静态检测；上述坏味道中在流程执行时才会出现的坏味道归为第二类型坏味道，用于后续动态检测。其中，子流程错误坏味道无法通过静态或动态检测出来，本技术实施例针对的为图2a-2e中除去子流程错误坏味道的其他类型坏味道的检测。
46.由于静态检测相比动态检测更加简单，无需流程执行，因此本技术实施例在对标准流程进行动态模型检测之前，需要先对其进行静态检测，如果静态检测结果已经确定原始流程存在坏味道，就无需再进行后续动态检测，这样可以有效提升坏味道的识别效率，同时降低流程的成本。当存在通过静态检测的标准流程时，再进行后续的动态模型检测。
47.其中，静态检测是依据如下方式进行的：对标准化流程进行静态规则解析，依据预设的第一类型坏味道对应的检查函数，对标准流程信息进行解析，输出待检测信息集合。例如，当对标准流程进行缺少开始节点或结束节点的坏味道的静态规则解析时，输入标准流程中所有的标准化流程信息，解析后输出对应该种坏味道的startevent和endevent信息。
48.随后对解析后输出的待检测信息集合进行静态规则检测，依据预设的第一类型坏味道对应的检查函数，对待检测信息集合进行检测，输出静态检测结果，所述静态检测结果包括流程不存在第一类型坏味道（输出true）和流程存在第一类型坏味道（输出false）。
49.在所述静态检测结果为流程存在第一类型坏味道（输出false）的情况下，同时输出流程中所述第一类型坏味道的类型和场景，并根据所述静态检测结果得到最终检测结果。此时表示静态检测已经检测出坏味道，则无需再进行后续的动态检测，直接进入结果分析模块，输出最终检测结果即可。
50.在所述静态检测结果为流程不存在第一类型坏味道的情况下，将所述静态检测结果对应的所述标准流程视为所述通过静态检测的标准流程，此时执行s102步骤，具体如下：根据预设动态模型检测工具，选择对应的建模系统。如上所述，本技术实施例在定
义标准流程时，是参考了动态检测过程中预设动态模型检测工具、建模系统和约束模板的，其本质上是为了使该标准流程中的标准流程信息能够适用于动态检测的过程。同理，在此对通过静态检测的标准流程进行动态建模的时候，也需要参考后续的预设动态模型检测工具选择建模工具。本技术实施例基于后续预设动态模型检测工具可以选择迁移系统（如kripke结构）、有穷自动机（如b
ü
chi自动机）或petri网对该通过静态检测的标准流程进行动态建模，生成动态模型。具体的建模工具选择本技术不做限制，可以根据后续预设动态模型检测工具进行选择。
51.例如，若选择kripke结构对通过静态检测的标准流程进行建模，具体为对标准流程中的标准流程信息，基于kripke结构进行转换。图3示出了开始事件startevent的kripke结构示意图，如图3所示，将标准流程信息中的startevent转换为kripke结构中的模型初始状态init。其他的标准流程信息也基于对应的建模方法中的结构进行转换，具体内容参见现有技术中的建模方法，本技术不再赘述。
52.经预设的建模工具，对通过静态检测的标准流程进行建模，最终生成动态模型，用于后续的动态检测。
53.具体执行s103时，需要生成所述通过静态检测的标准流程的所述动态约束，其中，动态约束为使用线性时序逻辑公式ltl或者计算机树逻辑公式ctl描述流程执行的约束，其对应了需要依靠流程执行才会产生的第二类型坏味道。
54.首先，依据第二类型坏味道，对通过静态检测的标准流程中的标准流程信息进行解析，得到对应第二类型坏味道的标准流程信息中的集合。随后，根据预设的约束模板，确定该第二类型坏味道对应的标准流程信息中集合的对应约束描述，将该约束描述作为该种的第二类型坏味道的动态约束进行输出。如上并对所有的第二类型坏味道确定其动态约束。
55.例如，若需要生成存储缺失坏味道对应的动态描述，需要首先对通过静态检测的标准流程中的标准流程信息进行解析，得到该种坏味道对应的数据集合d，随后基于预设的约束模板，确定存储缺失坏味道以及该数据集合d对应的约束描述，表2示出了预设约束模板中的存储缺失坏味道对应的约束表述，将该约束描述作为存储缺失坏味道的动态约束进行输出。
56.表2 预设约束模板中的存储缺失坏味道对应的约束表述
输入输出描述检查结果检查方法标准bpmn流程d(([](w(n1)-》(x(!w(n1)us(n1))))))&&
…
&&(([](w(nk)-》(x(!w(nk)us(nk)))))),n1,
…
,nk∈d,k=|d|true/false动态检查
当得到了动态模型和动态约束之后，根据所述预设动态模型检测工具，检测所述动态模型是否满足所述动态约束，输出所述动态模型检测结果。具体地，对于每个第二类型坏味道对应的动态约束描述，当有穷状态的动态模型满足该种动态约束描述时，输出动态模型检测结果为流程不存在第二类型坏味道（true）；当有穷状态的动态模型不满足该种动态约束描述时，输出动态模型检测结果为流程存在第二类型坏味道（false），同时输出该坏味道的具体类型，便于后续人工分析该种坏味道发生时系统的执行情况。
[0057]
其中，该预设动态模型检测工具是前述定义标准流程以及选择建模工具的基础，前述定义标准流程以及选择建模工具需要保证能够适用于该预设动态模型检测工具。例如，可以选择spin模型检查器或nusmv模型检查器，具体的预设动态模型检测工具可以按照
具体需求选择，本技术在此不作限制。
[0058]
此外，在动态检测过程输出动态模型检测结果，或静态检测结果为流程存在第一类型坏味道（即无需再进行后续动态检测）的情况下，本实施例还会根据动态模型检测结果和/或静态检测结果，生成最终检测结果。具体的最终检测结果包括以下情况：情况一、在所述静态检测结果为流程存在第一类型坏味道的情况下，所述最终检测结果为流程存在第一类型坏味道，同时输出所述第一类型坏味道的类型和场景。此时表明原始流程在静态检测过程已经检测出有第一类型坏味道存在，为提升检测效率、降低检测成本，不再进行后续动态检测，直接输出最终检测结果。
[0059]
情况二、在所述动态模型检测结果为流程存在第二类型坏味道的情况下，所述最终检测结果为流程存在第二类型坏味道，同时输出所述第二类型坏味道的类型。此时表明原始流程通过静态检测，该原始流程不存在第一类型坏味道，进行后续的动态模型检测时，检测到原始流程在动态检测的流程执行时存在第二类型坏味道，输出最终检测结果。
[0060]
情况三、在所述动态模型检测结果为流程不存在第二类型坏味道的情况下，所述最终检测结果为流程不存在坏味道。此时表明该原始流程通过静态检测，不存在第一类型坏味道；随后通过了动态模型检测，不存在第二类型坏味道，说明该原始流程不存在上述总结出的常见坏味道（第一类型坏味道 第二类型坏味道），输出最终检测结果。
[0061]
本技术实施例通过对标准化的原始流程进行静态检测和动态检测两个阶段的检测，对第一类型坏味道和第二类型坏味道进行识别，并输出最终检测结果，具有以下效果：（1）本技术对常见的坏味道种类进行了归纳总结，同时精确描述流程中的动态约束，提升了坏味道识别的精确性。
[0062]
（2）本技术通过按照预设标准化规则，将不同配置、不同类型的原始流程标准化，可以处理各种复杂场景下的数据交换共享低代码流程。
[0063]
（3）本技术通过静态检测和动态检测结合的方式分别对第一类型坏味道和第二类型坏味道进行识别，实现了多阶段检测和多检查器检测，有效提升了数据交换共享低代码流程中坏味道识别的效率。
[0064]
基于同一发明构思，本技术实施例提供了一种数据交换共享低代码流程的动态模型检测装置，图4示出了数据交换共享低代码流程的动态模型检测装置示意图，如图4所示，数据交换共享低代码流程的动态模型检测装置包括：标准化模块，用于将原始流程根据预设标准化规则，进行标准化，得到标准流程；动态模型生成模块，用于将通过静态检测的标准流程转换为动态模型；动态约束生成模块，用于生成所述通过静态检测的标准流程的动态约束；动态模型检测模块，用于检测所述动态模型是否满足所述动态约束，输出动态模型检测结果。
[0065]
可选地，所述装置还包括；静态检测模块，用于对所述标准流程进行所述静态检测，得到静态检测结果；结果分析模块，用于根据所述动态模型检测结果与所述静态检测结果，生成最终检测结果。
[0066]
可选地，所述标准化模块还包括：输入子模块，用于输入所述原始流程；
提取子模块，用于提取所述原始流程中的原始信息，所述原始信息包括开始节点、结束节点、任务节点、策略节点、并行网关节点、子流程节点、排他网关节点、存储节点以及连线；转换子模块，用于将所述原始流程中的所述原始信息，根据预设标准化规则转换为对应的标准流程信息，所述标准流程信息包括有穷节点集合、事件集合、活动集合、网关集合、数据集合以及连接对象集合中的元素；生成子模块，用于将所述标准流程信息组成所述标准流程，所述标准流程能够正确应用于所述静态检测、以及生成所述动态模型和所述动态约束。
[0067]
其中，所述静态检测模块还包括：静态规则解析子模块，用于对所述标准流程进行静态规则解析，得到待检测信息集合，所述待检测信息集合对应所述第一类型坏味道；静态规则检测子模块，用于对所述待检测信息集合进行静态规则检测，得到所述静态检测结果，所述静态检测结果包括流程不存在第一类型坏味道和流程存在第一类型坏味道；静态检测结果输出子模块，用于在所述静态检测结果为流程存在第一类型坏味道的情况下，同时输出流程中所述第一类型坏味道的类型和场景，并根据所述静态检测结果得到最终检测结果。
[0068]
其中，所述动态模型生成模块还包括：确认子模块，用于在所述静态检测结果为流程不存在第一类型坏味道的情况下，将所述静态检测结果对应的所述标准流程视为所述通过静态检测的标准流程；选择子模块，用于根据预设动态模型检测工具，选择对应的建模系统；转换子模块，用于根据所述建模系统，将所述通过静态检测的标准流程转换为所述动态模型。
[0069]
其中，所述动态模型检测模块还包括：第一动态结果输出子模块，用于在所述动态模型满足所述动态约束的情况下，输出的所述动态模型检测结果为流程不存在第二类型坏味道；第二动态结果输出子模块，用于在所述动态模型不满足所述动态约束的情况下，输出的所述动态模型检测结果为流程存在第二类型坏味道，同时输出流程中所述第二类型坏味道的类型。
[0070]
其中，所述结果分析模块还包括：第一结果分析子模块，用于在所述静态检测结果为流程存在第一类型坏味道的情况下，所述最终检测结果为流程存在第一类型坏味道以及所述第一类型坏味道的类型和场景；第二结果分析子模块，在所述动态模型检测结果为流程存在第二类型坏味道的情况下，所述最终检测结果为流程存在第二类型坏味道以及所述第二类型坏味道的类型；第三结果分析子模块，在所述动态模型检测结果为流程不存在第二类型坏味道的情况下，所述最终检测结果为流程不存在坏味道。
[0071]
在上述实施例中，可以全部或部分地通过软件、硬件、固件或者其任意组合来实现。当使用软件实现时，可以全部或部分地以计算机程序产品的形式实现。所述计算机程序
产品包括一个或多个计算机指令。在计算机上加载和执行所述计算机程序指令时，全部或部分地产生按照本技术实施例所述的流程或功能。所述计算机可以是通用计算机、专用计算机、计算机网络、或者其他可编程装置。所述计算机指令可以存储在计算机可读存储介质中，或者从一个计算机可读存储介质向另一个计算机可读存储介质传输，例如，所述计算机指令可以从一个网站站点、计算机、服务器或数据中心通过有线（例如同轴电缆、光纤、数字用户线（dsl））或无线（例如红外、无线、微波等）方式向另一个网站站点、计算机、服务器或数据中心进行传输。所述计算机可读存储介质可以是计算机能够存取的任何可用介质或者是包含一个或多个可用介质集成的服务器、数据中心等数据存储设备。所述可用介质可以是磁性介质，(例如，软盘、硬盘、磁带)、光介质(例如，dvd)、或者半导体介质（例如固态硬盘solid state disk (ssd)）等。
[0072]
需要说明的是，在本文中，诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来，而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。而且，术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含，从而使得包括一系列要素的过程、方法、物品或者设备不仅包括那些要素，而且还包括没有明确列出的其他要素，或者是还包括为这种过程、方法、物品或者设备所固有的要素。在没有更多限制的情况下，由语句“包括一个
……”
限定的要素，并不排除在包括所述要素的过程、方法、物品或者设备中还存在另外的相同要素。
[0073]
本说明书中的各个实施例均采用相关的方式描述，各个实施例之间相同相似的部分互相参见即可，每个实施例重点说明的都是与其他实施例的不同之处。尤其，对于系统实施例而言，由于其基本相似于方法实施例，所以描述的比较简单，相关之处参见方法实施例的部分说明即可。
[0074]
以上对本技术所提供的技术方案进行了详细介绍，本文中应用了具体个例对本技术的原理及实施方式进行了阐述，以上实施例的说明只是用于帮助理解本技术，本说明书内容不应理解为对本技术的限制。同时，对于本领域的一般技术人员，依据本技术，在具体实施方式及应用范围上均会有不同形式的改变之处，这里无需也无法对所有的实施方式予以穷举，而由此所引伸出的显而易见的变化或变动仍处于本技术的保护范围之中。