的正确性检查方法协同云中的业务流程

文摘

云计算的日益普及,特别是业务流程作为服务的出现(BPaaS),越来越多的企业构建基于BPaaS过程协作服务。事实上,协同业务流程由BPaaS服务可以被视为一个复杂的系统,因为它涵盖了多个业务流程(即。独立,BPaaS服务),他们的行为。由于业务流程对应BPaaS服务通常是由不同的云服务提供商,提供提前和他们的相互作用是不可预见的,在实际执行中,一些行为异常可能发生(例如,死锁)。为此,基于BPaaS服务,我们提出一个方法来构建过程协作在云中。在这种方法中,我们首先使用开放网协作业务流程模型。然后,我们检查他们的正确性基于顽固集。最后,以防他们部分是正确的,我们之间生成可靠的协调路径的执行业务流程。我们的方法是在管道中实现(佩特里网开放工具)和评估在实际情况下显示其有效性和效率。

1。介绍

目前,新的云计算模式已得到高度重视,因为它可以提供共享服务(例如,计算能力、存储和应用软件)给客户通过互联网无处不在,方便,用最少的管理工作和随需应变的方式(1- - - - - -3]。

随着云计算的广泛应用,特别是BPaaS的出现(一个云服务,可以交付给客户的形式过程)(4),越来越多的企业将其业务流程部署到云实现增值服务。基于云计算平台,比如关键词搜索(5驻留在云),企业可以找到并撰写一些业务流程(即与互补的能力和知识。BPaaS服务)到他们的业务流程来构建协同业务流程实现商业成功(6- - - - - -8]。例如,对于一个零售商驻留在云,它的运输过程可以外包给一个BPaaS服务,坐标的实际交通改善的有效性和效率。在实践中,这种模式给企业带来至少有两个好处。首先,企业可以比以往更容易地构建协作业务流程,作为BPaaS服务可以直接调用在云中,而无需独立开发(9]。第二,协同业务流程由BPaaS服务可伸缩性更强、更可靠,因为他们是在云中部署。

事实上,协同业务流程由组合业务流程(即。,BPaaS services) gathered in the cloud can be seen as a complex system, as it covers multiple business processes and these business processes act independently [10]。在云中,这些业务流程通常由不同的组织和他们的相互作用是不可预见的互动。因此,行为异常(例如,死锁)可能造成执行,最终产生不利影响的成分。

为了消除这些行为异常,正确性检查的方法是主要在现有方法6,10- - - - - -13]。给定一个协作的业务流程,自动检测其正确性的方法(例如,稳健(6)使用正式的技术(例如,模型检查)。如果它是不正确的,开发者可以修复它通过诊断信息被跟踪导致错误。

然而,在实际的检查过程中,现有的方法正确性检查(6,10,11)通常需要构建完整的状态空间(即。,a direct graph that covers all reachable states and edges between states) of collaborative business processes, and hence, they may suffer from the low efficiency. Some approaches [12,13确实存在,集中精力提高检查效率。具体地说,这些方法首先抽象业务流程协作的公共视图。然后,他们组成这些公共视图来构建一个抽象的协作过程。最后,他们检测正确性基于抽象的合作过程。一般来说,这些方法可以提高检查效率,同时考虑到隐私。然而,他们需要结构化的业务流程的协作。注意,术语“结构化”意味着业务流程只包含序列,并发性、选择和循环结构,通过这四个结构的组合形成。由于假设可能不是在练习14),其正确性检查的效率可能不会显著增加。另外,他们不考虑这样一个事实:业务流程协作通常是部分正确的(至少有一个路径在合作过程中,合作的过程可以成功地终止)(15,16),因此,他们不能为每个业务流程生成可靠的路径。特别是,一个可靠的执行路径可以被视为一组业务流程之间的一个合作计划(17),从他们的合作可以成功地终止。

为了解决这些问题,基于顽固集(18),本文提出了一种方法来构建协作流程的云(见图1)。具体地说,在我们的方法中,我们第一次合作业务流程模型基于BPaaS服务使用开放网(19]。后来,我们检查他们的正确性基于顽固集。最后,以防他们部分是正确的,我们之间生成可靠的协调路径的执行业务流程。

总结了本文的主要贡献如下:(1)我们提出一个方法基于顽固集快速正确性检查(2)我们提出一个方法来生成可靠的路径之间的协调执行业务流程(3)该方法是在管道中实现,验证了其有效性和效率与实际情况

本文有以下组织。第二节给了一个激励的例子来说明我们的方法在纸上。第三节介绍了开放网协作业务流程建模,并使用它们。第四节介绍了基于顽固集方法检查正确性。第五节提出了一种方法,为每个业务流程生成可靠的路径。第六节介绍我们的原型工具,称为cctool和评估我们的方法是基于现实世界的情况。第七节比较相关的工作。8节本文总结道。

2。激励的例子

获得额外的增值服务,供应商增刊将其订购流程部署到云作为其他企业的BPaaS服务调用。基于云计算平台,一个零售商Reta驻留在云发现服务组合成其过程建立一个协同业务流程OP达到商业上的成功。

BPMN的过程增刊和Reta描绘在图2,在那里增刊可以接收命令的请求吗Reta。一般来说,产品一个在增刊是足够的,因此,增刊为订购产品接收请求一个在任何情况下。然而,产品B在增刊在某些情况下是不够的。因此,增刊首先检查其股票,然后接收请求订购产品B。如果订单一个或B收到,增刊发送命令产品Reta。在那之后,Reta可以卖给客户一个中间利润。

一般来说,业务流程Reta和增刊在云中是独立开发的由不同的云服务提供商;因此,它们之间潜在的相互作用都是不可预见的。因此,一些行为异常,如死锁、OP的实际执行过程中可能发生。例如,在OP,如果增刊等待接收订单的产品B而Reta发送订单的产品一个;然后,发生死锁时,它被描述为红线图2。

为了避免这些行为异常,我们提出一个方法来检查OP的正确性的基础上顽固的设置。部分正确,然后,我们提出一个方法来生成所有可靠的执行路径之间的协调执行Reta和增刊。在实际执行中,基于这些可靠的路径,之间的交互Reta和增刊可以成功地终止。

3所示。建模方法

在本节中,我们首先简要介绍开放网的概念(19),然后说明协同业务流程建模的方法基于BPaaS服务。

3.1。打开网

摘要开放网将用于描述业务流程及其组成,可用于协作云中的业务流程模型。与传统的佩特里网相比,开放网是富含信息的地方之间的异步消息渠道业务流程建模(例如,BPaaS服务)在云19]。开放网络可以正式定义如下。

