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