Web服务组合的时间颜色Petri网模型及其在交通信息服务系统建模中应用

摘要

Web服务是一种按标准语言描述并通过网络发布、可供发现和调用的软件模块，具有平台独立、可重用、松散耦合、自描述的特点。利用Web服务组合可以快速满足业务需求，并能灵活适应需求的变化。本文在Web服务组合建模及分析方面做了如下研究：
　　 （1）给出了一个基于时间颜色Petri网的Web服务组合描述模型WSC-HTCPN，模型支持Web服务组合中参数、组合结构、调用Web服务延时的描述，能够较全面的描述Web服务组合，并且支持Web服务组合的层次化设计。
　　 （2）在WSC HTCPN模型基础之上，定义了描述Web服务组合中Web服务间依赖关系的逻辑网，并给出逻辑网正确性分析验证方法，确保Web服务组合的逻辑正确性。
　　 （3）在确保Web服务组合逻辑正确性前提下，给出了WSC HTCPN模型动态运行规则，实现了Web服务组合流程的运行仿真。通过设定变迁引发的延时，可获得仿真运行中流程的一些时间值，根据实际应用需求可对Web服务组合流程的性能特性进行分析预测。在文章最后通过交通信息服务系统中点播服务流程的建模与分析示例了本文所提模型的实用性。

目录

文摘

英文文摘

图目录

表目录

第一章 绪论

1.1 研究背景

1.2 本文工作

1.3 论文组织

第二章 WEB服务及组合介绍

2.1 WEB服务

2.1.1 Web服务体系结构

2.1.2 Web服务协议栈

2.2 WEB服务组合

2.2.1 基于流程描述的Web服务组合

2.2.2 模型驱动的Web服务组合

2.2.3 基AⅠ规划的Web服务组合

2.2.4 Web服务组合系统

2.3 模型驱动WEB服务组合研究分析

第三章 Web服务组合的时间颜色Petir网模型

3.1 PETRI网

3.2 层次颜色PETRI网

3.3 WEB服务组合的时间颜色PETRI网模型

3.3.1 模型定义

3.3.2 Web服务组合的模型表示

3.3 交通信息服务系统建模实例

3.3.1 交通信息服务系统概述

3.3.2 交通信息服务系统分层建模

3.4 基于时间颜色PETRI网的WEB服务组合模型特点

第四章 WEB服务组合的时间颜色PETRI网模型分析

4.1 WEB服务组合逻辑正确性分析

4.2 WEB服务组合公平性分析

4.3 WEB服务组合流程实例仿真运行

4.3.1 模型实例设定

4.3.2 模型实例仿真运行

4.4 WEB服务组合的性能分析

4.5 交通信息服务系统模型分析

4.5.1 交通信息服务系统分层模型的分析

4.5.2 TIS点播服务的性能分析

第五章 总结及展望

5.1 总结

5.2 展望

致谢

作者简介

参考文献