基于BPEL4WS和Petri网的服务建模与分析

摘要：

描述了SOA中基于BPEL4WS(BusinessProcessExecutionLanguageforWebServices)和Petri网的服务建模与分析方法,提出了将基于BPEL4WS的业务流程建模转化为Petri网模型的方法,并在此基础上结合实例,对所得的Petri网模型进行分析,从而验证服务模型的安全性、死锁,循环等方面是否符合要求。

关键词： SOA BPEL4WS Petri网模型 验证 服务建模 死锁

作者: 王艳春 林广艳

作者单位: 北京航空航天大学计算机学院,北京,100083

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 93-95

在线出版日期: 2005-10-01（万方平台首次上网日期，不代表论文的发表时间）