Modelling Mobility with PEPA Nets

机译：使用PEPA网络建模移动性

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate between location-changing and state-changing operations in the system, and to quantify their computational expense for use in predictive performance analysis) is applied to the problem of modelling the canonical mobile code design paradigms which are in practical application today, as described in.

机译：我们解释了在记录移动代码和移动计算系统的高级设计时使用PEPA网络的情况。这种建模语言（允许建模者在系统中区分位置更改和状态更改操作，并量化其计算量以用于预测性能分析）被应用于对规范的移动代码设计范例进行建模的问题，如中所述，目前已在实际应用中。

著录项

来源
《International Symposium on Computer and Information Sciences(ISCIS 2004); 20041027-29; Kemer-Antalya(TR)》|2004年|P.513-522|共10页
会议地点 Kemer-Antalya(TR)
作者
Jane Hillston; Marina Ribaudo;
展开▼
作者单位

Laboratory for Foundations of Computer Science, The University of Edinburgh;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. 基于Bio-PEPA的云计算系统可生存性建模和分析 [J] . 赵国生, 任孟其, 王健, 东南大学学报（英文版） . 2018,第001期
2. A Case Study in Capacity Planning for PEPA Models with the PEPA Eclipse Plug-in [J] . Christopher D. Williams, Allan Clark Electronic Notes in Theoretical Computer Science . 2015,第2期

机译：使用PEPA Eclipse插件进行PEPA模型容量规划的案例研究
3. PEPA?d Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, Illustrated by a Pacific Oyster Case Study [J] . Erin Scott, Andrew Hoyle, Carron Shankland Electronic Notes in Theoretical Computer Science . 2013,第7期

机译：PEPA？d牡蛎：将动态能源预算模型转换为Bio-PEPA，如太平洋牡蛎案例研究所示
4. Modeling systems with mobile components: a comparison between AltaRica and PEPA nets [J] . Leila Kloul, Tatiana Prosvirnova, Antoine Rauzy Proceedings of the Institution of Mechanical Engineers, Part O. Journal of Risk and Reliability . 2013,第6期

机译：带有移动组件的建模系统：AltaRica和PEPA网络之间的比较
5. Modelling Mobility with UML2.0 and PEPA Nets [C] . Kloul, L., Kuster-Filipe, . 2006

机译：使用UML2.0和PEPA网络建模移动性
6. Mobility management architecture and modeling for label switched networks (mobility label based network). [D] . Berzin, Oleg. 2010

机译：标签交换网络（基于移动标签的网络）的移动性管理体系结构和建模。
7. Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA [O] . Xian Yang, Rui Han, Yike Guo, 2012

机译：使用随机过程代数PEPA的临床路径建模和性能分析
8. A Case Study in Capacity Planning for PEPA Models with the PEPA Eclipse Plug-in [O] . Williams Christopher D., Clark Allan 2015

机译：使用PEPA Eclipse插件进行PEPA模型容量规划的案例研究
9. Efficient Analysis of PEPA Model of Non-Repudiation Protocols [R] . Zhao, Y., Thomas, N. 2009

机译：pEpa不可否认协议模型的有效性分析

Modelling Mobility with PEPA Nets

摘要

著录项

相似文献

相关主题

期刊订阅