基于Petri网的面向公共过程的协同业务过程验证方法 被引量：1

1

作者 汪煜祺 莫启 +3 位作者 王佳能 王佳 谢仲文 代飞 《计算机集成制造系统》 EI CSCD 北大核心 2024年第8期2854-2871,共18页

如何在保护隐私性的前提下高效地验证协同业务过程的正确性,是业务过程管理领域中一个重要的研究问题。为此,提出一种基于Petri网的面向公共过程的协同业务过程正确性验证方法。首先,采用Petri网对组织的私有过程和协同业务过程进行建模... 如何在保护隐私性的前提下高效地验证协同业务过程的正确性,是业务过程管理领域中一个重要的研究问题。为此,提出一种基于Petri网的面向公共过程的协同业务过程正确性验证方法。首先,采用Petri网对组织的私有过程和协同业务过程进行建模;然后,基于私有过程的控制流,定义了基本块结构(包含顺序、选择、并发、循环及同步链接结构)并提出对应抽取规则集;最后,将私有过程的控制流转换为通信进程代数(ACP),利用ACP进程的等式理论证明抽取前后模型的正确性一致。通过大量实验,并与现有典型验证方法进行对比分析,结果表明:相较于现有的方法,所提方法可以在保护组织隐私性的前提下极大地提高协同业务过程正确性的验证效率。 展开更多

关键词 协同业务过程 私有过程 公共过程 抽取规则 正确性验证

在线阅读 下载PDF 职称材料

结合Petri网和Pi演算的协同业务过程建模 被引量：9

2

作者 代飞 莫启 +3 位作者 林雷蕾 朱锐 李彤 谢仲文 《计算机科学与探索》 CSCD 北大核心 2015年第6期692-706,共15页

协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用... 协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用,提出了一种协同业务过程的建模方法。该方法采取关注点分离的原则,一方面,从控制流角度,针对协同业务过程面向流的特点,提出公共视图,使用Petri网直观描述参与协同组织的业务过程的静态结构和状态转换;另一方面,从交互角度,针对协同业务过程面向协作的特点,提出协作视图,使用Pi演算描述业务过程间的交互。为建立Petri网和Pi演算间的关联,提出了进程标号迁移系统。与传统的业务过程建模方法相比,该方法能有效支持协同业务过程具有的个性化特征。 展开更多

关键词 协同业务过程 公共视图 协作视图 PETRI网 PI演算

在线阅读 下载PDF 职称材料

协同业务过程的建模及正确性修正 被引量：5

3

作者 莫启 代飞 +3 位作者 笪建 朱锐 谢仲文 李彤 《软件学报》 EI CSCD 北大核心 2020年第10期3147-3166,共20页

由自底向上建模方法建立的协同业务过程中通常存在不一致,故对其进行正确性分析是确保其正确实施的重要手段.现有方法大多关注正确性检测,这使得协同业务过程的正确性分析过程复杂且耗时.而正确性修正方法能够避免正确性检测方法中存在... 由自底向上建模方法建立的协同业务过程中通常存在不一致,故对其进行正确性分析是确保其正确实施的重要手段.现有方法大多关注正确性检测,这使得协同业务过程的正确性分析过程复杂且耗时.而正确性修正方法能够避免正确性检测方法中存在的重复检测和调整,但这方面的研究较少,不能有效地应用于协同业务过程修正.为此,基于简单路径提出一种协同业务过程正确性修正方法.首先,在考虑活动同步及异步交互情况下,将部分正确协同业务过程行为抽象为完整的简单路径,并将其合并成核;然后,利用协调映射技术将核映射为修正业务过程,通过将所有的修正业务过程并发组合建立修正协同业务过程.修正协同业务过程符合协同业务过程的实际特征,且含有修正前协同业务过程中所有完整的轨迹,也未引入隐藏轨迹,从而避免了有效性确认.最后,通过实验与现有方法进行对比分析,结果表明:相对已有工作,在考虑协同业务过程实际特征的情况下,协同业务过程正确性修正方法能够更加有效地对协同业务过程进行正确性修正. 展开更多

关键词 协同业务过程 正确性修正 简单路径 核 协调映射

在线阅读 下载PDF 职称材料

参与组织需求与协同业务过程一致性验证方法 被引量：1

