论文摘要
WAP事务协议(WTP)作为WAP协议体系结构中的一个重要部分,向会话层提供基于请求响应的分布式事务服务。由于WAP论坛将WAP协议规范以自然语言的形式发布,这样的好处是可读性好,便于直观上去理解。但是,要保证协议实现的一致、完整和正确就必须使用一种形式化的工具进行描述和验证,这样才能避免自然语言的二义性导致实现上的不一致。Petri网作为一种图形化的数学建模工具,特别适合于描述具有并发的、实时的、非确定性为特征的分布式离散系统,有很多针对模型的分析方法来确定模型是否存在死锁、并发冲突和资源竞争等特征。有色Petri网作为一种高级网,在基本网的基础上拓展了库所和变迁的表达能力,从而可以简化网模型的结构。本文首先对事务协议做了详细的分析,在此基础上利用有色Petri网建模技术对事务处理过程中协议实体的状态变化做了协议建模。并利用有色Petri网仿真工具CPN tools对协议模型进行仿真分析,分析模型在给定的初始参数下,是否存在死锁、活锁以及否满足有界性要求等,进而判断初始参数对协议模型状态空间的影响。
论文目录
相关论文文献
- [1].计算机知识在数学建模中的应用探讨[J]. 科技风 2020(28)
- [2].数学建模在概率论与数理统计教学中的应用[J]. 高等数学研究 2019(01)
- [3].《人物卡通设定》建模[J]. 中国民族博览 2019(03)
- [4].《人物卡通设定》[J]. 大众文艺 2019(06)
- [5].《大海》[J]. 大众文艺 2019(06)
- [6].浅谈中学生数学建模核心素养的培养[J]. 中外企业家 2019(13)
- [7].数学建模的思想及其应用[J]. 农家参谋 2019(15)
- [8].浅谈数学建模的社会意义[J]. 中国高新区 2018(06)
- [9].数学建模过程中计算机的应用探究[J]. 山东工业技术 2018(12)
- [10].素质教育下的数学建模在生活中的应用及展望[J]. 广东蚕业 2018(06)
- [11].浅谈数学建模[J]. 科技风 2017(01)
- [12].基于虚拟样机技术的机械产品设计及建模方法分析[J]. 现代制造技术与装备 2016(11)
- [13].肖像建模[J]. 艺术评论 2017(01)
- [14].数学建模的培训与发展[J]. 电子制作 2015(10)
- [15].如何促进教师与学生在建模水平上的共同进步[J]. 电子制作 2015(12)
- [16].“缩水”的数学建模课[J]. 中学数学 2020(09)
- [17].亲历建模过程,探索建模路径——以《鸽巢问题》的教学为例[J]. 福建教育 2019(01)
- [18].刍议数学建模在高中数学学习中的作用[J]. 高考 2019(02)
- [19].浅谈高中数学建模的必要性[J]. 中学生数理化(学习研究) 2019(01)
- [20].浅谈高中数学建模的生活化[J]. 中学生数理化(教与学) 2019(02)
- [21].浅谈小学数学建模中的几个问题[J]. 山东教育 2019(07)
- [22].高中数学建模中优化问题的建模分析[J]. 高考 2019(27)
- [23].小学数学教学中的数学建模[J]. 数学大世界(上旬) 2019(07)
- [24].试论“数学建模”素养形成和发展的基本途径[J]. 福建中学数学 2018(08)
- [25].关于高中数学建模的探索[J]. 当代教研论丛 2018(08)
- [26].培养建模意识,提升学生数学知识的应用能力[J]. 中学数学 2018(22)
- [27].培养建模意识,提升学生数学知识的应用能力[J]. 中学数学 2019(06)
- [28].从一道调研题谈数学建模素养的培育[J]. 江苏教育 2019(27)
- [29].培养学生数学建模意识[J]. 课程教育研究 2013(03)
- [30].浅谈培养学生数学建模核心素养的策略[J]. 中学数学教学参考 2018(09)