赵文卓
- 作品数：6 被引量：20H指数：1
- 供职机构：云南大学更多>>
- 发文基金：国家自然科学基金云南省教育厅科学研究基金云南省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种面向BPMN2.0编排模型的控制流一致性检测方法及装置
- 本申请公开了一种面向BPMN2.0编排模型的控制流一致性检测方法及装置，所述方法为：对BPMN2.0编排模型进行预处理，确保编排模型中所有由编排任务直接分流的地方均使用并行分流网关，所有直接汇聚到编排任务的地方均使用选择...
- 代飞赵文卓杨云陈凤强刘妙刘一鸣秦江龙
- 文献传递
- 一种基于PETRI网的挖掘WS-CDL编排并行性的方法
- 本发明属于服务计算范式下的Web服务组合技术领域且公开了一种基于PETRI网的挖掘WS‑CDL编排并行性的方法，1、基于PETRI网挖掘WS‑CDL编排并行性的方法，按照以下步骤进行：步骤1，以WS‑CDL编排作为输入文...
- 代飞陈凤强赵文卓莫启
- 文献传递
- 基于Petri网的BPMN 2.0编排的语义定义和分析
- 面向编排的方法由目标驱动而流程精简明确,不会产生冗余的控制流依赖关系;从全局视角出发,自顶向下层层细化各个角色的局部契约,该方法使得全局契约和局部契约天然兼容,因此不用考虑角色内部业务流程间的相容性。BPMN 2.0的问...
- 赵文卓
- 关键词：PETRI网形式语义语义分析
- 文献传递
- 基于Petri网的挖掘WS-CDL编排并行性的方法
- 2017年
- 挖掘WS-CDL(Web services choreography description language)编排中的并行性,使其中的交互任务尽量并行执行,是缩短业务过程执行时间,提高业务过程效率的重要手段。现有针对WS-CDL编排的研究主要是集中在编排的可实现性方面,没有关注编排并行性方面。使用Petri网对WS-CDL编排模型进行建模,从分析交互变迁相关性的角度提出一种方法,挖掘Petri网中可并行的交互变迁,并重构Petri网模型,从而通过编排并行度的提高使得编排效率得到提升。
- 陈凤强赵文卓代飞
- 关键词：WS-CDLPETRI网
- BPMN 2.0编排的形式语义和分析被引量：19
- 2018年
- BPMN 2.0编排已成为描述业务流程间交互事实上的标准.BPMN 2.0编排面向流的特征,使之会产生控制流方面的语义错误.因此,检查编排语义正确性是BPMN 2.0编排建模工具所期望具有的功能.但是,BPMN 2.0标准规约中的编排缺少形式语义及相应的分析技术,这阻碍了对BPMN 2.0编排的语义分析.提出了一种映射,用于将BPMN 2.0编排转换为工作流网,使用Petri网来形式化定义BPMN 2.0编排的语义.借助Petri网的分析技术,这种定义的语义可用来分析BPMN 2.0编排的结构和控制流方面的错误.该映射和语义分析已被实现为一种工具.实验结果表明,这种形式化可以识别BPM AI过程模型库中编排的语义错误.
- 代飞赵文卓赵文卓莫启莫启周华
- 关键词：PETRI网形式语义语义分析
- 一种基于PETRI网的挖掘WS-CDL编排并行性的方法
- 本发明属于服务计算范式下的Web服务组合技术领域且公开了一种基于PETRI网的挖掘WS-CDL编排并行性的方法，1、基于PETRI网挖掘WS-CDL编排并行性的方法，按照以下步骤进行：步骤1，以WS-CDL编排作为输入文...
- 代飞陈凤强赵文卓莫启