定义1。(打开净)。一个开放的网络可以被定义为一个元组N=(P,T;F,米₀,米_e),(1)P是一组的地方,是内部的地方,然后呢这样,消息的地方吗(2)T和F转换和流的关系是什么N(3)米₀这样,最初的标志吗米₀(我)= 1,米(p)= 0的地方 ,在哪里我是源的地方(4)米_e是最后的标记,这样吗米₀(o)= 1,米(p)= 0的地方 ,在哪里o是水槽的地方使用地方融合技术(4,20.),我们可以组合多个开放网到一个开放的网络。给定两个开放的网络,他们的作文可以正式定义如下。

定义2。(成分)。两个开放的作文网N₁= (P₁,T₁;F₁,米₀₁,米_e1),N₂= (P₂,T₂;F₂,米₀₂,米_e2)可以被描述为一个开放的网络N₁| |N₂= (P,T;F,米₀,米_e),(1) (2) (3) (4)米₀这样,最初的标志吗米₀(我₁)= 1 米₀(我₂)= 1,米(p)= 0的地方p 我₁和p 我₂(5)米_e是最后一个标记,这样米_e(o₁)= 1 米_e(o₂)= 1,米(p)= 0的地方p o₁和p o₂显然,根据定义2,我们可以得出这样的结论:构图联想和交换。因此,给定一组打开网,他们的组合可以表示为 。

3.2。协同业务流程建模

在[21),基于开放网,我们提出一个方法来构建协同业务流程。它的基本思想是我们第一次合作中所有业务流程转化为开放网基于他们的非正式的描述,然后组合这些开放网来生成一个协作的业务流程。该方法也可以用于我们的上下文。我们第一次相对应的业务流程映射到每个BPaaS服务合作开放的网络,然后,协作过程可以由创作这些开放网。

注意,在这篇文章中,我们限制自己业务流程覆盖没有循环,循环流程模型中通常可以转换成一个连续的结构(22]。

例1。正式建立合作业务流程OP,基于它的描述,我们首先把BPaaS对应服务的业务流程Reta和增刊成两个开放网,即N₁和N₂在图3。特别是,在图3,红色的地方显示消息的地方,每个转换表中描述的标签1。
然后,我们可以正式构造OP通过组合两个开放网,如图4。

4所示。检查正确性

在本节中,我们首先定义的正确性基于协作的业务流程弱的终止(19]。然后,我们定义的顽固集协同业务流程和状态空间方法生成减少。最后,我们提出了一个算法来检查业务流程协作的正确性基于其状态空间减少。

4.1。正确性

