| 基于BPEL4WS和Petri网的服务建模与分析 |
| |
| 引用本文： | 王艳春,林广艳.基于BPEL4WS和Petri网的服务建模与分析[J].系统仿真学报,2005,17(Z1):93-95. |
| |
| 作者姓名： | 王艳春 林广艳 |
| |
| 作者单位： | 北京航空航天大学计算机学院,北京,100083 |
| |
| 摘 要： | 描述了SOA中基于BPEL4WS (Business Process Execution Language for Web Services)和Petri网的服务建模与分析方法,提出了将基于BPEL4WS的业务流程建模转化为Petri网模型的方法,并在此基础上结合实例,对所得的Petri网模型进行分析,从而验证服务模型的安全性、死锁,循环等方面是否符合要求.
|
| 关 键 词： | SOA BPEL4WS Petri网 建模 验证 |
| 文章编号： | 1004-731X(2005)S-93-03 |
| 修稿时间： | 2005年8月9日 |
Service Modeling and Analysis based on BPEL4WS and Petri Net |
| |
| WANG Yan-chun,LIN Guang-yan.Service Modeling and Analysis based on BPEL4WS and Petri Net[J].Journal of System Simulation,2005,17(Z1):93-95. |
| |
| Authors: | WANG Yan-chun LIN Guang-yan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
