| 基于消息顺序图和Petri网的移动应用监测平台建模分析 |
| |
| 引用本文： | 纪建伟,陈昕,黄浩军.基于消息顺序图和Petri网的移动应用监测平台建模分析[J].计算机科学,2016,43(11):71-76. |
| |
| 作者姓名： | 纪建伟 陈昕 黄浩军 |
| |
| 作者单位： | 北京信息科技大学计算机学院 北京100101,北京信息科技大学计算机学院 北京100101,武汉大学电子信息学院 武汉430072;清华大学信息技术研究院 北京100084 |
| |
| 基金项目： | 本文受国家973项目(2011CB302601),国家自然科学基金(61370065,61502040,61402343,61170290,61222213),国家科技支撑计划(2015BAK12B03-03)资助 |
| |
| 摘 要： | 随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键。统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以对移动应用监测平台进行建模分析,但在其过程描述中缺乏严格的语义。Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并具有图形方法的直观性和逻辑方法的概括性。通过将基于UML消息顺序图和Petri网的建模方法应用到移动应用监测平台的分析过程中,针对用户下发的监测任务构建系统的消息顺序图和Petri网模型,利用消息顺序图对平台各对象之间在时间顺序上的交互关系进行了验证,并利用Petri网化简规则和状态方程对该模型进行了结构上的正确性验证和可达性分析。
|
| 关 键 词： | 移动应用 监测平台 消息顺序图 Petri网 |
| 收稿时间： | 2015/8/11 0:00:00 |
| 修稿时间： | 3/3/2016 12:00:00 AM |
Analysis of Mobile Application Monitoring Platform Based on Message Sequence Diagram and Petri Net |
| |
| JI Jian-wei,CHEN Xin and HUANG Hao-jun.Analysis of Mobile Application Monitoring Platform Based on Message Sequence Diagram and Petri Net[J].Computer Science,2016,43(11):71-76. |
| |
| Authors: | JI Jian-wei CHEN Xin and HUANG Hao-jun |
| |
| Affiliation: | School of Computer,Beijing Information Science and Technology University,Beijing 100101,China,School of Computer,Beijing Information Science and Technology University,Beijing 100101,China and School of Electronic Information,Wuhan University,Wuhan 430072,China;Research Institute of Information Technology,Tsinghua University,Beijing 100084,China |
| |
| Abstract: | |
| |
| Keywords: | Mobile application Monitoring platform Message sequence diagram Petri net |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
