首页> 中文会议>第十一届全国软件与应用学术会议(NASAC2012) >基于TCPN网模型的Web组合服务动态行为的性能分析

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

摘要

目前有色Petri网在Web组合服务的建模和验证方面有了广泛的应用.但由于缺乏时间信息而无法对组合服务的性能进行分析.本文在Petri网研究的基础上,对有色Petri网扩展了时间信息,定义了时间有色Petri网——TCPN网.给出了基于有色Petri网的有色性对Web服务的多态性建模方法,进而可以满足对Web服务多态性的建模需求;给出了Web组合4种控制结构的基于时间有色Petri网的形式化建模方法及相应结构的时间区间计算公式;最后,通过实例来证明使用TCPN网对Web组合服务进行形式化建模及性能分析是可行.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号