Abstract only: modular performance modelling for mobile applications
Abstract only: modular performance modelling for mobile applications
复制标题
仅摘要：移动应用程序的模块化性能建模
DOI：
10.1145/1958746.1958793
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
S. Gilmore
中科院分区：
文献类型：
--
作者：
N. Arijo;R. Heckel;M. Tribastone;S. Gilmore
我们提出了一种基于模型的方法，用于分析移动应用程序的性能，其中物理移动性和状态变化是通过图形转换对其进行建模的，该模型在该绩效评估过程中的模型代数（PEPA）得出。为了解决国家空间生成的可伸缩性问题，我们采用了模块化解决方案，将图形转换系统分解为视图，为标记的过渡系统（LTS）分别生成，然后在PEPA中同步。我们证明，这种模块化分析的结果等效于整体方法的结果，并通过案例研究评估实用性和可扩展性。
We propose a model-based approach to analysing the performance of mobile applications where physical mobility and state changes are modelled by graph transformations from which a model in the Performance Evaluation Process Algebra (PEPA) is derived. To fight scalability problems with state space generation we adopt a modular solution where the graph transformation system is decomposed into views, for which labelled transition systems (LTS) are generated separately and later synchronised in PEPA. We demonstrate that the result of this modular analysis is equivalent to that of the monolithic approach and evaluate practicality and scalability by means of a case study.