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

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 3 篇 bpel4people
  • 1 篇 web服务组合
  • 1 篇 混合工作流
  • 1 篇 建模验证
  • 1 篇 基于协商的委托授...
  • 1 篇 人工服务分配
  • 1 篇 bpel
  • 1 篇 π演算
  • 1 篇 可中断
  • 1 篇 时序
  • 1 篇 着色petri网
  • 1 篇 人工服务

机构

  • 1 篇 国防科技大学
  • 1 篇 北京大学
  • 1 篇 广州军区空军指挥...
  • 1 篇 东北大学

作者

  • 1 篇 单继城
  • 1 篇 刘青宝
  • 1 篇 黄光奇
  • 1 篇 朱梅霞
  • 1 篇 王德鑫
  • 1 篇 杨永强
  • 1 篇 王捍贫
  • 1 篇 金暐

语言

  • 3 篇 中文
检索条件"主题词=BPEL4People"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于时序可中断π演算的bpel和bpel4people建模
收藏
分享
引用
北京大学学报（自然科学版） 2012年 第2期48卷 209-216页
作者： 金暐 王捍贫 朱梅霞 北京大学信息科学技术学院 北京100871
为了形式化地定义bpel和bpel4people的语义,提出了一个π演算的变种——πit演算。相对于传统的π演算,πit演算可以描述中断事件和时间事件,从而拥有更好的建模表达能力。介绍了πit演算的语法和语义,定义了一类强互模拟关系来判定πi... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
B-CWSEE中人工服务实现机制的研究与实现
B-CWSEE中人工服务实现机制的研究与实现
收藏
分享
引用
作者： 杨永强 东北大学
学位级别：硕士
随着Web服务及bpel的深入发展,人员参与业务流程的问题已逐步引起了人们的关注。同时随着WS-HumanTask及bpel4people规范的发布及标准化,越来越多的传统bpel执行引擎开始支持人工服务。然而这些传统的bpel执行引擎并不支持业务流程的动... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
基于着色Petri网的混合工作流建模及合理性分析
收藏
分享
引用
信息工程大学学报 2015年 第2期16卷 218-224页
作者： 单继城 黄光奇 王德鑫 刘青宝 国防科技大学信息系统工程重点实验室 湖南长沙410073 广州军区空军指挥自动化站 广东广州510072
bpel描述的服务组合流程,没有充分考虑人的参与和人员活动对流程的影响,且不能保证服务组合流程设计在应用中的正确性。为了描述服务化系统中的混合工作流程,首先介绍支持人员参与的bpel4people规范,然后提出了基于着色Petri网的混合工... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件