摘要
随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键。统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以对移动应用监测平台进行建模分析,但在其过程描述中缺乏严格的语义。Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并具有图形方法的直观性和逻辑方法的概括性。通过将基于UML消息顺序图和Petri网的建模方法应用到移动应用监测平台的分析过程中,针对用户下发的监测任务构建系统的消息顺序图和Petri网模型,利用消息顺序图对平台各对象之间在时间顺序上的交互关系进行了验证,并利用Petri网化简规则和状态方程对该模型进行了结构上的正确性验证和可达性分析。
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 diagram 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.
出处
《计算机科学》
CSCD
北大核心
2016年第11期71-76,共6页
Computer Science
基金
国家973项目(2011CB302601)
国家自然科学基金(61370065
61502040
61402343
61170290
61222213)
国家科技支撑计划(2015BAK12B03-03)资助
关键词
移动应用
监测平台
消息顺序图
PETRI网
Mobile application
Monitoring platform
Message sequence diagram
Petri net