4

作者 莫启 代飞 +5 位作者 朱锐 笪建 郑明 李彤 林雷蕾 戴翼超 《计算机集成制造系统》 EI CSCD 北大核心 2018年第7期1608-1620,共13页

为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;然后,引入并发操作符,提供一种通过组合参与组织业务过程构建... 为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;然后,引入并发操作符,提供一种通过组合参与组织业务过程构建协同业务过程方法,并定义其执行语义以支持需求一致性验证;最后,基于模型检测技术提出需求一致性验证框架,实现需求一致性自动验证。通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的典型工作,所提方法能够更加有效地支持需求一致性验证。 展开更多

关键词 参与组织需求 协同业务过程 一致性 模型检测 迹等价

在线阅读 下载PDF 职称材料

协同业务过程的相容性检测及修正 被引量：2

5

作者 郑明 莫启 +3 位作者 周小煊 李彤 谢仲文 向文坤 《计算机科学与探索》 CSCD 北大核心 2017年第12期1907-1921,共15页

随着经济全球化的发展,企业的业务活动已从企业内单独的业务过程发展成为跨企业多个协同业务过程的模式,为了确保协同业务过程实施的正确性,协同业务过程相容性及修正是一个不可或缺的研究问题。为此,结合Petri网及过程挖掘的相关理论,... 随着经济全球化的发展,企业的业务活动已从企业内单独的业务过程发展成为跨企业多个协同业务过程的模式,为了确保协同业务过程实施的正确性,协同业务过程相容性及修正是一个不可或缺的研究问题。为此,结合Petri网及过程挖掘的相关理论,提出了一种跨组织协同业务过程的相容性检测及修正方法。首先基于Petri网对业务过程及协同业务过程进行建模;然后对业务过程和协同业务过程的相容性进行定义,并分别给出了相应的检测算法;最后以现实中的购买过程为案例,检测出该购买过程中存在的不相容的协同业务过程,并予以修正。结果表明,在不改变局部业务过程的情况下,对本来不相容的协同业务过程进行修正,并最终达到一种好的满足相容性的协同业务过程模型。 展开更多

关键词 协同业务过程 相容性 修正方法

在线阅读 下载PDF 职称材料

基于流程抽象的协同业务过程符合性验证

6

作者 莫启 向吉祥 +3 位作者 汪煜祺 代飞 许小龙 齐连永 《计算机集成制造系统》 EI CSCD 北大核心 2021年第9期2542-2555,共14页

验证协同业务过程与领域约束的符合性是一个关键问题,但现有工作需忽视对内部流程细节的处理,从而导致组织内部流程信息暴露、符合性验证误判及验证效率低下等问题。为此,基于流程抽象提出一种针对协同业务过程与领域约束符合性验证方... 验证协同业务过程与领域约束的符合性是一个关键问题,但现有工作需忽视对内部流程细节的处理,从而导致组织内部流程信息暴露、符合性验证误判及验证效率低下等问题。为此,基于流程抽象提出一种针对协同业务过程与领域约束符合性验证方法。首先,利用标号迁移系统和符合性语言分别描述业务过程及领域约束;然后,基于弱轨迹等价将业务过程中含有的内部流程细节全部移除以得到抽象业务过程,并将其并发组合,得到抽象协同业务过程;最后,在协同业务过程与领域约束是否相符的问题上,利用模型验证技术进行自动验证。将针对协同业务过程符合性验证转化为对抽象协同业务过程符合性验证,从而能够有效地避免暴露组织内部流程信息、确保符合性验证结果的正确性及提高形式验证效率。为了阐述所提方法的有效性,利用实际协同业务过程集进行实验,并从分析效率上对所提方法进行评价。实验结果表明:对比现有工作,在协同业务过程与领域约束的符合性分析上,所提方法更加有效。 展开更多

关键词 协同业务过程 领域约束 符合性 模型检测 弱轨迹等价

在线阅读 下载PDF 职称材料

基于视图面向隐私保护的协同业务过程建模方法

7

作者 向吉祥 莫启 +2 位作者 谢仲文 汪煜祺 王佳能 《计算机集成制造系统》 EI CSCD 北大核心 2022年第10期3187-3201,共15页

