WAP事务层协议的有色PETRI网建模与分析

摘要

WAP事务协议(WTP)作为WAP协议体系结构中的一个重要部分，向会话层提供基于请求响应的分布式事务服务。由于WAP论坛将WAP协议规范以自然语言的形式发布，这样的好处是可读性好，便于直观上去理解。但是，要保证协议实现的一致、完整和正确就必须使用一种形式化的工具进行描述和验证，这样才能避免自然语言的二义性导致实现上的不一致。 Petri网作为一种图形化的数学建模工具，特别适合于描述具有并发的、实时的、非确定性为特征的分布式离散系统，有很多针对模型的分析方法来确定模型是否存在死锁、并发冲突和资源竞争等特征。有色Petri网作为一种高级网，在基本网的基础上拓展了库所和变迁的表达能力，从而可以简化网模型的结构。 本文首先对事务协议做了详细的分析，在此基础上利用有色Petri网建模技术对事务处理过程中协议实体的状态变化做了协议建模。并利用有色Petri网仿真工具CPN tools对协议模型进行仿真分析，分析模型在给定的初始参数下，是否存在死锁、活锁以及否满足有界性要求等，进而判断初始参数对协议模型状态空间的影响。

目录

文摘

英文文摘

第一章绪论

1.1引言

1.1.1问题的提出

1.1.2研究现状

1.1.3本文所作工作

1.2本文的结构安排

第二章WAP事务层协议简介

2.1 WAP协议简介

2.1.1 WAP应用模型

2.1.2 WAP协议栈结构

2.2 WTP层协议

2.2.1协议环境分析

2.2.2层间通信元素

2.2.3协议单元结构

2.2.4协议事务类型

2.2.5协议特征

2.2.6协议状态转换

第三章有色Petri网建模技术

3.1 Petri网概述

3.1.1 Petri网的基本概念

3.1.2 Petri网的直观理解

3.2有色Petri网理论

3.2.1多重集概念

3.2.2有色Petri网定义

3.2.3有色Petri网的特征

3.2.4有色Petri网的运行规则

3.2.5有色Petri网的动态分析方法

3.3 CPN tools建模工具简介

3.3.1 CPN tools的特点

3.3.2 CPN tools仿真工具简介

3.3.3 CPN tools的体系结构

第四章事务处理层的Petri网建模分析

4.1建模过程分析

4.1.1建模假设

4.1.2模型结构

4.2协议CPN模型

4.2.1数据类型、全局变最和函数定义

4.2.2发起实体空状态（i-null）页

4.2.3发起实体等待结果状态（i-result-wait）页

4.2.4发起实体等待结果响应状态（i-result-resp-wait）页

4.2.5发起实体等待超时状态(i-wait-timeout)页

4.2.6响应实体侦听状态(r-listen)页

4.2.7响应实体TIDOK验证等待状态(r-tidok-wait)页

4.2.8响应实体调用响应等待状态(r-invoke-resp-wait)页

4.2.9响应实体等待结果状态(r-result-wait)页

4.2.10响应实体等待结果响应状态(r-result-resp-wait)页

4.2.11网络通道（channel)页

第五章仿真结果分析和结论与展望

5.1仿真结果分析

5.2总结与展望

参考文献

致 谢