计算机科学 ›› 2016, Vol. 43 ›› Issue (11): 71-76.doi: 10.11896/j.issn.1002-137X.2016.11.013

• 2015 第十五届全国Petri 网理论与应用学术会议 • 上一篇    下一篇

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

纪建伟,陈昕,黄浩军   

  1. 北京信息科技大学计算机学院 北京100101,北京信息科技大学计算机学院 北京100101,武汉大学电子信息学院 武汉430072;清华大学信息技术研究院 北京100084
  • 出版日期:2018-12-01 发布日期:2018-12-01
  • 基金资助:
    本文受国家973项目(2011CB302601),国家自然科学基金(61370065,61502040,61402343,61170290,61222213),国家科技支撑计划(2015BAK12B03-03)资助

Analysis of Mobile Application Monitoring Platform Based on Message Sequence Diagram and Petri Net

JI Jian-wei, CHEN Xin and HUANG Hao-jun   

  • Online:2018-12-01 Published:2018-12-01

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

关键词: 移动应用,监测平台,消息顺序图,Petri网

Abstract: With the rapid development of mobile Internet,the number of mobile applications presents the explosive eruption,and the real-time and effective monitoring and analysis for the performance,failure and short board of mobile applications is the key to ensure the normal operation of system.Unified Modeling Language(UML),as a powerful object-oriented graphics modeling tool,can be applied for modeling analysis of mobile monitoring platform.However,its process description lacks the strict semantics.As a discrete event dynamic system modeling and analysis method,Petri network has the direct and logical method of graphics method,and it provides an effective method to study the characteristics and performance of the system under the logic time.The modeling method based on UML message sequence dia-gram and Petri net is applied to the analysis of the process of mobile application monitoring platform.A message sequence diagram and Petri net model for the monitoring task of the user are constructed.The interactive relationship between the object of the platform and the time sequence is verified by using the message sequence diagram.The correctness and reachability of the model are analyzed by means of Petri net simplification rule and state equation.

Key words: Mobile application,Monitoring platform,Message sequence diagram,Petri net

[1] Cisco.Cisco Visual Networking Index:Global Mobile Data Traffic Forecast Update[R].2014-2019 White Paper,Mar 2015
[2] Enck,William,et al.TaintDroid:an information-flow trackingsystem for realtime privacy monitoring on smartphones[J].ACM Transactions on Computer Systems(TOCS),2014,32(2):5-20
[3] Ries,Christian L.Dafit——a new work flow oriented approach for time efficient data preparation,validation and flagging of time series data from environmental monitoring[C]∥Proceedings of the 27th Conference on Environment Informatics-Informatics for Environ.2013:651-656
[4] Thomas C,Gerhard K,Andrew L,et al.SAP R/3 business blueprint:understanding the business process reference model[M].Prentice-Hall,Inc.,1997
[5] Fang Jin,Wang Tie-cheng,Shi Zhi-kuan,et al.UML workflowmodel[J].Computer Engineering and Design,2004,5(9):1572-1575(in Chinese) 方进,王铁成,石志宽,等.基于 UML 的工作流建模[J].计算机工程与设计,2004,25(9):1572-1575
[6] Mike P,Bouguettaya D A,Mostafa A H,et al.Class library support for workflow environments and applications[J].IEEE Transactions on Computers,1997,46(6):673-686
[7] Aalst V,Wil M P.Structural characterizations of sound workflow nets[M].Eindhoven University of Technology,Department of Mathematics and Computing Science,1996
[8] Alur R,Holzmann G J,Peled D.An analyzer for message se-quence charts[C]∥International Workshop on Tools and Algorithms for the Construction and Analysis of Systems.Springer Berlin Heidelberg,1996:35-48
[9] Yang Nian-hua,Yu Hui-qun,Sun Hua,et al.Modeling UML sequence diagrams using extended Petri nets[J].Telecommunication Systems,2012,51(2/3):147-158
[10] Bo Jiang,Xiang Long,Gao Xiao-peng.Mobiletest:A tool sup-porting automatic black box test for software on smart mobile devices[C]∥Proceedings of the Second International Workshop on Automation of Software Test.IEEE Computer Society,2007:8-15
[11] Stratos I,Olga P,Surajit C.Overview of Data Exploration Techniques[C]∥Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data.ACM,2015:277-281
[12] Krishna K V,Arun K K,Kaladhar V,et al.Implementation and evaluation of scalable data structure over HBase[C]∥Procee-dings of the International Conference on Advances in Computing,Communications and Informatics.ACM,2012:1010-1018
[13] Li Jing-feng,Li Yan,Chen Ping.Formal description of the UML sequence diagram[J].Computer Science,2002,9(6):147-148(in Chinese) 李景峰,李琰,陈平.UML 顺序图的形式化描述[J].计算机科学,2002,29(6):147-148
[14] Wu Zhe-hui.Petri nets introduction[M].DynoMedia Inc.,2006(in Chinese) 吴哲辉.Petri 网导论[M].DynoMedia Inc.,2006
[15] Coalition,Manage W.Terminology glossary[M]∥Medicina Sporta.2006:513-524
[16] Murata,Tadao.Petri nets:Properties,analysis and applications[J].Proceedings of the IEEE,1989,77(4):541-580
[17] Yi Xiao-sheng,Jiang Hao.Time petri nets equivalent conversion workflow evaluation[J].Computer Engineering and Design,2006,7(20):3916-3919(in Chinese) 衣晓升,姜浩.时间Petri网等效变换的工作流评价[J].计算机工程与设计,2006,27(20):3916-3919

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75, 88 .
[2] 夏庆勋,庄毅. 一种基于局部性原理的远程验证机制[J]. 计算机科学, 2018, 45(4): 148 -151, 162 .
[3] 厉柏伸,李领治,孙涌,朱艳琴. 基于伪梯度提升决策树的内网防御算法[J]. 计算机科学, 2018, 45(4): 157 -162 .
[4] 王欢,张云峰,张艳. 一种基于CFDs规则的修复序列快速判定方法[J]. 计算机科学, 2018, 45(3): 311 -316 .
[5] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 .
[6] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 .
[7] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 .
[8] 刘琴. 计算机取证过程中基于约束的数据质量问题研究[J]. 计算机科学, 2018, 45(4): 169 -172 .
[9] 钟菲,杨斌. 基于主成分分析网络的车牌检测方法[J]. 计算机科学, 2018, 45(3): 268 -273 .
[10] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99, 116 .