在本文中,我们使用的一种特殊变体稳健(4),即弱的终止定义业务流程协作的正确性,因为活动BPaaS服务可用于不同的协作和排除一些活动在一个具体的合作可能不是一个设计流程在实践中(23]。

定义3。(正确)。让N=(P,T;F,米₀,米_e)是一个协作的业务流程由组合BPaaS服务在云中。然后,对于每个可及标记米在N,如果米可以达到最终的标志呢N就是正确的。
从本质上讲,定义3意味着每个BPaaS服务这一事实可以成功地终止合作,即。,可以达到最后的标记,执行期间产生的消息N可以收到。

4.2。顽固的集

检查协作流程的正确性,现有方法(例如,6,10,11)通常需要建立完整的最初状态空间;因此,他们是低效的,棘手的,即使是协作过程有限,可能出现的状态爆炸。为了缓解这一问题,在本文中,我们首先生成的状态空间协同业务流程使用顽固集(24),然后检查正确性。通过这种方式,我们的方法可以大大提高检查效率实际合作流程。

目前,多个顽固集验证提出了不同的属性,如顽固为简单的线性时间逻辑设置(25]。一般来说,固执的建设集依赖于属性验证(26]。我们第一次出现顽固集协作业务流程的定义基于概念相关的固执的佩特里网(18]。非正式地,给定一个标记米,其顽固的设置圣(米)是指一组转换在启用米和圣(米当外面的转换)仍然固执圣(米火)。

定义4。(固执)。让N=(P,T;F,米₀,米_e)是一个业务流程和协作米是它的标志。然后,顽固集圣(米)米可以被描述为(1)如果t 在(米),然后t 圣(米),t 在(米)(2)如果t 在(米),然后 圣(米)(3)如果t 在(米),然后 p :米(p)= 0和 圣(米)在定义4(1)国家,顽固集非空标记如果启用了一些转换米;(2)意味着冲突的一组包含在每个过渡圣(米);和(3)意味着休闲组每个转换覆盖着圣(米)。
与定义4,下面我们给一个算法来计算顽固集对应于一个特殊的标记。
算法1首先选择从当前启用的过渡转换(l1)。然后,算法迭代使用(2)或(3)的定义4直到达到一个固定的点(l3∼l11)。假设N有n转换,那么算法的时间复杂度O(n)。

例2。使用算法1,我们可以生成一组可能的固执圣(米₀初始标记)米₀在OP,即圣(米₀)= {t₁,t₂}。具体地说,如果算法选择启用过渡t₁生成顽固集,然后过渡t₂被添加到圣(米₀),因为它是在冲突与转型t₁。之后,该算法计算冲突的转变t₂因为它是启用的。然而,由于冲突集在这一点上是空的,算法终止。
顽固的概念集,减少了状态空间的协同业务流程可以使用下面的生成算法。
从技术上讲,算法的基本思想2类似的过程生成的可达性图佩特里网(20.]。它们之间唯一的区别是,只有顽固集用于生成标记在每一次迭代的继任者l7∼l15)。假设SGG已n节点,算法的时间复杂度O(n)。

4.3。检查正确性

在[21),给一个合作的过程,我们提出了一个有效的算法来检查其正确性与传递闭包的概念。在这里,我们简要描述其基本思想。也就是说,该算法首先生成状态空间,即可达性图。然后,它计算传递闭包对应于状态空间中的所有节点的算法称为Floyd-Warshall [27]。最后,基于这些算法决定了正确性生成传递闭包。具体,如果传递闭包对应于状态空间中的所有节点覆盖最后一个标记,然后我们获得协作过程是正确的,否则,它是不正确的。在错误的情况下,两种情况存在,即。,如果some nodes (not all) in the state space can reach a final marking, then we define that the collaboration process is partially correct, and otherwise it is fully incorrect. In our context, the algorithm is directly employed to check the correctness of a cloud-based collaboration process. Note that the Floyd–Warshall algorithm is a classic algorithm for computing transitive closures. Its basic idea is that given a directed graph, the algorithm first constructs its adjacency matrix and then calculates transitive closures of nodes based on transitive relations [27]。为了节省空间,算法上的细节并没有提出。

例3。根据中描述的算法(21),这一事实可以派生OP部分是正确的。具体地说,我们首先计算OP的降低状态空间江源发展促进会,如图5。
然后,我们计算传递闭包中每个节点对应江源发展促进会。显然,在图5,我们可以看到这一点关闭(米₅)不包含米_e(即。,marking米₅不能达到最后的标记),因此,OP在一定程度上是正确的。

5。生成可靠的路径

