基于消息顺序图和Petri网的移动应用监测平台建模分析

• 作者: 纪建伟 陈昕 黄浩军
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 移动应用 监测平台 消息顺序图 Petri网
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 2015第十五届全国Petri网理论与应用学术会议
• 页码范围: 71-76
• 页数: 6页
• 分类号: TP391.9
• 字数: 5287字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.11.013

摘要

随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键.统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以对移动应用监测平台进行建模分析,但在其过程描述中缺乏严格的语义.Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并具有图形方法的直观性和逻辑方法的概括性.通过将基于UML消息顺序图和Petri网的建模方法应用到移动应用监测平台的分析过程中,针对用户下发的监测任务构建系统的消息顺序图和Petri网模型,利用消息顺序图对平台各对象之间在时间顺序上的交互关系进行了验证,并利用Petri网化简规则和状态方程对该模型进行了结构上的正确性验证和可这性分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈昕	北京信息科技大学计算机学院	65	329	9.0	16.0
2	黄浩军	武汉大学电子信息学院	2	29	2.0	2.0
4	纪建伟	北京信息科技大学计算机学院	1	3	1.0	1.0