咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 2 篇 软件工程
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 3 篇 业务过程建模符号
  • 1 篇 结构化
  • 1 篇 企业间协同
  • 1 篇 可扩展标记语言
  • 1 篇 业务流程图
  • 1 篇 过程控制模式
  • 1 篇 模型检查
  • 1 篇 工作流管理
  • 1 篇 petri网
  • 1 篇 转换
  • 1 篇 业务建模

机构

  • 1 篇 同济大学
  • 1 篇 电子科技大学
  • 1 篇 武汉大学

作者

  • 1 篇 王坚
  • 1 篇 凌卫青
  • 1 篇 林子禹
  • 1 篇 陈智
  • 1 篇 肖如良
  • 1 篇 曾家智
  • 1 篇 邓新国
  • 1 篇 邓建

语言

  • 3 篇 中文
检索条件"主题词=业务过程建模符号"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
业务过程模型的Petri网形式化检查方法
收藏
分享
引用
计算机集成制造系统 2011年 第5期17卷 1110-1119页
作者： 邓建 陈智 曾家智 电子科技大学计算机科学与工程学院 四川成都610054 电子科技大学通信抗干扰国家级重点实验室 四川成都610054
为解决企业间业务协同模型形式化检查的问题,将采用标准业务过程建模符号的业务模型转换为Pe-tri网,构造出一种可建模企业间复杂业务协同的业务过程流网。采用过程定义可扩展标记语言2.1版本,开发了一种具有通用性的业务过程模型转换和... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
XPDL2.0规范的过程控制模式分析
收藏
分享
引用
计算机集成制造系统 2007年 第9期13卷 1839-1846页
作者： 凌卫青 王坚 同济大学CIMS研究中心 上海200092
介绍了XPDL 2.0规范和XPDL 1.0规范之间的差别;采用van der Aalst提出的20种工作流模式,着重分析了XPDL 1.0所不支持的九种过程控制模式,对其中XPDL 2.0支持的模式给出基于业务过程建模符号的图形示例和相应的XPDL 2.0代码实现示例。最... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于结构化定理的BPMN结构化方法
收藏
分享
引用
计算机工程 2009年 第7期35卷 70-72页
作者： 邓新国 林子禹 肖如良 武汉大学软件工程国家重点实验室 武汉430072
在基于标准模型驱动业务流程的开发环境中,需要把模型转换为代码。该文提出一种新的基于结构化定理的解决方法,把业务过程建模符号的非结构化程序转化为结构化程序,并通过一个实际案例说明其可行性。实验结果表明,该方法是有效的。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件