我们第一次执行路径的概念。直观地,执行路径的一个开放的网络是指跟踪从初始标记它的最终标志。给定一个业务过程,它的执行路径可以正式定义如下。

定义5。(执行路径)。让N= (P,T;F,米₀,米_e)是一个业务流程;然后,它的执行路径是一个序列的转换米₀来米_e。
给定一个协作的业务过程,它的执行路径,称为协作执行路径,是由多个业务流程的执行路径组成。

定义6。(协作执行路径)。让N= (P,T;F,米₀,米_e)是一个协作的业务流程由组合BPaaS服务在云中。然后,它的一个执行路径可以被定义为cep = {ep₁ep,…_n},ep_我( )是一个执行路径的N_我。
在协作执行路径,而不是每条路径可以成功地执行。基于消息的地方,我们可以定义从协作执行路径可靠的执行路径。

定义7。(可靠的执行路径)。让N=(P,T;F,米₀,米_e)是一个协作的业务流程由组合BPaaS服务在云中。然后,给出它的一个执行路径cep = {ep₁ep,…_n},cep可靠敌我识别为每个输入消息的地方p_我连接到一个过渡的ep_我,有一个输出消息的地方p_o连接到一个过渡的ep_o,这样我 o。
从本质上讲,一个可靠的执行路径可以被视为一个合作计划。在实践中,它可以指导每个业务流程正确采取行动,确保他们可以成功地终止合作。
然后,我们给出一个算法生成可靠的一组业务流程的执行路径。
算法3首先生成状态空间的每个业务流程(l1)。然后,每个状态空间的算法获得执行路径和笛卡儿积(l2∼l3)计算。最后,为每个执行路径的叉乘,如果它满足定义6,那么算法将其添加到(l4∼l9)。
通过分析算法3,我们可以得到它的时间复杂度O(| SG₁| +…+ | SG_n| + |(EP₁EP,…_n| SG) |)_我|表明SG的节点的数量_我和|(EP₁EP,…_n)|指示的执行路径的数量(EP₁EP,…_n)。

例4。基于算法3,我们都可以获得可靠的执行路径相机会我们首先计算执行路径EP₁= {t₁^∧t₃,t₂^∧t₃的}N₁图中所示3EP (a)和执行路径₂= {t₄^∧t₅^∧t₈,t₆^∧t₈的}N₂图中所示3(b),然后我们计算之间的笛卡儿积EP₁和EP₂,也就是说,(EP₁,EP₂)= {(t₁^∧t₃,t₄^∧t₅^∧t₈),(t₁^∧t₃,t₆^∧t₈),(t₂^∧t₃,t₄^∧t₅^∧t₈),(t₂^∧t₃,t₆^∧t₈)}。最后,根据定义,我们获得的可靠的执行路径= {(t₁^∧t₃,t₆^∧t₈),(t₂^∧t₃,t₄^∧t₅^∧t₈)}。在实践中,这些可靠的执行路径可以指导Reta和增刊以协调的方式经营,确保正确执行相机会为例,如果Reta订单的产品一个(即。,executingt₁),然后增刊知道自己应该选择接受订单一个(即。,executingt₆)而不是检查股票,协作执行路径(t₁^∧t₃,t₆^∧t₈)是一个可靠的执行路径,这样就避免了死锁中描述我们的激励的例子。

6。实现和实验

在本节中,我们首先介绍我们称为cctool原型工具。然后,验证该方法与实际情况。

6.1。实现

