计算机科学 ›› 2016, Vol. 43 ›› Issue (11): 71-76.doi: 10.11896/j.issn.1002-137X.2016.11.013
• 2015 第十五届全国Petri 网理论与应用学术会议 • 上一篇 下一篇
纪建伟,陈昕,黄浩军
JI Jian-wei, CHEN Xin and HUANG Hao-jun
摘要： 随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键。统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以对移动应用监测平台进行建模分析,但在其过程描述中缺乏严格的语义。Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并具有图形方法的直观性和逻辑方法的概括性。通过将基于UML消息顺序图和Petri网的建模方法应用到移动应用监测平台的分析过程中,针对用户下发的监测任务构建系统的消息顺序图和Petri网模型,利用消息顺序图对平台各对象之间在时间顺序上的交互关系进行了验证,并利用Petri网化简规则和状态方程对该模型进行了结构上的正确性验证和可达性分析。
| [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! |
|
||
首页