从UML到GSPN的转换和性能分析方法

来源 :计算机科学 | 被引量 : 0次 | 上传用户:bppczj
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
UML模型一般不能直接进行性能分析,需要利用模型转换的方法将其转换成其他分析模型,比如排队论、随机进程代数或者随机Petri网等模型。利用Eclipse平台上的Papyrus建立3种类型的UML模型(用例图、部署图和活动图)来对系统进行建模,并利用MARTE规范添加一些性能相关的信息;然后利用ATL实现UML模型到广义随机Petri网(GSPN)模型的转换,并使用XStream将上一步得到的GSPN模型转换成分析工具所支持的格式;最后利用基于GSPN的性能分析方法进行系统性能分析。同时给出了一系列性能指标
其他文献
随着硬件功能的不断丰富和软件开发环境的逐渐成熟,GPU开始被应用于通用计算领域,协助CPU加速程序运行。为了追求高性能,GPU往往包含成百上千个核心运算单元,高密度的计算资
介绍了水利部"948"重点项目"三河闸计算机测控系统"的结构、运行环境、主要特点和应用情况.文中就如何结合国内大型水闸监控系统的特点,研究解决大型水闸定流量群控技术、远
BPMN(Business Process Modeling Notation)作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确性是影响软件开发质量的关键。鉴于BPMN模型
业务流程建模问题一直是业务流程管理的核心问题,其目的是为了灵活地适应变化的商务需求,但在建模过程中也会出现一系列的问题,有些模型之间甚至存在着相同的问题,因此会出现
充分条件的求解是模差分攻击的重要步骤之一。将充分条件的求解转化为F_2上线性方程组的构造过程,利用线性方程组解的判定定理判断每步所求得充分条件的正确性,提出了针对SHA
针对维吾尔语文本的分类问题,提出一种基于TextRank算法和互信息相似度的维吾尔文关键词提取及文本分类方法。首先,对输入文本进行预处理,滤除非维吾尔语的字符和停用词;然后,利用
随着大数据时代的到来,网络上产生了大量非结构化文本数据流,这些文本数据流具有动态、高维、稀疏等特征。针对这些特点,首先将传统的AP算法及流式文本数据特征相结合,然后提
Cassandra数据库是当前通用的数据库之一,同时也被Apache列为重点发展的顶级项目。针对Cassandra分布式数据库系统而言,大量的写请求会造成过多分散的SStable结构以及过高的
基于关键词匹配的信息搜索技术日渐成熟,人们期待搜索引擎更加智能,能够根据模糊需求启发用户找到正确的信息,探索式搜索由此出现。已有依据关键词之间的语义关联进行搜索推
研究了影响印花胶毯寿命的主要因素的措施,并提出突发性损坏的应急处理方法。