Modelling Mobility with PEPA Nets

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 locationchanging 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 [2].

• Type: Conference
• Year: 2004
• Where: ISCIS
• Authors: Jane Hillston, Marina Ribaudo
• Keywords: Canonical Mobile Code, ISCIS 2004, Mobile Code, Mobile Computing Systems