咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 2 篇 软件工程

主题

  • 3 篇 业务流程建模标注...
  • 3 篇 语义分析
  • 2 篇 编排
  • 2 篇 形式语义
  • 2 篇 petri网
  • 1 篇 自然语言处理

机构

  • 2 篇 云南大学
  • 1 篇 上海理工大学
  • 1 篇 云南省软件工程重...
  • 1 篇 西南林业大学

作者

  • 2 篇 赵文卓
  • 1 篇 黄凤兰
  • 1 篇 yang yun
  • 1 篇 dai fei
  • 1 篇 zhao wen-zhuo
  • 1 篇 李彤
  • 1 篇 回梦涵
  • 1 篇 mo qi
  • 1 篇 zhou hua
  • 1 篇 hui menghan
  • 1 篇 liu jiang
  • 1 篇 莫启
  • 1 篇 li yexun
  • 1 篇 li tong
  • 1 篇 倪枫
  • 1 篇 杨云
  • 1 篇 刘姜
  • 1 篇 李业勋
  • 1 篇 ni feng
  • 1 篇 代飞

语言

  • 3 篇 中文
检索条件"主题词=业务流程建模标注2.0"
3 条 记 录,以下是1-10 订阅
排序:
BPMN 2.0编排的形式语义和分析
收藏 引用
软件学报 2018年 第4期29卷 1094-1114页
作者: 代飞 赵文卓 杨云 莫启 李彤 周华 西南林业大学大数据与人工智能工程学院 云南昆明650091 云南大学软件学院 云南昆明650091 云南省软件工程重点实验室 云南昆明650091
BPMN 2.0编排已成为描述业务流程间交互事实上的标准.BPMN 2.0编排面向流的特征,使之会产生控制流方面的语义错误.因此,检查编排语义正确性是BPMN 2.0编排建模工具所期望具有的功能.但是,BPMN 2.0标准规约中的编排缺少形式语义及相应的... 详细信息
来源: 评论
基于Petri网的BPMN 2.0编排的语义定义和分析
基于Petri网的BPMN 2.0编排的语义定义和分析
收藏 引用
作者: 赵文卓 云南大学
学位级别:硕士
面向编排的方法由目标驱动而流程精简明确,不会产生冗余的控制流依赖关系;从全局视角出发,自顶向下层层细化各个角色的局部契约,该方法使得全局契约和局部契约天然兼容,因此不用考虑角色内部业务流程间的相容性。BPMN 2.0的问世为面向... 详细信息
来源: 评论
基于NLP技术对文本生成BPMN图
收藏 引用
智能计算机与应用 2024年 第8期14卷 11-18页
作者: 回梦涵 黄凤兰 倪枫 刘姜 李业勋 上海理工大学管理学院 上海200093
参考当今商业和组织环境,流程管理是提效的核心。传统方法容易导致误解和模糊,需求变更时,手动更新和维护也非常困难。因此需要一种更形式化和自动化的方法,来分析和验证需求确保正确性和一致性。本文提出了一种使用文本需求输入生成BPM... 详细信息
来源: 评论