基于TCPN网模型的Web组合服务动态行为的性能分析.pdfVIP

基于TCPN 网模型的Web组合服务动态行为的性能 分析 1 1 2 3 周 航 , 邵荃 , 祝 义 , 刘淋源 1(南京航空航天大学 民航学院, 江苏 南京 210006) 2 (江苏师范大学 计算机科学与技术学院, 江苏 徐州 221116) 3 (南京审计学院 计算机科学与技术学院, 江苏 南京 210000) 摘要：目前有色Petri 网在Web 组合服务的建模和验证方面有了广泛的应用。但由于缺乏时间信息而无法对组合服务 的性能进行分析。本文在Petri 网研究的基础上，对有色Petri 网扩展了时间信息，定义了时间有色Petri 网——TCPN 网。 给出了基于有色 Petri 网的有色性对 Web 服务的多态性建模方法，进而可以满足对 Web 服务多态性的建模需求；给出了 Web 组合 4 种控制结构的基于时间有色 Petri 网的形式化建模方法及相应结构的时间区间计算公式；最后，通过实例来证 明使用TCPN 网对Web 组合服务进行形式化建模及性能分析是可行。 关键词：Web 服务，Petri 网，多态性，动态，性能 Performance Analysis of Web Service Composition Dynamic Behaviors Based on TCPN Nets 1 1 2 3 Zhou Hang , Shao Quan , Zhu Yi , Liu Linyuan 1(College of Civil Aviation, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China) 2 (School of Computer Science and Technology, Jiangsu Normal University, Xuzhou 221116, China) 3 (School of Computer Science and Technology, Nanjing Audit University, Nanjing 210000, China) Abstract At present, Coloured Colored Petri nets has been used for Web service compositions modeling and verification. For Colored Petri nets could not decrypting time, it could not be used to analyze the performance of Web Service Compositions. Coloured Petri nets extended with time information—Time coloured Petri Nets (TCPNs) was proposed. Based on TCPNs, an approach was proposed to model Web service polymorphism behaviors. An algorithm was given to model four Control structures of Web Service Composition and calculate time ranges of Web composition services. Th