首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  完全免费   1篇
  自动化技术   2篇
  2011年   1篇
  2010年   1篇
排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
BPEL 流程建模中的交叠模式分析与转换   总被引:1,自引:0,他引:1       下载免费PDF全文
张曼  段振华  王小兵 《软件学报》2011,22(11):2684-2697
由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法.  相似文献
2.
针对RP(rapid prototyping)企业信息软件系统开发中存在的系统异构性,结合RP企业内的工艺流程特点,利用商业流程建模语言(business process execution language,BPEL)从服务注册中心选择企业内部或联盟企业提供的工艺服务进行编排,并将BPEL引擎作为系统的服务端为客户端提供组合服务.实验系统利用同步调用松散耦合的工艺服务代替了BPEL流程中常用的无状态异步调用,并支持实时的状态查询功能.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号