该方法被实现为一个模块cctool管。目前,该模块提交cctool GitHub (https://github.com/MoqiYNU/cctool)。cctool的运行界面如图6,激励的例子OP验证。

提出了图6在界面的右侧是管子的工作区,其中每个业务流程可以分别建模。通过双击模块标签cctool,协作过程可以通过信息融合,那么它的构造状态空间生成减少。最后,检查其正确性将基于状态空间。它部分是正确的,这将是所有可靠的执行路径写入硬盘作为一个文本文件。的帮助下这些可靠的执行路径,根据指定的路径和协作流程执行最终可以成功地终止。

6.2。实验

证实该方法的有效性和效率,我们验证了实际情况。在我们的实验中,我们利用电脑与国米(R)酷睿i7处理器1.80 GHz和16 GB的内存,运行Windows 10。

6.2.1。情况下

由于目前可用的公共协作过程不能(28],在[21),我们建立一个案例集,包含30多元,实用等可用资源的协作流程研究论文(例如,6- - - - - -8,10,11,29日])和其他在线材料(例如,BPMN)的官方网站。此外,基于7体指南(30.),我们为我们的实验还证实,这些情况下是合理的,因为每个协作过程中集包含大约50活动这是大致符合任务参与实际的过程。目前,这些病例提交到GitHub (https://github.com/MoqiYNU/Cases)。在这篇文章中,我们直接使用这些情况下进行我们的实验。为了节省空间,细节(例如,地方和转换)介绍了每种情况下的(21]。

6.2.2。有效性

摘要有效性意味着该方法可以成功地实现正确性检查。还在我们的实验中,我们比较我们的方法使用两种类型的典型的正确性检查方法,即。基于整个状态空间,检查方法(称为CaF) (6,10,11)和检查方法基于视图(CaV) [12,13]。为了简单起见,我们的方法在实验和中科院表示,即:,检查方法基于顽固集。

表2介绍了实验结果的正确性检查所有情况下,在“+”意思是正确的,“+ /−”意味着部分正确,和“−”意味着完全不正确的。实验结果后,我们可以看到,我们的方法(即。,中科院),和both the CaF and CaV approaches can complete the correctness checking for all cases. Meanwhile, we also observe that the checking results of our approach are consistent with the CaF and CaV approaches, thereby confirming the fact that our approach is effective.

6.2.3。效率

摘要效率意味着该方法可以更有效地实现正确性检查与现有的典型方法。在我们的实验中,我们还比较我们的方法和CaF和骑兵。

通过记录所需的时间为每个方法检测的情况下,我们获得的平均运行开销三种方法,如图7。

在图7(即,我们观察到大案件。,the case that contains more states), CaF needs to take more time to complete the correctness checking. For example, for Ca-25, it takes 16488 ms to complete correctness checking. By analyzing CaF, we find that this is mainly caused by the full state space that needs to be exploited during its correctness checking. As far as CaV is concerned, there are some differences. That is, for structured large cases with more internal transitions (i.e., transitions without associated message places), the approach can quickly achieve correctness checking. For example, for Ca-30 which is structured and contains 22 internal transitions (55 transitions in total), it only takes 25 ms for complete checking while 730 ms is taken for CaF. However, for unstructured large cases with less internal transitions, the approach still takes more time to complete correctness checking. For example, for Ca-25, it still takes 14460 ms to complete correctness checking. In practical applications, since most process models are not structured [14),检查效率的方法可能不是显著增加。这也证实了在图7,从中我们可以看到,骑兵的检查效率,在所有情况下,CaF相比没有显著提高。我们的方法而言,与CaF和骑兵相比,其检查效率大大提高,因为只有降低状态空间中需要利用正确性检查。Ca-25例如,只需要5 ms实现正确性检查只有135个节点和182边缘生成的减少状态空间,而不是1939个节点和8040边缘完整的状态空间。

基于上述实验结果,证实了我们的方法的有效性和效率。在实践中,建设协作云中的业务流程可以从该方法中受益。

7所示。相关工作

国家太空和基于视图检查方法都与我们的方法有关。

7.1。国家太空检查方法

总之,国家天基检查方法可分为以下三个亚型:automata-based检查方法,佩特里在网店检查方法,过程algebra-based检查方法。

安装7.1.1。Automata-Based检查方法

在[31日),徐等人首先将BPEL流程转化为保护自动机模型基于转换规则。然后,他们将生成的自动机模型转化为Promela流程。最后,一些会话属性验证在旋转。在[32),周等人提出了一个正式的技术验证web服务之间的交互过程考虑请求者的需求。在[33),弗拉维奥等人首次提供了一个直接的形式化BPMN基于标记转换系统。然后,他们验证一些LTL-based属性(例如,可达性属性)使用模型检查技术。

7.1.2。佩特里网络检查方法

在[6),阿尔斯特首先定义正确性标准的合理性。然后,他们构建跨组织工作流基于同步和异步通信。最后,他们基于可达性图验证其正确性。Zhang et al。29日)提出了一个佩特里网和π微积分方法模型和分析业务合作。的方法,他们首先把两个正式的方法基于映射法,在佩特里网用于指定的地方流指定业务流程,而它们之间的交互通过Pi演算,和映射集成都获得一个统一的模型。然后,他们生成统一的状态图模型,可以验证和稳健。通用电气等。34]提出了一种有效的方法来验证基于不变的跨组织工作流的正确性分析。在这种方法中,他们首先使用Interaction-Oriented Petri网模型跨组织工作流(IOPN)。然后,他们将模型分解成一组序列图。最后,对这些序列图可以验证正确性。曾庆红et al。(10)提出了一个模型和方法验证跨部门的业务流程。在这种方法中,他们首先使用RM_WF_Net (WF-net [6]扩展信息和资源因素)模型跨部门的业务合作。然后,他们验证正确性基于可达性图。Kheldoun et al。35)提出了一种验证技术,基于高层佩特里网的复杂的业务流程。在这种方法中,他们首先使用业务流程建模符号(BPMN)来描述一个协作的过程。然后,他们将生成的模型映射到佩特里网基于一些提议的规则。最后,他们使用模型检查检查它的正确性。杜et al。17)提出了一个三阶段通过模型检测方法分析时间的兼容性。在这种方法中,他们首先模型每个web服务作为一个片段描述了佩特里网。然后,他们将每个片段转换为时间自动机网络(TAN)。最后,通过组合这些生成的黝黑色,web服务组合构建和UPPAAL可以分析它的正确性。模型和验证应急响应过程中,段等。11)提出了一个refinement-based方法。他们首先完善顶层模型为底层工人模型从不同的抽象级别使用一些协作模式,然后验证改进模型的可达性图。

