CN102331926A - 基于控制流模式的过程模型转换与结构验证方法 - Google Patents
基于控制流模式的过程模型转换与结构验证方法 Download PDFInfo
- Publication number
- CN102331926A CN102331926A CN201110144798A CN201110144798A CN102331926A CN 102331926 A CN102331926 A CN 102331926A CN 201110144798 A CN201110144798 A CN 201110144798A CN 201110144798 A CN201110144798 A CN 201110144798A CN 102331926 A CN102331926 A CN 102331926A
- Authority
- CN
- China
- Prior art keywords
- model
- control stream
- stream mode
- pattern
- mode
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Landscapes
- Stored Programmes (AREA)
Abstract
本发明提出一种基于控制流模式的过程模型转换与结构验证方法,属于业务过程与信息技术领域。本发明方法通过将源模型中的控制流模式直接在源模型上进行验证而无需转换的控制流模式,需要基于控制流模式进行转换的模式,以及使用元素映射方法进行转换的模式这3类,从源模型中识别出这三类进行分别转换验证,并使用基于控制流模式与基于元素映射相结合方法进行验证,最后整合验证结果,追踪到源模型中的错误源。本发明方法直观、简单、有效,在一定程度上解决了现有的过程结构验证方法和工具面向特定语言而缺乏通用性以及现有模型转换方法在转换某些控制流模式时精度不高并且控制流信息丢失等问题,且能更好的提高模型转换的精度和效率。
Description
技术领域
本发明涉及业务过程与信息技术领域,具体地,涉及一种基于控制流模式的过程模型转换与结构验证方法。
背景技术
随着企业信息化技术的飞速发展和信息化水平的逐步提高,面对日益丰富的客户需求以及激烈的市场竞争,企业在战略上正从传统的面向结果的管理方式转变到以过程为核心的管理方式,过程在企业管理中的重要性日益凸显,从而过程模型验证技术也受到了越来越多的重视。
过程验证是指通过对已建立的过程模型进行分析,发现模型中的错误与不足的过程,是保证过程正确性的手段。它包含三个层次的验证:语法验证,结构验证和语义验证。结构验证主要检查过程模型在结构上是否满足给定的约束,或者是否存在结构错误及不良结构,如死锁、不可达任务、死循环等。过程结构验证是过程验证的重要组成部分,是语义验证与过程执行的基础,只有保证模型在控制结构上是正确的,才能降低过程执行阶段的风险,避免可能的损失。
过程是通过过程建模语言来描述的,即过程模型。不同的过程建模语言在控制结构方面的描述能力各不相同,“控制流模式”可以用来衡量过程建模语言在模型控制结构方面描述能力上的差异。简单控制流模式(包括串行、并行、选择分支、循环等基本控制流模型)的结构验证较容易实现,绝大多数过程建模语言都支持此类模式的验证。然而,验证一些复杂控制流模式(如or-join模式、取消模式、多实例模式等)的结构正确性比验证简单控制流模式要复杂得多。一般来讲,过程建模语言支持的复杂控制流模式越多,它在过程控制结构方面的描述能力就越强,基于它的过程结构验证工作的难度也就越大。
现有的过程建模领域存在众多的过程建模语言,例如UML活动图(UML ActivityDiagram,简称UML-AD)、BPMN(Business Process Modeling Notation)、EPC(Event-drivenProcess Chains)和YAWL(Yet Another Workflow Language)等,它们大都支持在实际应用中广泛存在的复杂控制流模式。目前大部分过程结构验证领域的研究多针对于某一特定的语言,所提供的过程结构验证方法和验证工具缺乏通用性,针对某一特定语言的过程结构验证方法和验证工具无法应用到其他建模语言建立的模型。
目前已有的模型转换技术和转换方法可以在一定程度上解决上述问题。模型转换可以用来在不同过程语言之间搭起一座桥梁,从而使得针对某一特定过程建模语言的验证方法和验证工具能够应用于其他的过程建模语言。目前,许多工作通常将待验证的过程建模语言转换到Petri网(一种对于离散的并行系统的数学模型表示),进而利用基于Petri网的模型检测工具验证模型的结构正确性。
模型转换的关键是转换规则的定义。传统的转换规则往往根据源模型和目标模型的元模型来定义,通常表现为元模型中元类的一对一映射关系。除了元类之间的映射之外,一些研究者提出了模型片段之间的映射规则,也就是基于模式进行模型转换的思想。
目前已经证明,已有的基于元素间映射的模型转换方法在转换某些控制流模式时存在转换精度不高甚至得不到正确的转换结果的问题。此外,现有的一些基于模式的转换方法仅增大了转换过程中的操作粒度(从元素增大到模型片段),而在提高转换精度和保证转换的正确性方面,相比基于元素映射的转换方法并不具备显著优势。
发明内容
针对当前过程建模语言复杂化、多样化等特点,以及现有的过程结构验证方法和工具面向特定语言而缺乏通用性,现有模型转换方法在转换某些控制流模式时精度不高以及存在控制流信息丢失等问题,本发明提出一种基于控制流模式的过程模型转换与结构验证方法。该方法较好地解决上述问题,使得针对某一特定语言的过程结构验证方法和工具能够应用到其他过程建模语言建立的模型。
本发明基于控制流模式的过程模型转换与结构验证方法具体包括如下步骤:
步骤一:确定对源模型进行转换后的目标模型建模语言。
步骤二:将源模型中的控制流模式进行分类,分为3类:直接在源模型上进行验证而无需转换的控制流模式,需要基于控制流模式进行转换的模式,以及使用元素映射方法进行转换的模式。
步骤三:控制流模式的识别。执行以下三项内容:①在源模型中识别出可以直接在源模型上进行验证而无需转换的控制流模式,对于该无需转换的控制流模式对应的模型片段,进入步骤四执行;②在源模型中识别出需要基于控制流模式进行转换的模式,对于该基于控制流模式进行转换的模式对应的模型片段,进入步骤五执行;③对于源模型中除去①与②识别出的模型片段外的剩余模型片段,可以使用基于元素映射的方法进行转换,进入步骤七执行。
步骤四:直接在源模型上的验证。利用基于源模型语言的验证工具对步骤三中①中得到的模型片段进行验证,进入步骤十二。
步骤五:针对需要基于控制流模式进行转换的模式定义转换规则。
步骤六:基于步骤五定义的转换规则,对步骤三②中所识别出的模型片段进行转换得到该模型片段对应的目标模型片段,并以每个控制流模式为单位记录转换映射信息,并进入步骤九。
步骤七:定义源模型建模语言和目标模型建模语言的元模型,根据所定义的元模型定义基于元素映射的转换规则。
步骤八:基于步骤七定义的转换规则,对步骤三中剩余模型片段进行转换得到该剩余模型片段对应的目标模型片段,并以每个模型元素为单位记录转换映射信息。
步骤九:在步骤六和步骤八都完成后,将它们执行得到的目标模型片段进行组合。
步骤十:使用针对目标语言的验证工具对步骤九得到的组合的目标模型片段进行验证,检测所述组合的目标模型片段中存在的错误。
步骤十一:根据保存的转换映射信息,对步骤十中检测出的错误进行追踪,定位到源模型中对应的结构错误。
步骤十二:在步骤四和步骤十一都完成后,整合在这两步中验证出的结构错误,给出对于源模型最终的验证结果,结束验证过程。
本发明的优点和积极效果在于:(1)本发明方法直观、简单、有效,在一定程度上解决了现有的过程结构验证方法和工具面向特定语言而缺乏通用性以及现有模型转换方法在转换某些控制流模式时精度不高并且控制流信息丢失等问题;(2)本发明方法将控制流模式的思想引入模型转换和验证过程,并在模型转换中使用基于控制流模式与基于元素映射相结合的方法,能更好的提高模型转换的精度和效率,使得针对某一特定语言的过程结构验证方法和工具能够应用到其他建模语言建立的模型。
附图说明
图1是本发明过程模型转换与结构验证方法的整体流程示意图;
图2是本发明实施例由UML-AD建立的订单处理流程模型图;
图3是本发明方法步骤五中的实施例进行转换的代码示意图;
图4是本发明方法步骤五中对应图3中的同步模式的转换规则的图形示意图;
图5是本发明方法步骤五中对应图3中的取消区域模式的转换规则的图形示意图;
图6是本发明实施例在模型转换完成后得到的YAWL模型示意图。
具体实施方式
为便于本领域一般技术人员理解和实施本发明,现结合附图描述本发明的具体实施方式。
UML-AD被广泛用于对业务过程进行建模,使用由UML-AD建立的订单处理流程模型对本发明的具体实施进行介绍,完整的订购流程由客户流程和供应商流程组成,图2给出了供应商处理订单的流程。在图2中,ActivityInitial节点表示供应商开始处理订单;第1步是接收客户订单ReceiveOrder;第2步创建订单Order类型的对象order(order:=Order);第3步对订单检查员A的状态进行判断,若A是空闲的(Ais free)则由A进行订单检查(CheckByCheckerA),否则(Ais busy)由订单检查员B检查订单(CheckByCheckerB);在检查完成(OrderChecked)后进行第4步的订单状态的判断,如果订单被接收(order.status=Accepted)则并发执行区域A和区域B中的内容,否则(order.status=Rejected)则结束流程;区域A中,变量x作为计数器,初值为0,每一次执行处理订单动作(ProcessOrder)的同时x值加1,直到x值为10为止,这样表示处理订单动作会被执行10次;在处理订单反复执行的同时,区域B中,供应商准备票据(PrepareInvoice)并发送给用户票据(Invoice),并等待用户付费(Payment);如果接收到客户的取消请求(CancelRequest),则修改订单状态(order.status:=CancelRequest.status),并取消区域B虚线框中正在执行的任务然后结束流程;最后,在区域A和区域B两个分支都完成后,关闭订单(CloseOrder)然后结束流程(ActivityFinal)。
如图1所示,为实施本发明中所述方法的步骤流程图,现结合图2所示订单处理流程模型图,对具体步骤P01~P12详细描述如下:
步骤P01:确定转换的目标语言,本发明方法中选择一种目前验证支持程度最好的建模语言作为转换的目标语言。目前,YAWL是一种基于Petri网的过程建模语言,得益于它基于Petri网的形式化语义,基于YAWL语言的结构验证工作比其他过程建模语言更容易实现一些,并且目前已有了一系列成熟的验证工具如Woflan,WofYAWL,ProM等,这些工具可以验证包含复杂控制流模式的模型。因此,选择YAWL作为目标语言,并使用现有的基于YAWL的验证工具对目标模型进行验证。
步骤P02:对于UML-AD中的控制流模式,将它们分成三种类型:①可以直接在源模型上进行验证而无需转换的控制流模式,包括无同步的多实例模式;②需要基于控制流模式进行转换的模式,包括分支节点隐式存在的并行模式、合并节点隐式存在的同步模式、多重选择模式、鉴别器模式、取消活动模式、取消实例模式、取消区域模式和取消多实例活动模式;③可以使用元素映射方法进行转换的模式,包括顺序模式、独占式选择模式、简单聚合模式、多重聚合模式、隐式终止模式、设计时确定的多实例模式、运行时确定的多实例模式、任意循环模式、结构化循环模式和延迟选择模式。
步骤P03:需要在如图2所示的UML-AD过程模型中识别出各种类型的控制流模式,可以使用现有的模型形式化方法和模式图匹配策略进行识别,对于该模型图执行以下三项内容:①识别出无需转换的控制流模式,结果为图2中的区域A,为无同步的多实例模式,可以直接在源模型上进行验证,对于该区域A的模型片段进入步骤P04执行;②识别出需要基于控制流模式进行转换的模式,结果为图2中的区域B所示的取消区域模式和区域C所示的同步模式,对于区域B和区域C的模型片段需要基于控制流模式进行转换,进入步骤P05执行;③对于图2中所示的订单处理流程模型,除了上述区域A、B、C的剩余模型片段(剩余区域)可以使用基于元素映射的方法进行转换,对于该剩余模型片段进入步骤P07执行。
步骤P04:使用基于UML-AD的验证工具对区域A的模型片段进行验证,得到模型验证结果,本发明实施例中的验证结果为:无结构错误,在后续的模型转换中用一个活动AreaA替代整个区域A,进入步骤P12。
步骤P05:定义所有需要基于控制流模式进行转换的模式在UML-AD和YAWL语言中的元模型,本发明实施例中为取消区域模式和同步模式,并基于所定义的元模型使用QVTr语言(Query/View/Transformation Relations,QVT关系语言)定义关系映射规则,下面给出本发明实施例中需要转换的取消区域模式和同步模式的转换规则。
如图3所示,为本发明实施例中取消区域模式和同步模式的转换规则的代码示意图。其中,第1行表示了这是一个从UML到YAWL的转换,第2行至第12行定义了同步模式的转换规则:第3行开始说明转换域在源模型中的抽象表示,第4行表示有一条控制流e1流入(flowIn)到动作a3中,并且该控制流是由动作a1流出的,第5行表示有一条控制流e2流入到动作a3中,并且该控制流是由动作a2流出的,从第4行和第5行可以看出一个无同步节点的同步模式的UML结构;第7行开始说明转换域在目标模型中的抽象表示,第8行表示有一条控制流f1流入(flowIn)到任务t3中,并且该控制流是由任务t4流出的,任务t4的类型为AndJoin,表示合并节点,第9行表示有一条控制流f2流入(flowIn)到任务t4中,并且该控制流是由任务t1流出的,第10行表示有一条控制流f3流入(flowIn)到任务t4中,并且该控制流是由任务t2流出的,从第8行到第10行可以看出一个同步模式的YAWL结构。第4行和第5行表示的同步模式的UML结构可对应转换为第8行到第10行表示的同步模式的YAWL结构。第13行至第22行定义了取消区域模式的转换规则:第14行开始说明转换域在源模型中的抽象表示,第15行表示有一条中断流i1从动作h1流入动作h2,并且动作h1在中断区域r1之中,第16行表示有一条控制流j1从动作h3流入动作h2,并且动作h3在中断区域r1之中,第15行和第16行表示出了一个取消区域模式的UML结构;第18行开始说明转换域在目标模型中的抽象表示,第19行表示有一条控制流g1从任务k1流入任务k2,并且k1是取消区域的触发源,第20行表示有一条控制流g2从任务k3流入任务k2,并且k3是被取消的任务,触发源为k1,第19行和第20行表示出了一个取消区域模式的YAWL结构。第15行和第16行表示的取消区域模式的UML结构可对应转换为第19行到第20行表示的取消区域模式的YAWL结构。
此外,转换规则还可以用图形化的方法表示,使得表达更加清晰并且和上述图3中的语句表示完全等价,同步模式的转换规则的图形化表示如图4所示,取消区域模式的转换规则的图形化表示如图5所示。图4所示的同步模式的转换规则对应图3中的第2行至第12行的代码描述,图2中的区域C可按照所述的转换规则,从目前源模型UML-AD语言转换为目标模型语言YAWL表示。图5所示的取消区域模式的转换规则对应图3中的地13行到22行的内容,图2中的区域B可按照所述的转换规则,从目前源模型UML-AD语言转换为目标模型语言YAWL表示。
步骤P06:根据步骤P05中定义的转换规则,将区域B的取消模式和区域C的同步模式转换成YAWL语言模型,分别为图6中的区域a和区域b,并保存两个区域间的对应关系,即:B→a、C→b,进入步骤P09执行。从图6可以看到:区域a为YAWL模型的取消区域模式,CancelRequest任务带有阴影表示它是取消区域的触发者,对应于图3中以及图5中所示的任务k1,粗线框表示的准备票据PrepareInvoice、发送票据Invoice和付款Payment这3个任务为被取消的任务,这3个任务都对应于图3中以及图5中所示的任务k3,当收到客户取消请求CancelRequest后,上述3个任务将会被取消,并修改订单状态(order.status:=CancelRequest.status)然后结束流程,区域a与图2的区域B相比中多出了一个多重分支任务Or-Split Task,这是由于在YAWL中CancelRequest任务需要与起始节点相连;区域b相比图2的区域C多出了一个同步合并任务And-Join Task,这是因为YAWL中不支持同步合并节点的隐式存在,其他任务的含义与图2的区域C中相应动作相同。
步骤P07:定义源语言UML-AD和目标语言YAWL的元模型,包含过程建模中必须的元类,然后根据元模型定义元素到元素的映射规则表,如表1所示。
表1中将建模元素划分为四类,分别是开始与结束节点(Start/Finaish Node)、可执行节点(Executable Node)、控制节点(Control Node)和其他元素(Others),各类中的建模元素如表1中所示。表1中左侧为UML-AD建模元素,右侧为YAWL建模元素,UML-AD建模元素将被转换到对应的YAWL建模元。例如,在开始与结束节点中的UML-AD建模元素初始节点(Initial Node)被转换成YAWL建模元素输入库所(Input Condition),在控制节点中的分叉(Fork Node)元素被转换为YAWL中的与分叉(And-Split Node)元素。
表1:源语言UML-AD和目标语言YAWL的元素到元素的映射规则表
步骤P08:根据步骤P07中定义的元素映射表,将剩余区域中的模型元素一一映射成YAWL语言的模型元素,构成图6中的剩余区域,可以看出图6中剩余区域的每个任务都和图2中剩余区域的元素一一对应,任务AreaA对应的是图2中已在源模型上直接验证的区域A,然后保存每组元素的对应的映射信息,如D1→c1,D2→c2,D3→c3等,为结构错误追踪定位提供依据。
步骤P09:在步骤P06和步骤P08完成后,将它们执行得到的目标模型片段,如图5中的区域a、区域b和剩余区域,组合成最终的目标模型,如图6所示。
步骤P10:使用针对YAWL语言模型的验证工具如Woflan,WofYAWL,ProM等,对图6所示的目标模型进行验证,检测出模型中存在死锁错误,本发明实施例中存在的错误由区域b以及剩余区域中的元素c2-c3组成。
步骤P11:查询转换映射信息中所保存的控制流模式以及模型元素的映射信息,找出目标模型中结构错误的组成元素在源模型中的编号,相应定位到源模型中的结构错误。本发明实施例中查询所保存的区域以及元素的转换映射信息,找出目标模型中死锁结构的组成元素为区域b和元素c2-c3,在源模型中的编号为区域C和元素D2-D3,于是追踪定位到源模型中的死锁错误。
步骤P12:整合步骤P04和步骤P11中验证出的结构错误,得出对于图2所示源模型的最终验证结果,本发明实施例中的最终验证结果是:在区域C和区域D的D2-D3位置处存在死锁错误,然后结束验证过程。
本发明方法以直观、简单、有效的方式,提出了一种基于控制流模式的过程模型转换与结构验证方法,在一定程度上解决了现有的过程结构验证方法和工具面向特定语言而缺乏通用性以及现有模型转换方法在转换某些控制流模式时精度不高并且控制流信息丢失等问题,特别是将控制流模式的思想引入模型转换和验证过程,并在模型转换中使用基于控制流模式与基于元素映射相结合的方法,能更好的提高模型转换的精度和效率,使得针对某一特定语言的过程结构验证方法和工具能够应用到其他建模语言建立的模型。
Claims (8)
1.一种基于控制流模式的过程模型转换与结构验证方法,其特征在于,具体包括如下步骤:
步骤一、确定对源模型进行转换后的目标模型建模语言;
步骤二、将源模型中的控制流模式进行分类,分为3类:直接在源模型上进行验证而无需转换的控制流模式,需要基于控制流模式进行转换的模式,以及使用元素映射方法进行转换的模式;
步骤三、控制流模式的识别:①在源模型中识别出直接在源模型上进行验证而无需转换的控制流模式,对于该控制流模式对应的模型片段,进入步骤四执行;②在源模型中识别出需要基于控制流模式进行转换的模式,对于该模式对应的模型片段,进入步骤五执行;③对于源模型中除去①与②中识别出的模型片段外的剩余模型片段,进入步骤七执行;
步骤四、利用基于源模型语言的验证工具,对步骤三中①中得到的模型片段进行验证,验证后进入步骤十二执行;
步骤五、建立基于控制流模式的转换规则;
步骤六、按照步骤五的转换规则,对步骤三中②中识别出的模型片段进行转换,得到该部分模型片段对应的目标模型片段,并以每个控制流模式为单位记录转换映射信息,然后进入步骤九执行;
步骤七、定义源模型建模语言和目标模型建模语言的元模型,根据所定义的元模型建立基于元素映射的映射规则;
步骤八、根据步骤七的映射规则,对剩余模型片段进行转换,得到该剩余模型片段对应的目标模型片段,并以每个模型元素为单位记录转换映射信息;
步骤九、将步骤六和步骤八中得到的目标模型片段进行组合;
步骤十、使用针对目标语言的验证工具对步骤九组合的目标模型片段进行验证,检测所述组合的目标模型片段中存在的错误;
步骤十一、根据保存的转换映射信息,对步骤十中检测出的错误进行追踪,定位到源模型中对应的结构错误;
步骤十二、将步骤四与步骤十一得到的结构错误进行整合,最终得出对于源模型的验证结果,结束验证过程。
2.根据权利要求1所述的基于控制流模式的过程模型转换与结构验证方法,其特征在于,步骤一中所述的目标模型建模语言为基于Petri网的过程建模语言YAWL。
3.根据权利要求1所述的基于控制流模式的过程模型转换与结构验证方法,其特征在于,步骤二中所述的直接在源模型上进行验证而无需转换的控制流模式,包括无同步的多实例模式。
4.根据权利要求1所述的基于控制流模式的过程模型转换与结构验证方法,其特征在于,步骤二中所述的需要基于控制流模式进行转换的模式,包括:分支节点隐式存在的并行模式、合并节点隐式存在的同步模式、多重选择模式、鉴别器模式、取消活动模式、取消实例模式、取消区域模式和取消多实例活动模式。
5.根据权利要求1所述的基于控制流模式的过程模型转换与结构验证方法,其特征在于,步骤二中所述的基于元素映射方法进行转换的模式,包括:顺序模式、独占式选择模式、简单聚合模式、多重聚合模式、隐式终止模式、设计时确定的多实例模式、运行时确定的多实例模式、任意循环模式、结构化循环模式和延迟选择模式。
6.根据权利要求1所述的基于控制流模式的过程模型转换与结构验证方法,其特征在于,步骤五具体是:首先分别定义所有需要基于控制流模式进行转换的模式在源模型建模语言和目标模型建模语言中的元模型,然后基于所定义的元模型使用QVTr语言建立关系映射规则。
7.根据权利要求1所述的基于控制流模式的过程模型转换与结构验证方法,其特征在于,步骤七中所述的映射规则如下所示:
8.根据权利要求1所述的基于控制流模式的过程模型转换与结构验证方法,其特征在于,步骤十一具体是:查询转换映射信息中所保存的控制流模式以及模型元素的映射信息,找出目标模型中结构错误的组成元素在源模型中的编号,相应定位到源模型中的结构错误。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2011101447983A CN102331926B (zh) | 2011-05-31 | 2011-05-31 | 基于控制流模式的过程模型转换与结构验证方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2011101447983A CN102331926B (zh) | 2011-05-31 | 2011-05-31 | 基于控制流模式的过程模型转换与结构验证方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN102331926A true CN102331926A (zh) | 2012-01-25 |
CN102331926B CN102331926B (zh) | 2013-11-13 |
Family
ID=45483712
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN2011101447983A Expired - Fee Related CN102331926B (zh) | 2011-05-31 | 2011-05-31 | 基于控制流模式的过程模型转换与结构验证方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN102331926B (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113075911A (zh) * | 2021-03-24 | 2021-07-06 | 中广核工程有限公司 | 核电厂安全级数字化仪控系统软件自动验证方法和系统 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20060130008A1 (en) * | 2004-12-10 | 2006-06-15 | International Business Machines Corporation | Model-to-model transformation by kind |
CN1896949A (zh) * | 2006-06-27 | 2007-01-17 | 中国科学院软件研究所 | 从软件过程到工作流的模型转换方法和系统 |
CN101354759A (zh) * | 2007-07-23 | 2009-01-28 | 兰雨晴 | 一种基于元模型的工作流流程定义转换的方法及系统 |
US20090177508A1 (en) * | 2008-01-08 | 2009-07-09 | International Business Machines Corporation | Validation framework for service oriented architecture (soa) application adoption |
-
2011
- 2011-05-31 CN CN2011101447983A patent/CN102331926B/zh not_active Expired - Fee Related
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20060130008A1 (en) * | 2004-12-10 | 2006-06-15 | International Business Machines Corporation | Model-to-model transformation by kind |
CN1896949A (zh) * | 2006-06-27 | 2007-01-17 | 中国科学院软件研究所 | 从软件过程到工作流的模型转换方法和系统 |
CN101354759A (zh) * | 2007-07-23 | 2009-01-28 | 兰雨晴 | 一种基于元模型的工作流流程定义转换的方法及系统 |
US20090177508A1 (en) * | 2008-01-08 | 2009-07-09 | International Business Machines Corporation | Validation framework for service oriented architecture (soa) application adoption |
Non-Patent Citations (3)
Title |
---|
张亮等: "基于Petri网的工作流模式研究", 《计算机集成制造系统》 * |
蔡章利等: "基于工作流模式的BPMN过程模型验证方法", 《计算机集成制造系统》 * |
高俊涛,张莉: "基于时序逻辑的业务过程约束建模及验证", 《计算机应用研究》 * |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113075911A (zh) * | 2021-03-24 | 2021-07-06 | 中广核工程有限公司 | 核电厂安全级数字化仪控系统软件自动验证方法和系统 |
CN113075911B (zh) * | 2021-03-24 | 2023-01-06 | 中广核工程有限公司 | 核电厂安全级数字化仪控系统软件自动验证方法和系统 |
Also Published As
Publication number | Publication date |
---|---|
CN102331926B (zh) | 2013-11-13 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN105069524B (zh) | 基于大数据分析的计划调度优化方法 | |
CN105719126B (zh) | 一种基于生命周期模型的互联网大数据任务调度的系统及方法 | |
US20130139164A1 (en) | Business Process Optimization | |
CN100484140C (zh) | 一种规范驱动的网格工作流描述和验证方法 | |
Cheng et al. | Modeling resource management in the building design process by information constraint Petri nets | |
CN105956021A (zh) | 一种适用于分布式机器学习的自动化任务并行的方法及其系统 | |
Sarkar et al. | Modularization of a large-scale business application: A case study | |
Decker et al. | Process instantiation | |
Kaisti et al. | Agile principles in the embedded system development | |
Cheikhrouhou et al. | Enhancing formal specification and verification of temporal constraints in business processes | |
CN101571810A (zh) | 执行程序的方法、验证程序结果的方法、装置及系统 | |
CN110781311B (zh) | 一种企业一致行动人运算系统及方法 | |
CN102780583A (zh) | 物联网业务描述、组合和服务质量评估的方法 | |
CN111241675B (zh) | 基于数据驱动的复杂产品协同设计管理方法和系统 | |
Mendling et al. | Yet another event-driven process chain | |
CN102331926B (zh) | 基于控制流模式的过程模型转换与结构验证方法 | |
Stoldt et al. | Procedure model for efficient simulation studies which consider the flows of materials and energy simultaneously | |
Lee et al. | Workflow structuring and reengineering method for design process | |
Tian et al. | Research on service identification methods based on SOA | |
CN110532311A (zh) | 一种基于队列的分布式数据导出方法及系统 | |
CN102968305B (zh) | 逻辑处理方法、装置及测评系统 | |
BOUSETTA et al. | Generating operations specification from domain class diagram using transition state diagram | |
Han et al. | Control-flow pattern based transformation from uml activity diagram to yawl | |
CN101281553B (zh) | 汽车耐久性分布式仿真网格应用系统 | |
Rodríguez-Echeverría et al. | Model driven extraction of the navigational concern of legacy web applications |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20131113 Termination date: 20160531 |