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

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2 篇 工学
    • 1 篇 仪器科学与技术
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程
  • 1 篇 理学
    • 1 篇 数学

主题

  • 2 篇 数据流错误
  • 1 篇 bpel过程
  • 1 篇 bpmn协作模型
  • 1 篇 反模式
  • 1 篇 模型验证
  • 1 篇 着色petri网
  • 1 篇 分类预测
  • 1 篇 实证分析
  • 1 篇 形式化

机构

  • 1 篇 上海理工大学
  • 1 篇 南京理工大学

作者

  • 1 篇 黄凤兰
  • 1 篇 周奕宁
  • 1 篇 刘姜
  • 1 篇 李业勋
  • 1 篇 张成震
  • 1 篇 陶蒙怡
  • 1 篇 倪枫

语言

  • 2 篇 中文
检索条件"主题词=数据流错误"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
BPEL服务组合数据流错误的实证研究
BPEL服务组合数据流错误的实证研究
收藏
分享
引用
作者： 张成震 南京理工大学
学位级别：硕士
随着Web服务与云计算的飞速发展,服务组合已经成为应用开发的主流模式之一。Web服务业务过程执行语言(简称BPEL)已经成为描述Web服务组合事实上的的标准。由于BPEL是类XML语言,BPEL服务组合(过程)具有天然的块结构的特性,因而不易发生... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
基于HCPN的复杂BPMN协作模型数据流建模与验证
收藏
分享
引用
计算机集成制造系统 2024年 第5期30卷 1754-1769页
作者： 黄凤兰 倪枫 刘姜 陶蒙怡 周奕宁 李业勋 上海理工大学管理学院 上海200093
为了保证复杂BPMN协作模型的正确性,不仅要涵盖多实例和子进程等复杂元素,还要在检测控制流错误的同时检测数据流错误。但业务流程建模标注(BPMN 2.0)缺乏形式化语义的描述,这对模型正确性的验证造成了阻碍。因此,给出了一种具有弧权重... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件