针对协同业务过程中因涉及多个组织间复杂的通信、交互及协作关系而导致的复杂建模问题,基于视图提出一种协同业务过程建模方法。首先定义私有视图,然后将私有视图控制流映射为树结构,最后基于树结构提出4种关系节点各自的迁移技术,以... 针对协同业务过程中因涉及多个组织间复杂的通信、交互及协作关系而导致的复杂建模问题,基于视图提出一种协同业务过程建模方法。首先定义私有视图,然后将私有视图控制流映射为树结构,最后基于树结构提出4种关系节点各自的迁移技术,以此为基础将私有视图迁移为公共视图,进而提出构建协同业务过程的建模方法,并从理论上证明该方法所构建协同业务过程的正确性。通过实例建模与现有方法进行对比分析表明,所提方法可在确保迁移前后协同业务过程正确性一致和不影响建模效率的前提下,提高隐私性保护力度。 展开更多

关键词 协同业务过程 私有视图 公共视图 隐私保护 迁移技术

在线阅读 下载PDF 职称材料

协同业务过程建模与行为验证

8

作者 赵莹 潘华 +2 位作者 张云猛 莫启 代飞 《计算机科学》 CSCD 北大核心 2018年第B11期597-602,共6页

对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业... 对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业务过程;其次,提出了行为约束的声明式模板,用于定义协同业务过程中的行为约束关系,并通过映射规则,将行为约束关系转换为LTL(Linear Temporal Logic)公式;最后,提出了行为验证框架,借助进程分析工具PAT,实现了对协同业务过程行为的自动验证。通过对电力突发公共事件应急处置系统的建模与行为验证,阐述了所提方法的可行性和有效性。 展开更多

关键词 协同业务过程 业务过程 异步消息通信 行为验证 模型检测

在线阅读 下载PDF 职称材料

协同业务过程的随机行为分析方法

9

作者 赵莹 潘华 +2 位作者 孙金艳 莫启 代飞 《计算机工程与应用》 CSCD 北大核心 2019年第3期245-251,265,共8页

参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程代数和马尔科夫链,提出了一种协同业务过程的随机行为分析方法。首先,使用有限状态自动机建模每个参与组织的业务过程,通过引入异步消息通信关系定义协同业务过程。其次... 参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程代数和马尔科夫链,提出了一种协同业务过程的随机行为分析方法。首先,使用有限状态自动机建模每个参与组织的业务过程,通过引入异步消息通信关系定义协同业务过程。其次,提出将参与组织业务过程转换成通信顺序进程(Communication Sequential Process,CSP)方法,进而将每个参与组织业务过程对应CSP进程并发组合得到协同业务过程对应的CSP进程,并根据CSP操作语义构建协同业务过程的状态迁移模型。最后,引入状态迁移模型正则化概念,从理论上证明正则化的状态迁移模型与一个齐次马尔科夫链相对应,进而根据平衡方程求得状态迁移系统中每个状态的稳定概率,以此为基础实现参与组织随机行为分析。通过对电设备采购过程建模与随机行为分析阐述该方法的可行性和有效性。 展开更多

关键词 协同业务过程 异步消息通信 随机行为 通信顺序进程(CSP) 马尔科夫链

在线阅读 下载PDF 职称材料

业务过程协同中数据恢复策略建模及分析 被引量：3

10

作者 莫启 代飞 +3 位作者 朱锐 笪建 林雷蕾 李彤 《计算机应用研究》 CSCD 北大核心 2016年第2期462-466,482,共6页

为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析,但现有的工作鲜有关注于从架构的视角和数据的层次来对其进行讨论。为此,首先提出了一种"代理端+盟主端"业务过程协同架构;然后通过对该协同架构进行分析,提... 为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析,但现有的工作鲜有关注于从架构的视角和数据的层次来对其进行讨论。为此,首先提出了一种"代理端+盟主端"业务过程协同架构;然后通过对该协同架构进行分析,提出了一种业务过程协同的数据恢复通用模型;最后基于该通用模型,提出了数据恢复策略模型,以此为基础提出了五种数据恢复策略并采用随机Petri网对其进行建模与仿真。实验结果表明,采用最短队列随机恢复策略能够使得业务过程协同应用在协同中确保具有高的系统吞吐量、快的响应时间及低的拒绝率。 展开更多

