业务流程间的不匹配交互的发现方法技术

本发明专利技术提供一种业务流程间的不匹配交互的发现方法，包括：从多个待处理的业务流程中选取两个业务流程；根据所选取的任一业务流程内参与交互的两个活动间的关系确定活动所在交互对在该业务流程内的关系，进而得到所选取的两个业务流程所含交互的交互对间关系集合；其中，交互对间关系集合包括交互对在所选取的两个业务流程内的关系；根据交互对间关系集合中所包含的存在矛盾的交互对间关系确定所选取的两个业务流程内存在矛盾的交互对，从而生成所选取的两个业务流程的完整矛盾交互集合。本发明专利技术具有快速、高效、实现简单的优点；能找出不同类型的不匹配的交互；能够准确地找出哪些交互造成了流程间交互的不匹配；能找出由运行时错误所产生的不匹配交互。

【技术实现步骤摘要】

本专利技术涉及计算机软件建模领域，特别涉及业务流程间的不匹配交互 的发现方法。
技术介绍
业务流程是业务需求的一种表现形式，它从用户的需求开始，在用户需求得到满足后结束。业务流程的概念最早出现在90年代早期，它产生 的动机来源于对流程重新设计以适应新的变化从而提升企业的竟争力，作 为对工作流的扩展，业务流程管理则更强调业务流程的重设计。业务流程 与工作流都能使业务流程自动化和协同工作并提高工作效率。随着信息技术的进步，特定的业务功能不再由单一的企业或者组织来 实现，而是通过现有业务流程之间的交互和协同来完成,这种开发模式能够 极大缩短开发时间、节约开发成本。业务流程可以采用业务流程建模标记 (Business Process Model Notation, BPMN )来建模。BPMN是由OMG组 织制定的业务流程建模的标准，它由一系列用来构建业务流程的标准图标 组成，且不与任何一种实现技术紧密耦合。BPMN不仅能够实现单个业务 流程建模，而且能够实现多流程和它们之间交互的建模。BPMN是首个用 于跨组织业务流程建模的开放标准的业务流程建模语言，它能够很容易地 被高层业务人员阅读和理解并且便于不同企业之间的交流。虽然采用BPMN进行业务流程建模存在很多好处，但也存在很多不 足，其中很重要的一点是采用BPMN进行多业务流程间交互建模时，容易 导致业务流程间交互的不匹配。所谓业务流程间交互的不匹配是指业务流 程无法正确完成它们之间的交互，也就是存在不匹配的交互。业务流程存 在不匹配的交互的深层次原因在于业务流程所表达的业务需求之间存在 矛盾。从技术角度来说，造成业务流程交互不匹配的原因可以分为三种 交互语法错误、静态结构错误、运行时错误。目前已经存在很多致力于发现业务流程间交互的不匹配的方法。Petri 网和有限状态自动机等形式化方法都可用来验证流程间的匹配性。使用Petri5网的方法是将每一个业务流程转换为一个Petri网，然后将流程间的交互转 化为库所(place)，最后将多流程之间的交互不匹配的发现问题转换为一个多 流程合并后的大流程内部的正确性问题。有限状态自动机的方法将流程间的 一次交互当作总是能够正确完成的，但是在流程的运行时可能出现一次交互 的发送消息活动成功，但是接收消息活动因为流程的运行上下文环境没有准 备好导致这次交互失败的情况。总之，现有技术中的方法都各自存在一些不足，列举如下首先，它们 发现业务流程间交互不匹配的过程繁瑣、耗时；其次，这些方法并没有考虑 流程运行时的特征，而这会造成已经验证相互匹配业务流程在运行时发生交 互的不匹配；最后，现有的方法不能准确地给出哪些交互造成了流程间交互 的不匹配。
技术实现思路
本专利技术的目的是克服现有的业务流程间不匹配交互发现方法过程繁瑣、耗时，不能发现业务流程在运行时的不匹配交互以及不能准确指出哪些交互造成了流程间交互的不匹配等缺陷，从而提供一种简便、高效、功能全面的不匹配交互的发现方法。本专利技术提供了 一种，包括步骤1 )、从多个待处理的业务流程中选取两个业务流程；步骤2 )、根据所选取的任一业务流程内参与交互的两个活动间的关系确定活动所在交互对在该业务流程内的关系，进而得到所选取的两个业务流程所含交互的交互对间关系集合；其中，所述交互对间关系集合包括所述交互对在所选取的两个业务流程内的关系；所述活动间的关系包括顺序前、顺序后、并行、完全互斥以及部分互斥；步骤3 )、根据所述交互对间关系集合中所包含的存在矛盾的交互对间 关系确定所选取的两个业务流程内存在矛盾的交互对，从而生成所选取的 两个业务流程的完整矛盾交互集合。上述技术方案中，在所述的步骤l)中，所选取的业务流程是对不参与 业务流程间交互的活动进行约简后的业务流程。上述技术方案中，所述的所选取的业务流程中不参与业务流程间交互 的活动包括消息的任务类型的活动；b、 中间事件类型的活动；c、 内容为空的网关对。 上述技术方案中，还包括步骤4)、根据所述的完整矛盾交互集合计算最小消解集合；所述最小 消解集合能够推导出所述的完整矛盾交互集合，且所包含的矛盾交互对的 个数最小。上述技术方案中，所述的步骤4)包括步骤4-l)、初始化最小消解集合为空；步骤4-2)、选择矛盾交互集合中的一个交互对(z7，/2);步骤4-3)、若存在交互;c,使得/7与x之间的关系同时为顺序前或同 时为顺序后或同时为并行，并且交互对(/2,x)已经存在于最小消解集合 中，则交互对不加入所述的最小消解集合，否则加入所述最小消 解集合；步骤4-4)、从步骤4-2)开始重复执行，直至遍历完整矛盾交互集合 中的所有交互对。上述技术方案中，还包括步骤5)、合并两个业务流程，然后将合并后的业务流程与其它业务流程 作为所选取的两个业务流程，重新执行步骤1)后的操作，直至不再有未 经处理的业务流程，从而实现多个业务流程间不匹配交互的发现。上述技术方案中，在所述的步骤5)中，所述的合并两个业务流程包括 将已经得到完整矛盾交互集合的两个业务流程进行合并。上述技术方案中，所述的将已经得到完整矛盾交互集合的两个业务流 程进行合并包括步骤5-1 )、选择其中的一个作为目标流程，另外一个业务流程作为输入 流程；步骤5-2)、将所述输入流程中除了开始活动、结束活动以及交互对方已 经存在于所述目标流程中的活动外的每一个活动都被加入所述目标流程中；步骤5-3 )、将所述输入流程中除了连接开始活动和结束活动的迁移以外 的每一个迁移添加到所述目标流程中，如果新加入的迁移所连接的活动没有 加入到所述目标流程中，则将该迁移连接原活动的交互对方。上述技术方案中，在所述的步骤3)中，所述的存在矛盾的交互对间关系包括二顺序前"和"完全互斥"、"顺序后"和"完全互斥，，、二顺序前，， 和"部分互斥"、"顺序后"和"部分互斥"、"并^f亍"和"部分互斥"、"顺 序前"和"顺序后"、 "完全互斥"和"并行"。上述技术方案中，当交互对间关系为下列之一时，所述交互对发生"死 锁，，:"顺序前"和"完全互斥"、"顺序后"和"完全互斥，，、二顺序前"和 "部分互斥"、"顺序后"和"部分互斥"、"并行，，和"部分互斥"、"顺序 前"和"顺序后"；当交互对间关系为"完全互斥"和"并行，，时，所述交互对发生"缺 乏同步"。本专利技术还提供了 一种业务流程间的不匹配交互的发现装置，包括业务 流程选择模块、交互对间关系集合生成模块、完整矛盾交互集合生成模块； 其中，所述的业务流程选择模块用于从多个待处理的业务流程中选取两个业 务流程；所述的交互对间关系集合生成模块用于根据所选取的任一业务流程内 参与交互的两个活动间的关系确定活动所在交互对在该业务流程内的关系， 进而得到所选取的两个业务流程所含交互的交互对间关系集合；其中，所述交互对间关系集合包括所述交互对在所选取的两个业务流程内的 关系；所述活动间的关系包括顺序前、顺序后、并行、完全互斥以及部分 互斥；所述的完整矛盾交互集合生成模块用于根据所述交互对间关系集合中 所包含的存在矛盾的交互对间关系确定所选取的两个业务流程内存在矛 盾的交互对，从而生成所选取的两个业务流程的完整矛盾交互集合。上述技术方案中，还包括业务流程约筒模块，该模块用于对不参本文档来自技高网...

【技术保护点】
一种业务流程间的不匹配交互的发现方法，包括：　步骤１）、从多个待处理的业务流程中选取两个业务流程；　步骤２）、根据所选取的任一业务流程内参与交互的两个活动间的关系确定活动所在交互对在该业务流程内的关系，进而得到所选取的两个业务流 程所含交互的交互对间关系集合；其中，　所述交互对间关系集合包括所述交互对在所选取的两个业务流程内的关系；所述活动间的关系包括顺序前、顺序后、并行、完全互斥以及部分互斥；　步骤３）、根据所述交互对间关系集合中所包含的存在矛盾的交互 对间关系确定所选取的两个业务流程内存在矛盾的交互对，从而生成所选取的两个业务流程的完整矛盾交互集合。

【技术特征摘要】

【专利技术属性】
技术研发人员：公帅，熊锦华，韩燕波，
申请(专利权)人：中国科学院计算技术研究所，
类型：发明
国别省市：11[]