7.1.3。过程Algebra-Based检查方法

黄和吉本斯36采用过程代数CSP(通信顺序进程)形式化BPMN,然后验证正确性一些属性使用该工具罗斯福(失败散度细化)。门多萨(37)提出了一个正式的成分指定验证方法和验证业务流程。在这种方法中,他们使用CSP + T(通信顺序进程+时间)模型BPMN模型随着时间的推移,然后使用模型检查来验证它的正确性。基于模型转换的概念,朱et al。38)首先利用模型转换的概念建立验证框架。然后,他们将组成映射到CSP流程基于一组转换规则。最后,罗斯福的正确性可以验证工具。

7.2。基于视图的正确性检查的方法

支持B2B合作、交互和Eshuis [12]提出一种方法来描述结构协同过程。他们的方法首先定义了基于WF-nets私人和公共层。然后,等组合预测方法使用灰色框投影生成外部过程从概念上的过程。最后,可以验证业务流程协作的正确性的构成外部流程。更有效地验证跨组织流程的正确性,莫et al。13)第一次使用私有流程描述组织的完整过程。然后,他们基于四个规则抽象成公众意见。最后,协同业务流程是由构成公共流程。基于该方法,可以提高验证效率。跨组织的应急响应流程,有效地模型段et al。24首先介绍TRM_WF_net,即。,a WF-net with messages and resources. Then, based on TRM_WF_nets, they present a three-layer framework to describe the emergency response process. Lastly, a set of rules are given to reduce the TRM_WF_net model. In practice, these rules can improve the evaluation efficiency of temporal performance while considering privacy.

7.3。总结现有的工作

上面的文献综述中,我们观察到,大多数现有的方法(例如,[6,10,17,29日,31日- - - - - -38)验证正确性充分利用状态空间。因此,这些方法可能遭受低效率、存在状态爆炸。几种方法(例如,12,13,24)检查正确性基于公众的视野。在某种程度上,这些方法可以提高检查效率,同时考虑到隐私。然而,他们需要结构,业务流程的协作和假设可能并不在实践14]。因此,其正确性检查的效率可能不会显著增加。相比之下,由于我们的方法检查正确性基于顽固集,并没有限制了业务流程,验证我们的方法可以大大提高效率。

8。结论

基于BPaaS服务,聚集在云的开发人员可以编写他们构建协同业务流程实现增值服务。然而,正确性被认为是一个关键的问题在设计阶段。本文基于顽固集,我们提出一种方法来检查其正确性。在实践中,我们的方法可以大大提高开发效率比现有的方法。

一般来说,时间和资源属性被认为是两个重要方面协作云中的业务流程(9]。我们进一步的工作将开发有效的技术来评估时间性能和解决资源冲突问题。此外,边缘计算和物联网(物联网)两个领域密切相关的云计算(5,39- - - - - -44]。基于云服务,我们的进一步研究将该方法扩展到两个区域。

数据可用性

情况下用于我们的实验可以在GitHub访问https://github.com/MoqiYNU/Cases,这是在描述6.2.1节我们更新的手稿。

的利益冲突

作者宣称没有利益冲突。

确认

这项工作是支持由中国自然科学基金会(号。61862065,61662085,61702442)。

引用

