没有合适的资源?快使用搜索试试~ 我知道了~
沙特国王大学学报具有复杂同步的Abdia Hamdania,Abdelkrim Abdellib,a阿尔及利亚提亚雷特大学b阿尔及利亚阿尔及尔USTHB大学LSI实验室阿提奇莱因福奥文章历史记录:收到2019年2019年5月28日修订2019年8月14日接受在线预订2019年8月30日关键词:工作流模式同步更新Petri网实时系统A B S T R A C T如今,工作流系统变得非常复杂,涉及时间约束,任务的优先级以及详细的同步方案。因此,这种系统的规范和验证需要大量的理论来证明其正确性,并确定其定性和定量属性。本文主要研究时间工作流系统的复杂同步问题。为了解决这个问题,我们重新定义了会合的概念,作为一种机制,以同步时间受限的并发任务的不同权限(主,从)。我们讨论了不同的策略,gies会合可以遵循,因此,我们确定所有的同步模式,可以考虑在指定其行为。从那里,我们推导出36个通用的同步规则,可以与会合的概念。在此基础上,我们将时间Petri网的形式化扩展到会合的概念,引入了时间Petri网的会合模型。然后,一个子类的RTPN称为时间工作流网与Renminbi(RTWF网),定义的建模和分析的时间工作流系统。最后,一个案例研究表明,我们的框架可以有效地和优雅地处理复杂的同步要求。©2019作者制作和主办:Elsevier B.V.代表沙特国王大学这是一CC BY-NC-ND许可下的开放获取文章(http://creativecommons.org/licenses/by-nc-nd/4.0/)。1. 介绍软件工程是计算机科学中的一个重要研究课题,其历史可以追溯到70年代初随着时间的推移,软件变得越来越复杂,同时必须不断响应用户定义形式化方法来验证软件的正确性的需求正成为一个具有挑战性的问题,特别是随着实时系统的出现事实上,需要认识到,为了更好地管理功能障碍并避免意外的过程错误,我们需要作为设计师在实现之前通过模拟和模型检查软件的行为来预测它们。*通讯作者:Bp 32 El Alia Babezzouar,阿尔及尔,阿尔及利亚.电子邮件地址:abdelli@lsi-usthb.dz(A. Abdelli)。沙特国王大学负责同行审查当多个软件进程计划并行执行而共享对象和资源时,通信、同步和延迟是要处理的重要方面。我们需要保证一个可靠和持续的协调,以保持信息交流在适当的为此,引入了不同的模型来指定和研究与流程执行相关的方面,例如工作流。后者允许清楚地描述如何以及何时必须通过指定控制流来完成过程的电子任务(Khoshafian等人,1998年)。对工作流系统的研究始于70年代后期,目前已经提出了控制流的描述可以包括不同的机制(例如,顺序,选择,并行和同步),通常称为工作流模式(Van der Aalst和ter Hofstede,2005)。例如,工作流中的同步可以被看作是流程执行期间的一个交汇点,其中一组任务必须根据给定的方案(例如,AND连接同步器模式)等待其他任务目前,工作流系统面临的挑战之一是处理在不同的同步和时间约束模式下执行可变数量的任务的情况。实际上,调整、重新规划和同步工作流以应对意外行为、延迟或https://doi.org/10.1016/j.jksuci.2019.08.0071319-1578/©2019作者。制作和主办:Elsevier B.V.代表沙特国王大学这是一篇基于CC BY-NC-ND许可证的开放获取文章(http://creativecommons.org/licenses/by-nc-nd/4.0/)。制作和主办:Elsevier可在ScienceDirect上获得目录列表沙特国王大学学报杂志首页:www.sciencedirect.com492A. Hamdani,A.Abdelli/沙特国王大学学报技术条件是保证系统可靠性的必要条件。此外,这些要求在许多领域(例如医疗保健工作流程)中正在成为关键方面(Combi和Posenato,2009)。例如,在移植手术活动中,我们要求待植入的器官、患者的血液和患者的血液同时存在,它们必须在同一小时内全部到达医院,以避免植入物的任何功能退化。此外,在仓库管理中,工作流程需要某种同步,以确保所有产品在适当的时间内交付给客户,以避免现场存储不足。例如,两个任务A和B对应于由两个供应商进行的装运最终交付必须在所有产品可用后开始,并且任何产品在仓库的等待时间不得超过5个时间作为附加约束,任务可能不具有相同的同步优先级,例如在唇同步问题中。音频(主优先级)和视频(从)通过主同步连接另一方面,音频也可以通过另一同步与远程指示器(从)同步(Owezarski和Boyer,2010)。例如,必须满足以下延迟:视频可以在音频之前,但不超过80 ms,同时不应提前于80 ms。在我们以前的工作中,我们引入了一个新的时间Petri网扩展,称为 RTPN ( 带 有 Renaissance 的 时 间 Petri 网 ) ( Hamdani 和Abdelli,2017)。该模型以集合的方式丰富了TPN的语义,为不同权限、不同时间约束的并发任务之间的同步因此,从交会的概念出发,研究和讨论了可归纳出的主要同步规则在Hamdani和Abdelli(2018)中,我们提出了一种使用RTPN形式主义来指定和分析工作流系统的方法对于这种效应,我们探索了与会合概念相关的主要同步带重调度的时间工作流网(RTWF网)是RTPN的一个子类,用于对复杂的工作流系统进行建模。在本文中,我们主要解决的问题,指定的时间工作流系统与复杂的同步要求。为此,扩展了会合的范例,为设计者提供了更多的表现力和更大的灵活性。因此,我们能够产生更多的同步策略,并诱导其任何类型的同步规则。根据集合的扩展语义,我们定义了支配集合行为的全局策略,然后导出了所有可能的同步模式及其子模式的详尽列表因此,我们总共定义了27个主和9个非主通用同步规则,确定了所有可能的模式组合,可以从会合的概念设计每一个一般的规则可以反过来产生子规则 , 以 指 定 更 精 确 和 特 殊 的 同 步 情 况 。 对 Hamdani 和 Abdelli(2017)中已经引入的RTPN的正式语法和语义进行了重新审视,以应对概念会合定义中引入的额外功能最后,通过一个案例分析,说明了该模型在处理时间工作流系统中复杂同步问题时的作用本文的其余部分组织如下:在第2节中,我们讨论了相关的工作。在第三节中,我们正式提出了交会的概念,并推导出由此可能导出的各种同步一个详尽的通用同步规则列表,然后提出和讨论。第4节规定了RTPN的正式语法和语义,RTWFN模型,然后提出建模方法。在第5节中,我们给出了一个案例研究的例子。最后,对未来的工作进行了总结和评论。2. 相关作品在这一节中,我们回顾了最重要的工作的文献,解决正式规格说明和工作流系统的验证。a) 基于Petri网的模型:由于Petri网(PN)模型具有良好的语法和形式语义、基于局部状态的系统描述以及丰富的分析技术,因此它作为工作流系统形式化分析的数学基础已被许多研究所采用。在van der Aalst(1998)中,基本PN首先被扩展以定义工作流网(WF-网)来指定工作流的处理。在Van der Aalst和ter Hofstede(2005)中,工作流网络被认为是业务流程的建模、验证和验证。WFnet之后必须扩展以处理新的方面:(数据,时间等). ).因此,在文献中提出了各种扩展:(i)随时间的扩展(Li等人 , 2003 年 ) ; ( ii ) 扩 展 颜 色 模 型 数 据 ( 罗 素 和 terHofstede,2009年);(iii)扩展构建大型模型的层次结构(B.B. K等人, 2008年); ㈣最后是一个通用模型,结合了Barreto和Julia,2017一些先前功能。在文献中已经提出了许多其他PN扩展例如,在Wang和Zeng(2008)中,作者引入了R/NT-WF Net来建模受资源和不确定时间约束的工作流。给出了计算每个活动开始的最早和最晚时间的过程。在Barkaoui等人(2008)中,提出了一种称为时间递归ECATNets(T-RECATNets)的新形式主义,用于建模和分析时间约束的可重构工作流。在Bertolini等 人 ( 2012 年 ) 中 , 定 义 了 基 于 组 件 的 时 间 弧 Petri 网(CTAPN)来对协作医疗保健工作流进行建模。Cicirelli et al.(2013)考虑TSPN模型,用于复杂工作流的建模和制定。Thabet Kotb和Badreddin(2005)的作者引入了WFCS-nets(工作流临界段网),在考虑临界段的同时处理活动之间的同步和 时 间 约 束 。 在 van der Aalst and Weske ( 2013 ) 和Boukhedouma et al.(2017)中,模式被调整以应对组织间工作流(IOWF)。del Foyo和Silva(2008)的作者使用TINA作为支持活动截止日期验证的工具,应用时间PN来建模和分析工作流系统的时间行为。位于转换中的时间信息的自动机派生的(TPN),允许检查时间的定量属性使用TCTL逻辑。在Chuuri和Huang(2000)中,用颜色赋时Petri网(CTPN)来表示工作流授权模型WAM:(workflow authorization model),设计 了 多 个 工 作 流 实 例 的 职 责 分 离 约 束 。 在 Yuyue 和 Jiang(2003)中,提出了基于逻辑时间Petri网(LTPN)的逻辑时间工作流网(LTWN)和组织间LTWN(ILTWN),用于描述和验证实时协作系统。此外,逻辑正确性以及有界响应时间的性质进行了研究。在Boucheneb和Barkaoui(2014年)中,A. Hamdani,A.Abdelli/沙特国王大学学报493ðÞðÞ联系我们¼[ðÞð Þ ðÞ-½ð Þ[中文字幕]● ðÞ● ðÞ● ðÞ● ðÞ描 述 了 如 何 使 用 TCTL 模 型 检 测 进 行 定 性 和 定 量 分 析 在Hamdani和Abdelli(2018)中,作者引入了会合的概念来指定时间工作流系统中的复杂同步他们提供了方向的策略,采取以获得各种同步模式。b) 基于图形的模型:图也被认为是一个正式的工具来指定工作流系统。在Marjanovic和Orlowska(1999)中,任务是图中标有其持续时间的顶点。边表示任务执行。在Bettini et al. (2002),顶点被标记有相关任务的开始和结束时刻,而边被给予任务的最大允许持续时间。在Combi和Posenato(2009)中,作者介绍了有向图,其中任务表示为Bettini等人(2002)。针对持续时间和延迟的任何可能组合验证工作流路径的可控性。在Eder et al. (2013)中,定义了时间工作流图TWG,其提供活动之间的时间约束作为上限和下限约束。没有定义活动之间的延迟。c) 其他型号:其他形式主义也被认为是指定工作流系统,如Rusinkiewicz等人(1991)中的计算树逻辑CTL,Gunter等人(2009)中的事件代数,Alfonso-Cendn等人(2016)中的多代理理论,Karhof等人(2016)中的UML活动图和State Charts Zhang等人。(2012年)。d) 讨论内容:大多数以前的作品不解决同步与时间约束的控制流建模。到目前为止,在文献中处理的同步要求是非常基本的,并且没有涵盖所有可能的同步要求模式.有必要考虑更多的计划,工作单元称为任务,它们共同完成给定的过程。基本任务是一个原子活动,不能划分为子流程。我们假设在我们的模型中,任务可以有不同的权限(主或从),并与定义其最早开始和最晚结束时间的时间间隔相关联。任务交互和同步的方式由控制器描述,除了会合点。非正式地,Renault被视为工作流过程中的一个时间点,其中一组任务必须根据给定的要求彼此交互以同步它们的执行。更正式地说,一个会合点,记为R,是元组Tm;Ts;– Tm表示同步模式中涉及的主任务的非空集合;Ts是从任务的集合,使得TsTm好的 集合Ts可以为空,因此表示模式中涉及的所有任务都具有相同的权限。在续集中,我们注意到T rTsT m。我们假设每个任务t其特征在于其自身的时间约束,以区间x t;y t的形式给出。x t(分别为 y t)表示最早的启动(resp.任务t的最晚结束)时间。y tX t因此将表示任务的最大持续时间t。主任务和从任务之间的区别在于,集合的开始或结束必须完全由主任务的执行决定但是,从任务不一定影响同步,除非它们被赋予此特权,我们将在后续部分中看到。– Loc-;Loc-是确定同步的时间标志的时间地点。Loc-被称为开始时间局部性,Loc-被称为结束时间局部性。Loc-引入规则来计算开始会合的优选时间而Loc则定义了计算实现它的优选时间的规则。localityLoc- respLoc的值由Set-;Op- resp对编码。设置;操作。因此,我们引入以下表达式到计算的日期两地点:Loc-1/4Op-fxtg,在Sett??提供了一个更有表现力的正式模型来处理这些8吨2套-8吨2台要求.为此,我们在本文中建议扩展Hamdani和Abdelli(2018)中定义的工作。我们重新审视会合的概念,扩展其语义,以涵盖大范围的同步。我们提供了一个广泛的同步模式列表,从中我们推导出36个同步规则。 然后将会合的概念与TPN模型相结合,为设计和分析具有复杂同步需求的时间工作流系统提供了一个强有力的工具。3. 提议的同步模型同步和时间约束成为工作流系统中需要处理的重要特性。 事实上,建模和分析这些需求是一项非常复杂的任务,因为需要引入新的工具来应对额外的挑战。在这一节中,我们通过描述建模框架中使用的不同范例来介绍我们方法的本质。我们回顾了Hamdani和Abdelli(2017)以及Hamdani和Abdelli(2018)已经介绍的会合概念。然而,后者的语义被扩展以允许更多的表达性和更大的灵活性。3.1. 任务、会合、地点和延迟参数会合的概念依赖于任务的概念在工作流模型中,我们假设存在一组基本的设置-2 fT r; T mg和Op-; Op2 fMIN; MAXg。与 Hamdani 和 Abdelli ( 2017 ) 以 及 Hamdani 和 Abdelli(2018)中定义的语义相比,我们在这里扩展了后者,以允许在rendzvous的表达中使用更多的位置值。具体地说,每个位置可以取4个不同的值,而不是两个。因此,我们在复杂同步的设计中引入了更多的灵活性,并扩展了我们的模型可以产生的同步模式的范围根据我们想要指定的同步模式的类型,开始时间位置Loc-可以引用以下值之一:T r;MAX:这意味着同步的开始是在最后一个任务开始执行时确定的。该地值要求所有任务都应同时启动,以便保持同步。Tm;MAX:这意味着同步的开始是由开始执行的最后一个主任务确定。这些模式要求所有的主任务都应该同步它们的开始(见图1)。①的人。T m;MIN:这意味着同步的开始由第一个要执行的主任务给出。这样的局部值要求至少有一个主任务必须可用于执行,以便开始同步。Tr;MIN:这意味着同步的开始由第一个要执行的任务决定。此同步要求必须至少有一个任务可供执行,以便启动同步。494A. Hamdani,A.Abdelli/沙特国王大学学报¼¼● ðÞ● ðÞ● ðÞ● ðÞ[1克]● ð ¼Þ¼ ð ð Þ ðÞÞ● ð ¼Þ至少有一个任务的设置设 置还在运行。表示同步的结束可以延迟到Loc_n之后的不超过d个时间单位,前提是至少有一个任务集合尚未结束其执行(见图11)。① 的人。3.2. 定时交会模式Fig. 1.地点,提前和延迟会合。同样地,Loc与四个位置值相关联Tr;MIN:这意味着同步的结束由第一个 任务来 确 定 , 以实现其执行。这要求所有的任务已经开始执行,以便共同实现同步。Tm;MIN:这意味着同步当第一个主任务结束其执行时发生。这个方案要求所有的主任务都已经开始执行,以便联合地达到会合点(见图1)。①的人。T m;MAX:这表示同步的结束是由最后一个主任务给出的,以结束其执行。这样的地方值要求必须至少有一个主任务正在运行才能结束同步。Tr;MAX:这表示同步结束时,最后一个任务完成执行。这样的同步要求至少有一个任务必须运行,以结束会合。为了与主任务语义一致,我们要求在我们的模型中,至少有一个局部指的是主任务集,即Set-Tm或SetTm。 这就要求,同步的开始或结束都是排他的由主任务的执行决定。-参数a - ; a-; d - ; d-是来自Q的正有理数,其指定局部的提前或延迟。 具体而言,为了放宽时间限制,通过前面定义的局部值挖掘,我们使用这些附加参数来表示相对于由Loc和Loc定义的同步点。a-(分别为a)指定相对于localityLoc-(分别为Loc_i)以启动同步。具体地,a-表示同步的最早开始可以在Loc-时间值之前提前a-时间单位,提供至少一个任务集合-已经开始。在另一边,一个表示最早开始的会合可以提前一个时间单位之前发生的位置,但不是在位置,提供至少一个任务的设置-已经开始执行(见图。①的人。此外,d-(分别为d_i)指定相对于局部Loc-(分别为Loc_i)的可接受延迟以结束同步。d-表示同步必须在Loc-之后的d-时间单位内结束,并且不能在Loc-之前结束,前提是通过假设前面给出的会合的语义,我们在本节中探索可以根据位置所取的值生成的不同全局同步策略。然后,我们列举了每种策略所能诱导的所有模式和子模式.我们讨论每种情况下,并通过案例研究的例子突出其语义。最后,通过结合这些模式,我们介绍和讨论所有可能的同步规则,可以与会合的概念请注意,这项研究比Hamdani和Abdelli(2018)中给出的研究更有说服力,后者依赖于会合的基本版本,并且根据会合概念的旧语义,仅简要介绍了策略,模式和同步规则的子集。设R Tm;Ts;Loc-;Loc;a-;a;d-;d为会合点。根据延迟参数的值和两个局部-因此,我们定义并讨论了一组有用的同步模式,可以从会合的概念。在第一级,通过结合位置Loc-和Loc-的值,我们得到了12个一般规则,我们在四大战略:Op-MAX:在这种策略中,当Set -的所有任务都准备好开始时,决定同步的开始。这种策略被称为Co-Begin策略。Op-MIN:在这种策略中,满足同步的最早时间由Set -中开始执行的第一个任务决定。这种策略被称为“一个开始”战略● 在这种策略中,集合的结束是在集合的所有任务都准备好结束它们的执行时确定的。这种策略被称为共同结束策略。● 在这样的策略中,当集合的所有任务已经以异步方式实现它们的执行时,决定结束同步的最晚时间。这种策略被称为一个终结的战略。One-Begin和CoBegin策略设置任务同步开始的方式,而One-End和CoEnd策略指定任务同步结束的方式。每个策略定义了一类模式。通过限制条件,我们可以在每个类中定义子模式,这将在下文中讨论。然后,通过考虑延迟参数的特定值,可以放松每类模式以部分或全部覆盖另一类模式。示例:为了更好地理解前面的概念,让我们考虑以下工作流示例。旅行社需要组织国内和国际旅行。需要以下任务集:注册客户端请求后,操作员必须处理请求以找出将交付给客户端的命题。如果客户同意其中一个提议,预订就完成了。预订由并行处理的不同子任务组成:预订航班(Book-flight任务)、酒店(Book-hotel任务)和汽车(Book-car任务),以及为取消和行李丢失购买旅行保险(Insur-cancel和Insu-loss任务)。根据客户的需求,预订可以包括所有任务或仅包括一个子集,例如购买旅行保险。的时间A. Hamdani,A.Abdelli/沙特国王大学学报495¼¼●¼¼¼¼ ðÞ¼¼ ðÞ公司简介公司简介¼ ð Þ ¼ ðÞ¼¼¼●¼¼与每项任务相关的限制条件决定了开始预订的最早日期和完成预订的最晚日期。根据可用性、客户和管理要求(例如签证),每项任务都有自己的时间限制。任务的处理可能需要操作员进行特定的同步,以根据不同的要求匹配结果。此外,特定任务可以相对于其他任务提前或延迟,以应对航班或房间不可用或签证要求。3.2.1. One-Begin模式形式上,当满足条件Op-MIN时,获得单开始这意味着,重新分配的开始是由Set-中的第一个任务决定的,以开始其扩展。在Ts为空或不为空的情况下,One的两个子类可以导出开始如果Ts ∈:我们必然有Set-Tm。One-Begin模式中考虑的所有任务都 具 有 相 同 的 权 限 。 我 们 称 这 个 子 类 为 Close One-begin(COB)。- If Ts- £:在这个子类中,在一开始模式中需要至少一个从任务的存在。我们称这个模式子类为Open One-Begin。此外,在Set-的值之后,报告两种类型的Open One-Begin–-如果设置-Tm:同步的开始由以下决定:要执行的第一个主任务我们称这种模式为Master Open One-Begin(MOOB)。–-这种模式是扩展开放单开始(EOOB)COB和MOOB之间的区别在于,后者的结束可以由从任务的结束决定,而前者的结束必须由主任务决定。然而,两者的开始都由要执行的第一个主任务决定当指定另外的参数时,所有定义为One-Begin的模式都不能被限制或放松。这图二. 一个结束和一个开始模式。是因为同步的开始不能提前到Set-中的第一个执行任务之前。图 2说明了One- Begin 模式的类别。我们有Tm tm1;tm2T s t s1;t s2。深灰色方框表示对于同步的标称持续时间,浅灰色框表示同步持续时间的延长在COB模式中,我们排除了从属任务fts1;ts2g.同步保持当第一个主任务被执行(tm1),这样xtm1表示的日期位置。COB的执行结束取决于Loc的值。这涵盖了范围½ytm1;ytm2]从结束其执行的第一个主任务(tm1)如果LocTm;MIN)到最后一个(tm2,如果LocTm;MAX)。在模式中涉及从任务的情况下,当执行第一主任务时(t m1)提供MOOB模式,而当第一任务开始时(t s1)开始EOOB模式。根据Loc的价值,MOOB模式的执行在最好的情况下,当第一个任务结束其执行时,tern可以结束(t s1 ifLoc= 0;MIN =0)。模式的持续时间可以延长到最后一个任务完成其执行(t s2如果最大值)。对于EOOB,同步的实现必须由主任务的结束来决定。因此,标称持续时间持续到第一个主任务结束(tm1,Loc_m;MIN_m),并且可以扩展到要结束的最后一个主任务(t_m2,如果Loc_m;MAX)。范例:让美国考虑的旅行机构的例子,其中,我们假设国内旅行预订过程的以下子任务:预订-酒店;预订-航班;预订-汽车;以及Insu旅行;Insu损失。预订任务是并行执行的,可能需要同步它们的执行。如果所有项目都是单独预订的,那么我们将应用One-Begin同步。预订日期由要处理的第一个任务的日期给出。在客户不需要购买旅行社建议的旅行保险的情况下,我们有Ts£;这里考虑COB模式。但是,如果他不确定是否会购买保险,并要求额外的时间来决定,那么我们应用MOOB同步。如果他想先预订保险,以防止任何取消或事故,那么我们应用EOOB模式。3.2.2. 单端模式形式上,单端模式是在Op=MAX时导出的。这意味着当Settask的最后一个主任务完成执行时,同步结束。以下情况Ts为空或不,可以派生出单端如果T ∈:我们必然有Set∈T m。One-End模式中考虑的所有任务都具有相同的权限。我们将这个模式子类称为封闭单端模式(COE)。在这个子类中,需要至少一个从属任务的存在。我们称这个子类为开放式一端。根据Set的值,报告两种类型的Open One-End:–如果设置T m:同步的结束取决于第一个结束执行的主任务。我们称这种模式为Master OpenOne-End(MOOE)。–如果设置同步:当最后一个任务结束其执行时实现同步。这种类型的图案被称为扩展开放式一端(EOOE)。虽然COE和MOOE中的同步以相同的方式结束实际上,MOOE的开始可以由从任务的开始决定,而COE的开始必须由主任务的开始决定对于One-Begin类,在这个One-End类中定义的所有模式在改变延迟时都不能放松●●496A. Hamdani,A.Abdelli/沙特国王大学学报Þ¼ ðÞ¼¼ ð Þ ¼ ðÞ¼ ðÞ¼þ1¼þ1¼ ðÞ2.2分之1分之2]分之1分之2¼¼●¼ðÞ●¼●¼¼参数d-; d。这是因为同步的结束不能延迟到Set对象中最后一个执行的任务之后。在图2中,我们描述了单端模式的语义。在COE的情况下,任务fts1;ts2g将被忽略。当最后一个主任务完成时(tm2),同步结束;ytm2表示Loc的日期。模式的开始由主任务决定,并取决于Lo c- 的值。这涵盖了从开始执行的第一个主任务开始的范围[1/2 xtm1;xtm2](位置T m;MIN)到最后一个(t m2,如果Loc-Tm;MAX)。在MOOE模式 的情 况下 ,后 者在 最后 一个 主任 务结 束时 结束(tm2),而EOOE在最后一个任务完成时结束(ts2)。根据Loc-的值,MOOE的开始覆盖了从第一个任务开始执行的日期(如果Loc-1/4Tr;MIN= 1)到最后一个任务开始执行的日期(如果Loc-Tr;MAX=2)的范围。关于EOOE模式,其开始必须由一个master task的开头因此,它的标称持续时间由最后一个开始的主任务限定(tm2,如果Loc-1/4Tm;MAXN),并且可以扩展到第一个开始的主任务(tm1,如果Loc-Tm;MIN)。示例:让我们回到我们的预订示例。如果我们考虑国内旅行预订过程的以下子任务Tm={Book-hotel,Book-Flight,Book-Car}和Ts= {Insu-trip,Insu-Loss}。如果客户不需要保险(Ts£),当所有的主任务都处理完时,预订就结束了;我们在这里应用COE模式。然而,在他需要保险的情况下,可以看到两如果他以后想通过旅行社预订保险,我们应用EOOE模式。否则,如果他已经预订了第一个保险,只需要完成所需项目的预订,我们应用MOOE模式。3.2.3. CoBegin模式CoBegin模式的类重新组合了所有模式,以便在Set-的所有任务准备好联合开始执行时开始同步。形式上,我们有最大操作-¼ 在第一层,CoBegin的两个子类可以–─如(a)─ 0的整数;):在这种情况下,CoBegin被放松,以允许同步的早期开始在时间上相对于相关联的同步CoBegin提前,但不早于相关的One-Begin。在模式子类的基础上,我们得到了高级关闭CoBegin(ACCB)、高级主开放CoBegin(AMOCB)和高级扩展开放CoBegin(AEOCB)。–-通过将CoBegin的执行推进到像相关的One-Begin那样工作,CoBegin被放松到最大。CoBegin模式的不同变体如图所示。 3 a. SCCB在所有主任务都准备好启动时启动(tm2是最后启动的主任务)。它的标称持续时间是在所有主任务准备结束时(当tm1结束时)达到的,并且可以延长到最后一个主任务实现其执行(t m2,如果位置为1/2T m;最大值为2)。SCCB可以提前,但不能早于COB的开始(t m1的开始)。SMOCB模式是与SCCB的启动方式相似。但是,SMOCB的标称持续时间在第一个任务结束时设置(如果Loc为1,则为ts1; MIN为1),并且可以延长到最后一个任务结束时(如果Loc为1,则为ts2)。禄寿Tr;MAX)。关于SEOCB,该模式在其所有任务准备好开始时(当ts2开始时)开始,并且可以前进到不早于第一个任务开始(ts1)(EOOB的开始)。当 第 一 个 主 任 务 结 束 时 设 置 其 标 称 持 续 时 间 ( tm1 , 如 果LocTm;MIN),并可扩展到最后一个结束(tm2if Loc=1000T m;MAX= 1000T m)。 值得注意的是,如果Set = 1/4Tr,则我们必然有Set_m。相反,如果Set-¼Tm,则集合T可以指Tr或Tm。示例:让我们回到我们的预订示例。如果我们考虑国内旅行预订过程的以下子任务Tm= {Book-hotel,Book-Flight,Book-Car}和Ts={Insu-trip,Insu- Loss}。如果客户不需要保险(Ts¼£)在以下情况下考虑Ts是否为空在这个子类中,CoBegin中考虑的所有任务都具有相同的特权。我们称这个模式子类为close CoBegin。在这个子类中,需要至少一个从属任务的存在。我们将这个模式子类称为Open CoBegin。在这个子类中,我们报告了不同类型的模式,这些模式遵循Set-的值:–-:当所有的主任务联合地开始它们的执行时,决定同步。我们将这种模式称为Master Open CoBegin。–-:设置-Tr:在这种情况下,同步开始时,所有任务都准备好开始执行。我们称这种模式为扩展开放式CoBegin。当另外考虑相关联的延迟参数α-α时,CoBegin的子类可以被放宽以覆盖其他类型的模式。If(a-0):这意味着同步的开始不能相对于相关CoBegin模式的日期Loc-这种类型的模式称为同步CoBegin。因此,我们要处理的是模式的子类利 用 , 我 们 获 得 同 步 关 闭 CoBegin ( SCCB ) 、 同 步 主 打 开CoBegin(SMOCB)或同步扩展打开CoBegin(SEOCB)。If(a-涵盖:并且对酒店和汽车类型有偏好,可以决定在同一请求中搜索汽车、房间和航班的可用性,以便根据用户需求匹配可用性日期。在本例中,我们应用SCCB模式。例如,如果需求量很大,对于旅馆,操作员可以决定通过首先预订所需旅馆中的任何可用房间来提前开始预订。然后,一旦处理了航班和汽车的预订,他将后者与其他结果进行匹配。在这种情况下,我们使用ACCB模式。然而,在客户端需要向流程添加保险的情况下,可以看到两种情况。如果他以后想通过旅行社预订保险,我们应用SMOCB模式。但是,如果在其他所需任务之前预订房间,我们将应用AMOCB。另一方面,如果客户确定要购买保险,操作员可以在开始一起处理所有请求时包含此任务;在这种情况下,我们应用SEOCB模式。AEOCB是考虑的情况下,预订的房间是事先处理3.2.4. CoEnd模式这个类包括所有的模式,当Set中的所有任务都准备好联合执行时,决定结束同步的最晚时间形式上,我们最小操作时间。 在第一层,CoEnd可以在Ts为空或不为空的情况下考虑。如果T ∈:我们必然有Set∈T m。CoEnd模式中考虑的所有任务都具有相同的权限。我们称这个模式子类为Close CoEnd。●●A. Hamdani,A.Abdelli/沙特国王大学学报497¼¼ðÞ●¼2½ 1 ½ 2 ] 1 ½¼ ðÞ¼¼þ1¼þ1图三. CoEnd和CoBegin模式。如果Ts-ε:在这个子类中,CoEnd中需要至少一个从属任务的存在。我们把这个子类称为Open CoEnd。在Set_n的值之后,我们报告两个子模式:–:设置Tm:在这种情况下,同步结束时,如果所有的主任务都已经开始,则第一个主任务完成其执行我们称这种类型的pat-pat为Master Open CoEnd。–:SetRendezvousr:当第一个任务完成时决定会合的结束,前提是所有的任务都完成了。已经开始了。我们将这种子模式称为扩展开放CoEnd。当另外考虑相关联的延迟参数时,CoEnd的不同子类可以被放宽以覆盖新类型的模式甚至其他先前的类。If(d0):这意味着同步的结束由最后一个要执行的任务的结束决定,而不考虑-任何时间延迟。我们将此模式称为同步CoEnd。在我们考虑的模式子类之后,我们有同步闭合CoEnd(SCCE)、同步主开放CoEnd(SMOCE)和同步扩展开放CoEnd(SEOCE)。If(d-–-如(d)-0的整数;或(d)0的整数;:在这种情况下,CoEnd被放松以允许同步CoEnd模式在时间上延迟,但不晚于相关的One-End模式。燕鸥我们称这种模式为延迟CoEnd。根据模式所属的子类,我们得到:延迟关闭CoEnd(DCCE),延迟主打开CoEnd延迟扩展开放CoEnd(DEOCE)。–-如(d)-)和(d)):在这种情况下,同步CoEnd通过延迟其执行的结束而被放松到最大,以表现得像相关的One-End模式。CoEnd的不同类别和类型在图3b中示出。当所有的主任务都准备好一起结束时,SCCE结束(tm1是第一个结束的主任务,迫使tm2结束)。其标称持续时间由最后一个启动的主任务(tm2)限定,并且可以扩展到第一个主任务(tm1)。SCCE可以延迟,但不能晚于COE,以指定DCCE模式。主Open CoEnd模式在结束方式上与其相关的Close CoEnd模式相似。 然而,它们的标称持续时间是在最后一个任务开始时设置的(如果Loc-1/4Tr; MAX,则为t s 2),并且可以扩展到要开始的第一个任务(如果Loc-1/4Tr;MIN,则为t s 1)。SEOCE在所有任务可以联合终止时(当ts1结束时)实现,并且其结束可以延迟到不晚于最后一个任务实现其执行(ts2),以指定DEOCE模式。它的标称持续时间由最后一个启动的主任务限定(如果Loc-1/4Tm;MAX1),并且可以扩展到tm1的开始,如果位置T m;MIN.示例:让我们回到我们的工作示例。如前所述,我们考虑用于国内旅行预订过程的以下子任务Tm= {Book-hotel,Book-Flight,Book-Car}和Ts={保险之旅,保险损失}。如果客户不想预订保险(T S£),但更喜欢住在特定的酒店,并在旅行期间预订一种类型的汽车。操作员可以决定在同一个请求中执行所有任务的预订因此,预订结束●●498A. Hamdani,A.Abdelli/沙特国王大学学报¼ÞÞ当所有的任务都联合完成时。在本例中,我们应用SCCE模式。如果房间的预订日期与旅行期间不完全匹配,运营商可以延迟预订结束,等待房间空闲。该过程可以通过DCCE模式进行设计。然而,在客户需要为他的旅行添加保险的情况下,可以看到两种情况:如果他不确定他是否会通过旅行社购买,他需要在所需任务的预订结束之前确认他的决定。经营者将在一次请求中执行后者,但不包括保险预订,如果客户在到期时间之前确认其决定,则将单独执行。这个过程可以通过应用SMOCE模式来指定。此外,如果由于与旅行期间不匹配,房间的日期可能会发生变化,我们将强制执行DMOCE模式。另一方面,如果客户想透过旅行社购买保险,经营者可以决定将后者纳入同一要求至于所需的任务。然后,当所有任务根据客户要求联合处理时,即可实现预订。在这种情况下,考虑SEOCE模式。如果这个过程需要延迟等待一个房间,那么我们考虑德奥。3.2.5. 重命名同步规则会合由开始同步的策略和结束同步的策略驱动。通过结合前面的模式,我们可以定义解决集合点全局行为的通用规则表1中描绘的图表列举了模式与相关规则名称的组合话虽如此,需要理解的是,一些策略不能组合,例如扩展的One-Begin与扩展的One-End。这是因为我们需要两个策略中至少有一具体地说,如果所有的任务都具有相同的权限(Tse),那么我们可以导出9条规则。这些是通过考虑{SCCB,ACCB,COB}的Loc -策略获得的从{SCCE,DCCB,COE}获得Loc我们称之为规则非主规则。 另一方面,如果任务不具有相同的特权(Ts-ε),则我们导出我们标识为主规则的东西。来自{SMOCB,AMOCB,MOOB}的Loc策略可以与6个Loc策略中的任何一个组合,从而产生18个可能的主规则然而,来自{SEOCB,AEOCB,EOOB}只能与{SMOCE
下载后可阅读完整内容,剩余1页未读,立即下载
![application/x-zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![rar](https://img-home.csdnimg.cn/images/20210720083606.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
cpongm
- 粉丝: 4
- 资源: 2万+
上传资源 快速赚钱
我的内容管理 收起
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
会员权益专享
最新资源
- 构建智慧路灯大数据平台:物联网与节能解决方案
- 智慧开发区建设:探索创新解决方案
- SQL查询实践:员工、商品与销售数据分析
- 2022智慧酒店解决方案:提升服务效率与体验
- 2022年智慧景区信息化整体解决方案:打造数字化旅游新时代
- 2022智慧景区建设:大数据驱动的5A级管理与服务升级
- 2022智慧教育综合方案:迈向2.0时代的创新路径与实施策略
- 2022智慧教育:构建区域教育云,赋能学习新时代
- 2022智慧教室解决方案:融合技术提升教学新时代
- 构建智慧机场:2022年全面信息化解决方案
- 2022智慧机场建设:大数据与物联网引领的生态转型与客户体验升级
- 智慧机场2022安防解决方案:打造高效指挥与全面监控系统
- 2022智慧化工园区一体化管理与运营解决方案
- 2022智慧河长管理系统:科技助力水环境治理
- 伪随机相位编码雷达仿真及FFT增益分析
- 2022智慧管廊建设:工业化与智能化解决方案
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
安全验证
文档复制为VIP权益,开通VIP直接复制
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)