- 3
- 0
- 约1.6万字
- 约 3页
- 2018-01-03 发布于广东
- 举报
Vol. 17 增刊 系 统 仿 真 学 报
Oct. 2005 JOURNAL OF SYSTEM SIMULATION 93
基于BPEL4WS 和Petri 网的服务建模与分析
王艳春 林广艳
北京航空航天大学计算机学院, 北京 100083
摘 要 描述了SOA 中基于BPEL4WS (Business Process Execution Language for Web Services)和
Petri 网的服务建模与分析方法 提出了将基于BPEL4WS 的业务流程建模转化为Petri 网模型的方
法 并在此基础上结合实例 对所得的Petri 网模型进行分析 从而验证服务模型的安全性 死锁
循环等方面是否符合要求
关键词 SOA BPEL4WS Petri
您可能关注的文档
- 地基深空站测距方法探讨研究.pdf
- 地基液化的三维有限元研讨.pdf
- 地壳深部探测的发展与展望研究.pdf
- 基于BiCMOS技术高速数字模拟转换器研讨.pdf
- 地壳形成和大陆漂移的一种解释研究.pdf
- 地幔流体化学组成与成烃研究.pdf
- 基于BIM的设计可视化技术在上海世博会德国馆中的应用研究.pdf
- 基于BIM的住宅设计实践研究.pdf
- 基于BIM技术的建筑信息模型设计研讨.pdf
- 基于Blackfin533的视频播放设计与实现研究.pdf
- 计量规程规范 JJF 2384-2026机动车GNSS测速仪校准规范.pdf
- 《JJF 2384-2026机动车GNSS测速仪校准规范》.pdf
- JJG 1189.2-2026测量用互感器检定规程 第2部分:标准电压互感器.pdf
- 计量规程规范 JJG 1189.2-2026测量用互感器检定规程 第2部分:标准电压互感器.pdf
- 《JJG 1189.2-2026测量用互感器检定规程 第2部分:标准电压互感器》.pdf
- JJG 1189.9-2026测量用互感器检定规程 第9部分:抗直流电流互感器.pdf
- 《JJG 1189.9-2026测量用互感器检定规程 第9部分:抗直流电流互感器》.pdf
- 计量规程规范 JJG 1189.9-2026测量用互感器检定规程 第9部分:抗直流电流互感器.pdf
- RB/T 233-2024建筑信息模型评价指南.pdf
- 中国行业标准 RB/T 233-2024建筑信息模型评价指南.pdf
原创力文档

文档评论(0)