期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
跨组织业务过程协同并行建模 被引量：6
1
作者 莫启 代飞 +4 位作者 朱锐 笪建 林雷蕾 李可 李彤 《计算机集成制造系统》 EI CSCD 北大核心 2015年第4期1051-1062,共12页
为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组... 为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组织业务过程协同进行并行建模,得到跨组织业务过程协同模型;通过对协同制造中供应链内的采购订单进行并行建模,与现有的、具有代表性的方法进行对比并进行了理论分析。结果表明,跨组织业务过程协同模型能够提高模型的形式验证效率、减少形式验证时间。 展开更多
关键词 跨组织业务过程 协同 并行建模 语义
下载PDF
从私有过程提取公共过程构建业务协同的方法 被引量：5
2
作者 莫启 代飞 +5 位作者 朱锐 笪建 林雷蕾 李彤 谢仲文 郑明 《计算机研究与发展》 EI CSCD 北大核心 2017年第9期1892-1908,共17页
业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协... 业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协同,首先定义业务过程模型以表示组织的私有过程,该模型由内部视图和公共视图组合而成,且内部视图是自由选择网结构;进而将业务过程模型抽象为4种基本块,即顺序块、选择块、并发块及迭代块;针对这4种基本块提出各自的抽取规则集以获得组织的公共过程,并从理论上证明了这些规则集能够保持协同中接口一致性,从而确保了每一次抽取是上下文无关的.通过对协同制造中供应链进行建模并与现有的、典型的方法进行对比分析,结果表明:相对于已有的工作,在考虑隐私保护原则的情况下,所提方法能够更加有效地对业务过程协同进行建模和分析. 展开更多
关键词 业务过程协同 异步消息通信 业务过程模型 基本块 抽取规则集 接口一致性
下载PDF
协同业务过程的建模及正确性修正 被引量：4
3
作者 莫启 代飞 +3 位作者 笪建 朱锐 谢仲文 李彤 《软件学报》 EI CSCD 北大核心 2020年第10期3147-3166,共20页
由自底向上建模方法建立的协同业务过程中通常存在不一致,故对其进行正确性分析是确保其正确实施的重要手段.现有方法大多关注正确性检测,这使得协同业务过程的正确性分析过程复杂且耗时.而正确性修正方法能够避免正确性检测方法中存在... 由自底向上建模方法建立的协同业务过程中通常存在不一致,故对其进行正确性分析是确保其正确实施的重要手段.现有方法大多关注正确性检测,这使得协同业务过程的正确性分析过程复杂且耗时.而正确性修正方法能够避免正确性检测方法中存在的重复检测和调整,但这方面的研究较少,不能有效地应用于协同业务过程修正.为此,基于简单路径提出一种协同业务过程正确性修正方法.首先,在考虑活动同步及异步交互情况下,将部分正确协同业务过程行为抽象为完整的简单路径,并将其合并成核;然后,利用协调映射技术将核映射为修正业务过程,通过将所有的修正业务过程并发组合建立修正协同业务过程.修正协同业务过程符合协同业务过程的实际特征,且含有修正前协同业务过程中所有完整的轨迹,也未引入隐藏轨迹,从而避免了有效性确认.最后,通过实验与现有方法进行对比分析,结果表明:相对已有工作,在考虑协同业务过程实际特征的情况下,协同业务过程正确性修正方法能够更加有效地对协同业务过程进行正确性修正. 展开更多
关键词 协同业务过程 正确性修正 简单路径 核 协调映射
下载PDF
业务过程协同中数据恢复策略建模及分析 被引量：3
4
作者 莫启 代飞 +3 位作者 朱锐 笪建 林雷蕾 李彤 《计算机应用研究》 CSCD 北大核心 2016年第2期462-466,482,共6页
为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析,但现有的工作鲜有关注于从架构的视角和数据的层次来对其进行讨论。为此,首先提出了一种"代理端+盟主端"业务过程协同架构;然后通过对该协同架构进行分析,提... 为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析,但现有的工作鲜有关注于从架构的视角和数据的层次来对其进行讨论。为此,首先提出了一种"代理端+盟主端"业务过程协同架构;然后通过对该协同架构进行分析,提出了一种业务过程协同的数据恢复通用模型;最后基于该通用模型,提出了数据恢复策略模型,以此为基础提出了五种数据恢复策略并采用随机Petri网对其进行建模与仿真。实验结果表明,采用最短队列随机恢复策略能够使得业务过程协同应用在协同中确保具有高的系统吞吐量、快的响应时间及低的拒绝率。 展开更多
关键词 业务过程协同 “代理端+盟主端”业务过程协同架构 数据恢复通用模型 数据恢复策略模型 数据恢复策略
下载PDF
正确性保证的私有过程建模方法 被引量：1
5
作者 莫启 笪建 +3 位作者 代飞 朱锐 林雷蕾 李彤 《电子学报》 EI CAS CSCD 北大核心 2018年第10期2551-2560,共10页
私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各... 私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各自的精化规则,并以此为基础提出了私有过程构建方法;最后,从理论上证明了通过该方法建立的私有过程具有工作流网特性且是正确的.通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的工作,本文方法能够更加有效地对私有过程进行建模. 展开更多
关键词 私有过程 基本块 精化规则 接口一致性 正确性
下载PDF
业务协同中组织需求的建模与一致性验证 被引量：1
6
作者 笪建 莫启 +2 位作者 程耀坤 张毅 李彤 《计算机集成制造系统》 EI CSCD 北大核心 2018年第9期2186-2200,共15页
验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组... 验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组合业务过程构建协同业务过程方法,并定义了其执行语义以支持需求一致性验证;基于模型检测技术提出需求一致性验证框架。对协同制造中采购订单进行建模,并与现有典型方法进行对比分析,结果表明相对已有工作,所提方法能够更有效地对跨组织环境下需求一致性检测进行建模和分析。 展开更多
关键词 组织需求 协同业务过程 一致性 模型检测 迹等价
下载PDF
跨组织业务过程协同多视图模型 被引量：2
7
作者 笪建 莫启 +5 位作者 李彤 代飞 朱锐 骆霄 林雷蕾 程耀坤 《计算机应用研究》 CSCD 北大核心 2015年第9期2687-2692,共6页
为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部... 为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部变迁关联起来得到公共视图,并对异步通信机制进行研究,运用pi演算对其通信过程进行建模得到通信行为视图,进而使得跨组织业务过程协同的验证转换成pi演算的推演;通过对通信机制的分析,给出了两个活动进行调整时所要满足的条件并证明了满足该条件的调整是上下文无关的,通过建模实例阐述了该方法的有效性。 展开更多
关键词 跨组织业务过程 协同 异步通信 上下文无关 PI演算
下载PDF
参与组织需求与协同业务过程一致性验证方法 被引量：1
8
作者 莫启 代飞 +5 位作者 朱锐 笪建 郑明 李彤 林雷蕾 戴翼超 《计算机集成制造系统》 EI CSCD 北大核心 2018年第7期1608-1620,共13页
为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;然后,引入并发操作符,提供一种通过组合参与组织业务过程构建... 为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;然后,引入并发操作符,提供一种通过组合参与组织业务过程构建协同业务过程方法,并定义其执行语义以支持需求一致性验证;最后,基于模型检测技术提出需求一致性验证框架,实现需求一致性自动验证。通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的典型工作,所提方法能够更加有效地支持需求一致性验证。 展开更多
关键词 参与组织需求 协同业务过程 一致性 模型检测 迹等价
下载PDF
结合Petri网与进程代数的业务过程协同模型研究 被引量：2
9
作者 笪建 程耀坤 +2 位作者 莫启 孙华 吕永华 《软件导刊》 2017年第12期49-52,共4页
业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS(Process Labeled Transition System),对单个参与组织的模型视图和通信行为视图序列进行集成,进... 业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS(Process Labeled Transition System),对单个参与组织的模型视图和通信行为视图序列进行集成,进而使整个跨组织业务过程协同可以通过各个参与组织的PLTS并行组合而成。该建模方法充分结合了Petri网与CCS各自的优势,避免了单一运用Petri网与进程代数建模业务过程时面临的问题,有效支持了业务过程协同的形式验证。同时为了避免模型状态空间过大而无法进行有效验证的问题,提出了6条约简规则,并证明了这些规则是满足协同正确性的充分条件,从而使行为验证方式由模型推导变为代数推导。 展开更多
关键词 PETRI网 进程代数 跨组织业务过程 进程标号迁移系统 约简
下载PDF
一种基于Bigraph的规则驱动动态模型研究
10
作者 笪建 莫启 +3 位作者 程耀坤 汪培芬 张毅 吕永华 《软件导刊》 2016年第11期18-22,共5页
作为业务过程中的一个重要组成方面,业务规则驱动业务逻辑的运行,业务规则的变化导致业务逻辑实现功能的变化。基于关注点分离的思想,将业务规则作为一个方面从业务逻辑中分离出来,并从更宏观的层面实现业务规则对业务逻辑的组织及驱动... 作为业务过程中的一个重要组成方面,业务规则驱动业务逻辑的运行,业务规则的变化导致业务逻辑实现功能的变化。基于关注点分离的思想,将业务规则作为一个方面从业务逻辑中分离出来,并从更宏观的层面实现业务规则对业务逻辑的组织及驱动。业务规则不仅可以对单个业务逻辑构件内部的运行流程进行驱动,还可以对涉及多个业务逻辑构件的运行过程进行控制,并允许施加在业务逻辑构件上的规则构件可以同时为多个。同时,考虑到软件系统所处环境的日益复杂化,引入自适应机制,建立了三层的面向方面动态模型体系结构,设计出面向方面动态模型体系结构描述语言,基于Bigraph理论,建立了面向方面动态模型体系结构的语义模型,通过定义Bigraph反应系统来描述模型的动态变化,最后对模型动态变化后的完整性进行了验证。 展开更多
关键词 业务规则 Bigraph Bigraph反应系统 面向方面动态模型体系结构
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部