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

摘要

UML模型一般不能直接进行性能分析,需要利用模型转换的方法将其转换成其他分析模型,比如排队论、随机进程代数或者随机Petri网等模型.文章利用Eclipse平台上的Papyrus建立三种类型的UML模型(用例图,部署图和活动图)来对系统进行建模,并利用MARTE规范添加一些性能相关的信息,然后利用ATL实现UML模型到广义随机Petri网(GSPN)模型的转换,并使用XStream将上一步得到的GSPN模型转换成分析工具所支持的格式,最后利用基于GSPN的性能分析方法进行系统性能分析.文章同时给出了一系列性能指标的计算方法,如利用率、吞吐量、平均等待请求的数目以及响应时间等,可以考察系统性能的多个方面,方便系统设计和开发人员对系统性能进行分析和优化.