基于BPEL4WS和Petri网的服务建模与分析研究.pdfVIP

  • 3
  • 0
  • 约1.6万字
  • 约 3页
  • 2018-01-03 发布于广东
  • 举报

基于BPEL4WS和Petri网的服务建模与分析研究.pdf

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

文档评论(0)

1亿VIP精品文档

相关文档