Computer Science ›› 2016, Vol. 43 ›› Issue (11): 71-76.doi: 10.11896/j.issn.1002-137X.2016.11.013

Previous Articles     Next Articles

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

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   
No Suggested Reading articles found!