基于时间Petri网的服务组合建模及分析
服务组合是构建复杂Web软件的有效方法,但网络的不稳定性使得服务组合的响应时间难以得到保证。为此,提出了一种基于时间Petri网的服务组合模型SCTPN,该模型能精确描述Web服务的语义。通过时间Petri网的状态类图技术,建立了Web服务及其组合的正确性分析方法,并计算了组合服务可调度性,最后,通过实例直观展示了服务组合系统的建模和分析的相关方法可行性。
Web服务 服务组合 时间Petri网 系统建模
范贵生 虞慧群 刘冬梅 陈丽琼
华东理工大学计算机科学与工程系 上海 200237
国内会议
广州
中文
584-588
2008-11-11（万方平台首次上网日期，不代表论文的发表时间）