您的位置： 专家智库 > >

徐春香

作品数：6 被引量：1H指数：1
供职机构：教育部更多>>
发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇会议论文
  • 2篇期刊文章

领域

  • 6篇自动化与计算...

主题

  • 3篇WEB服务
  • 2篇同步网
  • 2篇WEB服务组...
  • 1篇语义
  • 1篇模型分析
  • 1篇建模方法
  • 1篇工作流
  • 1篇工作流过程
  • 1篇WORKFL...
  • 1篇WS-BPE...
  • 1篇BPEL
  • 1篇IC
  • 1篇PETRI网
  • 1篇REDUCT...
  • 1篇RULE

机构

  • 6篇北京大学
  • 3篇教育部

作者

  • 6篇徐春香
  • 4篇王捍贫
  • 4篇屈婉玲
  • 3篇黄雨
  • 2篇袁崇义
  • 1篇朱梅霞
  • 1篇霍金健

传媒

  • 1篇北京大学学报...
  • 1篇系统仿真学报
  • 1篇第十一届全国...

年份

  • 1篇2010
  • 2篇2007
  • 3篇2006
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
工作流过程的Petri网建模方法
＜正＞1 引言工作流技术大量地应用在业务过程的管理中, 它具有高效性、可动态分析等优点。许多研究人员展开了对工作流各方向的研究,最具有代表性的是
黄雨徐春香王捍贫
文献传递
死路删除语义下的WS-BPEL流程的建模
2010年
提出一种新的模型——DPE网,用于描述死路删除语义下的WS-BPEL流程。DPE网中引入了颜色集CTRL和STAT以表示活动执行的状态和并发活动内链接的状态。这在一定程度上降低了模型的规模,从而得到更为直观的模型。基于DPE网,不仅描述了WS-BPEL流程的基本控制流,包括基本活动和各种结构化活动,而且描述了WS-BPEL流程的死路删除语义和较完整的link语义,包括join condition和transition condition。最后,通过一个实例说明了使用DPE网建模WS-BPEL流程,有助于得到更为准确的分析结果。
徐春香屈婉玲王捍贫朱梅霞
关键词：WEB服务
基于同步网的BPEL建模和验证被引量：1
2007年
Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business Process Execution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。
徐春香屈婉玲王捍贫黄雨袁崇义
关键词：WEB服务组合BPEL同步网
基于同步网的BPEL建模和验证
Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business ProcessExecution Language)是一种描述Web服务组合的语言。为了保证BP...
徐春香屈婉玲王捍贫黄雨袁崇义
关键词：WEB服务组合同步网
文献传递
工作流逻辑模型分析
＜正＞1 引言工作流过程模型是对业务过程进行描述和规范的模型。在过程模型部署到工作流管理系统之前, 对过程模型的正确定义、分析、验证和细化是至关重要的。
徐春香黄雨王捍贫
文献传递
SimNet——一种新型的工作流仿真模型
＜正＞1 引言在工作流模型分析方面的研究已经取得了一定的成果。文[1]中指出了工作流模型分析的不同方式,并把工作流模型的分析方法基本上分为三种类型:确认（Validation）、验证（Verification）、性能分析
霍金健徐春香屈婉玲袁崇义
关键词：WORKFLOW
文献传递
全选 清除 导出
共1页<1>
聚类工具0