CN104134112A - 一种语义约束下的业务流程模型一致性度量方法 - Google Patents
一种语义约束下的业务流程模型一致性度量方法 Download PDFInfo
- Publication number
- CN104134112A CN104134112A CN201410334472.0A CN201410334472A CN104134112A CN 104134112 A CN104134112 A CN 104134112A CN 201410334472 A CN201410334472 A CN 201410334472A CN 104134112 A CN104134112 A CN 104134112A
- Authority
- CN
- China
- Prior art keywords
- model
- business process
- distance
- behavior
- models
- 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.)
- Pending
Links
Landscapes
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
一种语义约束下的业务流程模型一致性度量的新方法,涉及业务流程模型的结构距离和行为距离及一致性度量计算。对存在语义约束的流程模型间一致性分析,首先采用了Petri网和建模语义,并结合选择库所对业务流程模型进行预处理;然后,基于Petri网模型配置理论,计算出模型之间的编辑关系值,结合匹配节点之间的语义相似度,得到模型间静态的结构距离,充分考虑模型间的行为约束关系,基于最佳匹配,分析匹配序列间的动态行为距离,最后结合加权动态表达式,提出计算流程模型间一致性度量方法。本发明提出了语义约束下的业务流程模型一致性度量的新方法,有效地解决了业务流程系统中非一致性检测分析,避免了现有解决方法的片面性。
Description
技术领域
本发明属于业务流程系统检测技术领域,涉及一种业务流程模型一致性计算和分析的新方法,它特别适用于对业务流程系统中的非一致性问题进行快速检测和验证。
背景技术
随着计算机技术的快速发展,业务流程的应用领域也在不断扩展,在业务流程系统中,不同的建模目的可以产生不同的业务流程模型,同时,对于相同的执行起点和相同的建模目标,不同的建模专家也可能会建立不同的执行过程,然而在这些流程模型中并不是所有的模型都可以满足建模要求,那么这时就需要对流程模型进行检测,分析其是否满足业务需求,所以一致性度量就尤为关键,一致性度量对于流程模型间的一致性分析和一致性检测具有较大的优越性。而以往分析流程模型间的一致性方法大都是局限于无语义约束的流程模型中,而对于带行为约束或语义约束的流程模型一致性检测具有明显的局限性,所以,寻找有效的一致性检测方法成为了业务流程系统的核心问题。
以往分析流程模型一致性的方法有:通过行为语义分析模型的一致性,其主要是从静态分析的角度,并依赖于流程模型的匹配关系,通过匹配节点的行为约束来分析与测量一致性,具有局限性和不准确性。基于Petri网行为轮廓理论,结合模型任务间的直接依赖,通过分析模型之间的行为关系来检测模型之间的一致性程度,其从序关系角度去分析模型的一致性问题,虽然改善了静态分析的不足之处,考虑了模型之间的顺序约束,来分析一致性。但是,仍然具有明显的片面性
发明内容
本发明主要解决的问题是:提供一种语义约束下的业务流程模型一致性度量方法,实现对业务流程系统中非一致性问题进行快速检测的同时,提高了目标模型的准确性。
为此,本发明的解决方案如下所述:
对于业务流程系统中的流程模型预处理,本发明采用Petri网和标签语义,并结合选择库所的功能及加入相应的标志对业务流程系统中的业务流程模型进行处理,转变为带标签的选择Petri网。
根据所得到的带标签的选择Petri网流程模型,可以更加清晰地观察流程模型在运行过程中的行为变化。对于分析流程模型的结构距离,本发明采用了模型配置的方法,通过引入沉默变迁对流程模型实施隐藏、删除及阻塞等配置方法,使模型之间在结构上达到等价程度,计算出编辑关系值,再结合匹配节点之间的语义约束,计算出匹配节点之间的相似度,最后通过动态加权表达式计算出模型之间的结构距离。
对于分析流程模型之间的行为距离时,映射到考虑每个执行序列之间的行为距离。因为在实际的流程模型中,并不是所有的发生序列都是天然匹配的。因此,为解决这类问题,可通过插入或删除某些变迁来实现。为不影响模型的执行语义,引入沉默变迁,来构造匹配序列,在匹配序列的基础上寻找最佳匹配序列,即行为距离最小的匹配序列,通过计算最佳匹配之间的行为距离来得到序列间的行为距离。
在计算最终的模型间一致性度时,首先通过行为轮廓及变迁发生规则,得到模型中所有的执行序列,通过求和公式得到流程模型之间的行为距离,再结合模型间的结构距离,通过动态表达式得到最终的一致性度量结果。
附图说明
图1为本发明的计算一致性度量结构图;
图2为本发明的业务流程模型预处理流程图;
图3为本发明的分析结构距离流程图;
图4为本发明的分析行为距离流程图:
图5为本发明的计算一致性度流程图。
具体实施方式
本发明提出基于Petri网行为约束下的业务流程模型一致性度量方法。从静态结构距离与动态行为距离,计算流程模型间的一致性度量
下面结合附图对本发明做进一步的说明:
业务流程系统中计算一致性度量方法可分为四个部分,如图1所示。首先,对业务流程系统中业务流程模型进行预处理,以建模需求作为标准,提取出未能满足建模要求和达到建模目的的模型。第一步先将问题业务流程模型通过Petri网语义转换成带标签的Petri网流程模型;第二步添加选择库所,最终得到带标签的选择Petri网,见图2。
其次,对所得的带标签的选择Petri网流程模型进行结构距离分析。将其中一个模型作为原模型,另外一个模型作为目标模型,基于Petri网模型配置理论,通过引入沉默变迁,对原模型实施隐藏、阻塞或删除节点或边等编辑操作,将原模型配置成与目标模型在结构上等价的模型,为此得到一个编辑关系值,同理,将模型角色互换,可以得到另外一个编辑关系值,并结合匹配节点之间的语义相似度,通过动态的加权表达式得出模型之间的结构距离。见图3。
然后,如图4所示,分析模型之间的行为距离,由于来自原模型中的执行序列不是自然匹配的,因此在不改变原执行序列抽象语义的情况下,通过引入沉默变迁,将原执行序列转化为匹配序列,再找出最佳匹配序列,通过计算最佳匹配序列间的行为距离得到原序列间的行为距离。
最后,如图5所示,计算流程模型的一致性度,首先根据图3计算出模型间的结构距离,然后通过行为轮廓及变迁发生规则,得到模型中所有的执行序列,再根据图4计算出序列间的行为距离,最后结合行为语义,根据动态表达式计算出模型间的一致性度。
Claims (3)
1.一种语义约束下的业务流程模型一致性度量的新方法,包括业务流程模型的预处理、分析业务流程模型的结构距离、分析模型间的行为距离及计算一致性度,其特征在于:以建模需求作为标准,对业务流程模型进行预处理,实现流程模型结构的清晰化及运行过程的形象化;在此基础上分析模型间的静态结构距离和动态行为距离,并结合加权动态表达式计算出模型间的一致性度。
2.根据权利要求1所述的流程模型的预处理,其特征在于:根据Petri网和选择库所的相关知识,将业务流程系统中的业务流程模型进行转化,使流程模型在结构和运行过程上都更加清晰。
3.根据权利要求1所述的分析结构距离和行为距离,其特征在于:通过模型配置,对流程模型中的变迁或边实施隐藏、阻塞或删除操作,将输入模型转化为在结构上等价的模型,得到编辑关系值,再结合匹配节点之间的语义相似度,从而得出模型间的结构距离;对于原执行序列,在不改变序列间抽象语义的前提下,通过引入沉默变迁,得到匹配序列,再寻找出行为距离最小的最佳匹配序列,结合行为轮廓理论,得到序列间的行为距离;根据交叉序及变迁发生规则得到模型中所有的执行序列,进而得到模型间的行为距离,最后根据动态行为表达式计算出模型间的一致性度。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410334472.0A CN104134112A (zh) | 2014-07-14 | 2014-07-14 | 一种语义约束下的业务流程模型一致性度量方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410334472.0A CN104134112A (zh) | 2014-07-14 | 2014-07-14 | 一种语义约束下的业务流程模型一致性度量方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN104134112A true CN104134112A (zh) | 2014-11-05 |
Family
ID=51806785
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201410334472.0A Pending CN104134112A (zh) | 2014-07-14 | 2014-07-14 | 一种语义约束下的业务流程模型一致性度量方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN104134112A (zh) |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104318125A (zh) * | 2014-11-14 | 2015-01-28 | 安徽理工大学 | 基于动力学表达式的业务流程行为偏差分析方法 |
CN105069574A (zh) * | 2015-08-17 | 2015-11-18 | 安徽理工大学 | 一种业务流程行为相似度分析的新方法 |
CN106651317A (zh) * | 2016-12-28 | 2017-05-10 | 浙江省公众信息产业有限公司 | 一种业务流程相关性的判别方法和装置 |
CN108229909A (zh) * | 2017-12-14 | 2018-06-29 | 四川虹慧云商科技有限公司 | 一种居民事务处理方法 |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103679484A (zh) * | 2014-01-09 | 2014-03-26 | 安徽理工大学 | 基于行为Petri网的电子商务一致性分析新方法 |
-
2014
- 2014-07-14 CN CN201410334472.0A patent/CN104134112A/zh active Pending
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103679484A (zh) * | 2014-01-09 | 2014-03-26 | 安徽理工大学 | 基于行为Petri网的电子商务一致性分析新方法 |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104318125A (zh) * | 2014-11-14 | 2015-01-28 | 安徽理工大学 | 基于动力学表达式的业务流程行为偏差分析方法 |
CN105069574A (zh) * | 2015-08-17 | 2015-11-18 | 安徽理工大学 | 一种业务流程行为相似度分析的新方法 |
CN106651317A (zh) * | 2016-12-28 | 2017-05-10 | 浙江省公众信息产业有限公司 | 一种业务流程相关性的判别方法和装置 |
CN108229909A (zh) * | 2017-12-14 | 2018-06-29 | 四川虹慧云商科技有限公司 | 一种居民事务处理方法 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
WO2019129060A1 (zh) | 自动生成机器学习样本的特征的方法及系统 | |
Wang et al. | Performance prediction for apache spark platform | |
CN103678671A (zh) | 一种社交网络中的动态社区检测方法 | |
CN103914865A (zh) | 形成几何图案的面的组 | |
CN104134112A (zh) | 一种语义约束下的业务流程模型一致性度量方法 | |
CN116882038B (zh) | 一种基于bim技术的机电施工方法及系统 | |
CN106682514B (zh) | 基于子图挖掘的系统调用序列特征模式集生成方法 | |
CN103914307A (zh) | 一种基于可复用库的交互界面快速实现方法 | |
Dávid et al. | Streaming model transformations by complex event processing | |
CN109376153A (zh) | 一种基于NiFi的数据写入图数据库的系统及方法 | |
CN104133857A (zh) | 一种基于配置约束的业务流程模型挖掘的新方法 | |
CN109783353A (zh) | 一种程序分析方法及终端设备 | |
CN103679484A (zh) | 基于行为Petri网的电子商务一致性分析新方法 | |
CN111340404A (zh) | 构建指标体系的方法、装置及计算机存储介质 | |
Gopalakrishnan et al. | Big Data in building information modeling research: survey and exploratory text mining | |
CN105069574A (zh) | 一种业务流程行为相似度分析的新方法 | |
JP6615892B2 (ja) | 物理システムの経時変化プロファイリングエンジン | |
JP5875961B2 (ja) | ソースコード類似度評価プログラム、ソースコード類似度評価装置、および、コンピュータ読み取り可能な記憶媒体 | |
CN105718471A (zh) | 用户偏好建模方法、系统及用户偏好评估方法、系统 | |
KR20210074755A (ko) | 영상 내 객체의 컨텍스트 정보 생성을 통한 모니터링 시스템 | |
CN105653355A (zh) | Hadoop的配置参数的计算方法及系统 | |
CN103699690A (zh) | 一种寻找流程模型中最小变化区域的精确方法 | |
CA3221657A1 (en) | Systems and methods for mapping seismic data to reservoir properties for reservoir modeling | |
CN111597224B (zh) | 结构化信息的生成方法、装置、电子设备和存储介质 | |
EP2926244B1 (en) | Method and apparatus for creating 3d model |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
WD01 | Invention patent application deemed withdrawn after publication | ||
WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20141105 |