关键词 业务过程协同 “代理端+盟主端”业务过程协同架构 数据恢复通用模型 数据恢复策略模型 数据恢复策略

在线阅读 下载PDF 职称材料

从私有过程提取公共过程构建业务协同的方法 被引量：5

11

作者 莫启 代飞 +5 位作者 朱锐 笪建 林雷蕾 李彤 谢仲文 郑明 《计算机研究与发展》 EI CSCD 北大核心 2017年第9期1892-1908,共17页

业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协... 业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协同,首先定义业务过程模型以表示组织的私有过程,该模型由内部视图和公共视图组合而成,且内部视图是自由选择网结构;进而将业务过程模型抽象为4种基本块,即顺序块、选择块、并发块及迭代块;针对这4种基本块提出各自的抽取规则集以获得组织的公共过程,并从理论上证明了这些规则集能够保持协同中接口一致性,从而确保了每一次抽取是上下文无关的.通过对协同制造中供应链进行建模并与现有的、典型的方法进行对比分析,结果表明:相对于已有的工作,在考虑隐私保护原则的情况下,所提方法能够更加有效地对业务过程协同进行建模和分析. 展开更多

关键词 业务过程协同 异步消息通信 业务过程模型 基本块 抽取规则集 接口一致性

在线阅读 下载PDF 职称材料

面向服务环境下基于本体映射的多领域业务过程协同

12

作者 倪悦 范玉顺 《计算机应用研究》 CSCD 北大核心 2010年第3期919-922,927,共5页

为解决面向服务环境下多领域业务过程协同中的语义不一致问题,使不同领域提供的Web服务实现无障碍交互以及数据和知识共享,提出基于本体映射的多领域业务过程协同框架。首先根据领域知识建立参考本体,然后根据各领域的参考本体生成领域... 为解决面向服务环境下多领域业务过程协同中的语义不一致问题,使不同领域提供的Web服务实现无障碍交互以及数据和知识共享,提出基于本体映射的多领域业务过程协同框架。首先根据领域知识建立参考本体,然后根据各领域的参考本体生成领域间的协同本体,最后将协同本体通过映射转换到BPEL和WSDL文件。该方法能够保留流程与Web服务中的原始语义信息,从而保证不同领域业务过程协同地顺利进行。原型系统在欧盟ImportNET项目中得到了验证。 展开更多

关键词 业务过程协同 WEB服务 本体 映射

在线阅读 下载PDF 职称材料

业务协同中组织需求的建模与一致性验证 被引量：1

13

作者 笪建 莫启 +2 位作者 程耀坤 张毅 李彤 《计算机集成制造系统》 EI CSCD 北大核心 2018年第9期2186-2200,共15页

验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组... 验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组合业务过程构建协同业务过程方法,并定义了其执行语义以支持需求一致性验证;基于模型检测技术提出需求一致性验证框架。对协同制造中采购订单进行建模,并与现有典型方法进行对比分析,结果表明相对已有工作,所提方法能够更有效地对跨组织环境下需求一致性检测进行建模和分析。 展开更多

关键词 组织需求 协同业务过程 一致性 模型检测 迹等价

在线阅读 下载PDF 职称材料

基于元对象机制的语义Web服务组合模型转换方法 被引量：1

14

作者 倪悦 范玉顺 《计算机集成制造系统》 EI CSCD 北大核心 2011年第4期867-875,共9页

为解决面向服务环境下多领域业务过程协同中的语义不一致问题,提出基于模型转换的多领域业务过程协同框架,并基于元对象机制的元建模框架,实现协同本体到服务组合模型的转换。该方法能够保留流程与Web服务中的原始语义信息,提供了灵活... 为解决面向服务环境下多领域业务过程协同中的语义不一致问题,提出基于模型转换的多领域业务过程协同框架,并基于元对象机制的元建模框架,实现协同本体到服务组合模型的转换。该方法能够保留流程与Web服务中的原始语义信息,提供了灵活的模型转换方法,从而保证不同领域业务过程协同的顺利进行。通过在欧盟ImportNET项目中的应用验证了所提框架和转换方法的有效性。 展开更多

关键词 语义 WEB服务 元对象机制 模型转换 业务过程协同

在线阅读 下载PDF 职称材料