基于扩展Petri网的动态服务聚合流程描述模型及其BPEL4WS表示方法
刘书雷 唐桂芬 刘云翔 陈荦 景宁
国防科技大学电子科学与工程学院,湖南长沙410073
摘 要:
针对现有服务聚合流程建模方法的不足,基于扩展Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了动态服务聚合流程模型中不确定路径选择和服务的动态变化性问题。给出了WSCP/R-net模型向BPEL4WS的转换算法,并以城市应急处理为例说明了转换算法的有效性。
学科分类:
TP301[工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 一般性问题 > 理论、方法]
相关期刊
关注本文的人:
看过本文的人还看过:
cqvip.com