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

来源 :计算机科学 | 被引量 : 0次 | 上传用户:perfew
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键。统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以对移动应用监测平台进行建模分析,但在其过程描述中缺乏严格的语义。Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并具有图形方法的直观性和逻辑方法的概括性。通过将基于UML消息顺序图和Petri网的建模方法应
其他文献
本文提出的BT-1新型凝聚剂印花染色废水中溶解性有机物和色度去除率高,其效果和药剂成本明显优于聚合铁的碱式氯化铝,且对含PVA的退浆煮练废水去除COD有较好效果。
本文就冷轧堆前处理工艺在毛巾织物中的应用进行试验和讨论,优选了最佳工艺和处方用量,摸索出一套适宜的加工工艺。
随着园网印花的发展,尤其是高目数园网的应用,对印花糊料提出了新的要求,我国目前使用的活性染料糊料海藻酸钠已不能满足高目数园网印花的要求,本文通过对新型糊料-海藻酸酯的流变
开发绿色纺织品是染整加工者今后长期的主要内容,染料是加工中的关键。本文较详细地了染料和绿色纺织品的关系以及染料中各有害物质,包括致癌芳香胺,重点金属和过敏性反应物等的
本文简要分析了涤腈奥涤呢的供需近况,着重介绍该织物采用分散/阳离子染料同浴一步法染色技术。同时,综述了工艺效益,提供了大量生产实例和试验数据。
本文重点介绍了增深剂DW-301增深的原理,并通过小样对纯棉灯芯绒进行了有关增深工艺条件等多方面试验。实践证明,纤维素纤维经增深处理后染色性深色是切实可行的,并有显著经济效益。
在分析了现有的Petri网与安全性结合的方法的缺陷后,提出了一种基于随机时间Petri网(stochastic Time Petri Nets,sTPN)的系统安全性分析方法,利用sTPN建立的系统模型不局限于