徐春香

作品数：2被引量：0H指数：0
导出分析报告
供职机构：教育部更多>>
发文主题：WEB服务组合同步网BPELICWS-BPEL更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《北京大学学报（自然科学版）》《系统仿真学报》更多>>
所获基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
死路删除语义下的WS-BPEL流程的建模
《北京大学学报（自然科学版）》2010年第2期162-170,共9页徐春香 屈婉玲 王捍贫 朱梅霞 
国家重点基础研究发展计划项目(2009CB320701);国家自然科学基金(60873061)资助
提出一种新的模型——DPE网,用于描述死路删除语义下的WS-BPEL流程。DPE网中引入了颜色集CTRL和STAT以表示活动执行的状态和并发活动内链接的状态。这在一定程度上降低了模型的规模,从而得到更为直观的模型。基于DPE网,不仅描述了WS-BPE...
关键词：WEB服务 死路删除 建模 DPE网 
基于同步网的BPEL建模和验证
《系统仿真学报》2007年第A01期97-100,共4页徐春香 屈婉玲 王捍贫 黄雨 袁崇义 
973项目(2002CB312004);863项目(2006AA01Z160)。
Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business Process Execution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验...
关键词：WEB服务组合 BPEL 建模 验证 同步网 WSL_net 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部