1. a . Weiss,”云计算,“沟通者,11卷,不。4,第16 - 25页,2007年。视图:出版商的网站|谷歌学术搜索
2. 下午干预和t .光亮型”,NIST的云计算的定义,“技术。代表,国家标准与技术研究所的盖瑟斯堡,医学博士,美国,2011年,技术报告。视图:谷歌学术搜索
3. 问:张、l . Cheng和r . Boutaba“云计算:最先进的和研究的挑战,”《互联网服务和应用程序,1卷,不。1、7 - 18,2010页。视图:出版商的网站|谷歌学术搜索
4. 刘贤美Bandara m x Wang, c . Pahl“流程作为服务”学报2010年IEEE国际会议服务计算,页578 - 585,IEEE计算机协会,迈阿密,FL,美国,2010年。视图:谷歌学术搜索
5. x x, y Chen Zhang et al .,“blockchain-based计算卸载方法计算5 g网络边缘,”软件:实践和经验,2019年。视图:出版商的网站|谷歌学术搜索
6. w·阿尔斯特“建模和分析企业间工作流”学报第一国际会议应用程序的并发系统的设计,页262 - 272,IEEE计算机协会,美国类似,美国,1998年3月。视图:出版商的网站|谷歌学术搜索
7. 即切比、美国Dustdar和塔塔,“基于视图的方法动态工作流组织间合作,”数据与知识工程卷,56号2、139 - 173年,2006页。视图:出版商的网站|谷歌学术搜索
8. 问:密苏里州,l .白戴,j .秦z谢,t·李,“执法方法协同业务流程的正确性。”IEEE访问7卷,第87084 - 87069页,2019年。视图:出版商的网站|谷歌学术搜索
9. w·歌,c, h·雅各布森,”一个实证研究在业务流程、数据流错误”IEEE云计算, 2018年。视图:出版商的网站|谷歌学术搜索
10. 刘问:曾庆红,f, c, h .段和c .周”业务流程建模和验证跨部门的协作使用扩展Petri网,“IEEE系统,人,和控制论:系统,45卷,不。2、349 - 362年,2015页。视图:出版商的网站|谷歌学术搜索
11. h .段c .刘、曾问:和m .周”Refinement-based分层建模和跨组织协同应急响应过程的正确性验证,”IEEE系统,人与控制论:系统, 2018年。视图:出版商的网站|谷歌学术搜索
12. a .交互和r . Eshuis”规范和协调业务流程协作的验证。”信息系统领域,12卷,不。4、457 - 479年,2010页。视图:出版商的网站|谷歌学术搜索
13. 朱问:密苏里州,f·戴,r . et al .,”的方法来提取公共流程从私人过程建立商业合作,”计算机研究与发展》杂志上,54卷,不。9日,第1908 - 1892页,2017年。视图:谷歌学术搜索
14. k . Ajay p·帕斯卡,格温,“检查业务流程进化,”科学的计算机编程,卷170,不。15日,1-26,2019页。视图:出版商的网站|谷歌学术搜索
15. y s . w . Tan风扇,m .周”中网络兼容性分析方法和组合web服务的业务流程执行语言,“IEEE自动化科学与工程》第六卷,没有。1,第106 - 94页,2009。视图:出版商的网站|谷歌学术搜索
16. p c熊、y s风扇和m . c .周,”佩特里网分析和组合web服务的方法,”IEEE系统,人,Cybernetics-Part答:系统和人类,40卷,不。2、376 - 387年,2010页。视图:出版商的网站|谷歌学术搜索
17. 杜y, b·杨和h·胡”模型检查mediation-aided定时兼容的web服务组合:一个三阶段的方法,”专家系统与应用程序,卷112,不。1,第207 - 190页,2018。视图:出版商的网站|谷歌学术搜索
18. a . Valmari顽固集状态空间生成减少施普林格,柏林,德国,1989年。
19. w·阿尔斯特:罗曼,m·l·罗莎”在通过合作伙伴合成过程配置,确保正确性”信息系统,37卷,不。6,574 - 592年,2012页。视图:出版商的网站|谷歌学术搜索
20. w·阿尔斯特过程挖掘:发现、业务流程的一致性和增强施普林格,柏林,德国,2011年。
21. 问:密苏里州,w .的歌,戴f . et al .,“发展协同业务流程:执行正确性的方法,”IEEE服务计算,2019年。视图:出版商的网站|谷歌学术搜索
22. 李x, y Du, p .熊,”佩特里网mediation-aided组合web服务的方法,”IEEE自动化科学与工程,9卷,不。2、429 - 435年,2012页。视图:出版商的网站|谷歌学术搜索
23. n .罗曼“合规artifact-centric业务流程的设计,信息系统,38卷,不。4、606 - 618年,2013页。视图:出版商的网站|谷歌学术搜索
24. h .段c .刘、曾问:和m .周”包减少跨组织应急响应过程的建模和分析方法与隐私保护,”IEEE访问》第六卷,第55585 - 55573页,2018年。视图:出版商的网站|谷歌学术搜索
25. b·莱曼:罗曼,a .狼“顽固集简单线性时间属性,”佩特里网的应用和理论施普林格,德国海德堡2012。视图:谷歌学术搜索
26. l . m . Kristensen和a . Valmari”改善问题引导顽固的设置方法状态属性,”在计算机科学的课堂讲稿卷,1825年,页282 - 302,施普林格,柏林,德国,2000年。视图:谷歌学术搜索
27. h·托马斯·c·e·雷瑟尔森r·l·莱维斯特和c·斯坦,算法导论美国马剑桥,麻省理工学院出版社,2009年。
28. m . Borkowski w . Fdhila m . Nardelli et al .,“分布式业务流程,基于事件的故障预测”信息系统卷,81年,第235 - 220页,2018年。视图:出版商的网站|谷歌学术搜索
29. l .张陆y, f .徐”统一协作业务流程的建模和分析基于Petri网和Pi演算,”专业软件,4卷,不。5,303 - 317年,2010页。视图:出版商的网站|谷歌学术搜索
30. j·孟德尔、h·a·Reijers和w·m·p·范德阿尔斯特”七个流程建模指南(7体),”信息与软件技术,52卷,不。2、127 - 136年,2010页。视图:出版商的网站|谷歌学术搜索
31. x赋、t . Bultan和j .苏“BPEL web服务进行交互的分析,”诉讼的ACM国际会议在万维网上,页621 - 630,纽约,纽约,美国,2004年5月。视图:谷歌学术搜索
32. 周z l·t·杨,s . Bhiri l .蜀n .熊和m . Hauswirth认为,“服务交互验证介导考虑预期的行为,”网络和计算机应用》杂志上,34卷,不。4、1043 - 1053年,2011页。视图:出版商的网站|谷歌学术搜索
33. c .弗拉维奥·佛罗伦,波利,b .再保险和f . Tiezzi,”一个正式的方法来建模和验证业务流程协作的,”科学的计算机编程,卷166,不。15日,35 - 70年,2018页。视图:出版商的网站|谷歌学术搜索
34. j。通用电气,H.-Y。周,y, h . Hu D.-Y。王,X.-B。郭”,与不变量分解方法分析工作流协调,”中国电脑杂志,35卷,不。10日,2169 - 2181年,2012页。视图:出版商的网站|谷歌学术搜索
35. a . Kheldoun k Barkaoui, m . Ioualalen”形式验证基于高层佩特里网的复杂的业务流程,“信息科学卷,385 - 386年39-54,2017页。视图:出版商的网站|谷歌学术搜索
36. p . y . h . Wong和j·吉本斯,“正规化,BPMN的应用。”科学的计算机编程,卷76,不。8,633 - 650年,2011页。视图:出版商的网站|谷歌学术搜索
37. l·e·门多萨,麻省理工学院卡博尔,a . p . Marıa”业务流程的验证概念框架,”信息与软件技术,54卷,不。2、709 - 730年,2017页。视图:谷歌学术搜索
38. 朱y、z黄和h .周”的建模和验证web服务组合模型转换的基础上,“软件:实践和经验卷,47号5,709 - 730年,2017页。视图:出版商的网站|谷歌学术搜索
39. x徐、刘问:y罗et al .,“在大数据计算卸载方法IoT-enabled cloud-edge计算,”未来一代计算机系统卷,95年,第533 - 522页,2019年。视图:出版商的网站|谷歌学术搜索
40. l .气y, y元et al .,“Qos-aware虚拟机节能调度方法在基于云的cyber-physical系统中,“万维网杂志,2019年。视图:出版商的网站|谷歌学术搜索
41. x, y雪,l . Qi et al .,“优势computing-enabled计算卸载方法与隐私保护互联网连接的车辆,“未来一代计算机系统卷,96年,第100 - 89页,2019年。视图:出版商的网站|谷歌学术搜索
42. x, c .他z徐et al .,“联合优化卸载工具和隐私边缘计算使物联网,”IEEE物联网,2019年。视图:出版商的网站|谷歌学术搜索
43. l .气他,f . Chen等人”找到你所需要的:web api推荐在web通过关键词搜索的东西,“IEEE计算社会系统》第六卷,没有。5,1063 - 1072年,2019页。视图:出版商的网站|谷歌学术搜索
44. 黄x, y, t . et al .,“成为:blockchain-enabled计算卸载移动边界计算的物联网,”IEEE工业信息,2019年。视图:出版商的网站|谷歌学术搜索

版权

版权©2020气帽等。这是一个开放的分布式下文章知识共享归属许可,它允许无限制的使用、分配和复制在任何媒介,提供最初的工作是正确引用。