陈凤强
- 作品数:6 被引量:7H指数:1
- 供职机构:云南大学更多>>
- 发文基金:国家自然科学基金云南省教育厅科学研究基金云南省自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种保持编排与参与者间行为一致的映射方法被引量:7
- 2018年
- 将编排映射为Peer(参与者),是对编排进行可实现性分析的第1个步骤.现有文献提出的映射方法未考虑参与者中τ对行为的影响,无法确保编排与参与者间的行为一致性.以Petri网作为形式化基础,提出了一种能够保持编排与参与者间行为一致的映射方法,允许:(1)通过动作映射,将交互式Petri网定义的编排映射为带τ的交互式Petri网;(2)提出了4条τ删除规则,用以对带τ的交互式Petri网中的τ进行有选择的删除;(3)将编排与参与者间的行为一致性问题规约为检验两个交互式Petri间是否满足弱互模拟的问题,并证明了这4条τ删除规则的正确性.实验结果表明,该映射方法能够确保编排与参与者间的行为一致性.
- 代飞代飞陈凤强莫启王炜李彤
- 关键词:业务过程管理参与者映射
- 一种面向BPMN2.0编排模型的控制流一致性检测方法及装置
- 本申请公开了一种面向BPMN2.0编排模型的控制流一致性检测方法及装置,所述方法为:对BPMN2.0编排模型进行预处理,确保编排模型中所有由编排任务直接分流的地方均使用并行分流网关,所有直接汇聚到编排任务的地方均使用选择...
- 代飞赵文卓杨云陈凤强刘妙刘一鸣秦江龙
- 文献传递
- 一种基于PETRI网的挖掘WS-CDL编排并行性的方法
- 本发明属于服务计算范式下的Web服务组合技术领域且公开了一种基于PETRI网的挖掘WS‑CDL编排并行性的方法,1、基于PETRI网挖掘WS‑CDL编排并行性的方法,按照以下步骤进行:步骤1,以WS‑CDL编排作为输入文...
- 代飞陈凤强赵文卓莫启
- 文献传递
- 基于Petri网的挖掘WS-CDL编排并行性的方法
- 2017年
- 挖掘WS-CDL(Web services choreography description language)编排中的并行性,使其中的交互任务尽量并行执行,是缩短业务过程执行时间,提高业务过程效率的重要手段。现有针对WS-CDL编排的研究主要是集中在编排的可实现性方面,没有关注编排并行性方面。使用Petri网对WS-CDL编排模型进行建模,从分析交互变迁相关性的角度提出一种方法,挖掘Petri网中可并行的交互变迁,并重构Petri网模型,从而通过编排并行度的提高使得编排效率得到提升。
- 陈凤强赵文卓代飞
- 关键词:WS-CDLPETRI网
- 一种基于弱互模拟的编排映射方法
- 将编排映射为Peer(参与者)是对编排进行可实现性分析的第一个步骤。现有文献提出的映射方法未考虑参与者中不可见动作τ对行为的影响,无法确保编排与参与者间的行为一致性。本文以Petri网作为形式化基础,提出了一种能保持编排...
- 陈凤强
- 关键词:业务过程管理参与者映射
- 文献传递
- 一种基于PETRI网的挖掘WS-CDL编排并行性的方法
- 本发明属于服务计算范式下的Web服务组合技术领域且公开了一种基于PETRI网的挖掘WS-CDL编排并行性的方法,1、基于PETRI网挖掘WS-CDL编排并行性的方法,按照以下步骤进行:步骤1,以WS-CDL编排作为输入文...
- 代飞陈凤强赵文卓莫启