Modelling Mobility with PEPA Nets

Jane Hillston; Marina Ribaudo

doi:10.1007/978-3-540-30182-0_52

Modelling Mobility with PEPA Nets

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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

Original language	English
Title of host publication	Computer and Information Sciences - ISCIS 2004
Editors	Cevdet Aykanat, Tuǧrul Dayar, İbrahim Körpeoğlu
Publisher	Springer
Pages	513-522
Number of pages	10
Volume	3280
ISBN (Electronic)	978-3-540-30182-0
ISBN (Print)	978-3-540-23526-2
DOIs	https://doi.org/10.1007/978-3-540-30182-0_52
Publication status	Published - 2004

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	3280

Access to Document

10.1007/978-3-540-30182-0_52

http://link.springer.com/chapter/10.1007%2F978-3-540-30182-0_52

Cite this

@inproceedings{3d569dc559834875acf411b111d31696,

title = "Modelling Mobility with PEPA Nets",

abstract = "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 [2].",

author = "Jane Hillston and Marina Ribaudo",

year = "2004",

doi = "10.1007/978-3-540-30182-0\_52",

language = "English",

isbn = "978-3-540-23526-2",

volume = "3280",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "513--522",

editor = "Cevdet Aykanat and Tuǧrul Dayar and İbrahim K{\"o}rpeoğlu",

booktitle = "Computer and Information Sciences - ISCIS 2004",

address = "United Kingdom",

}

TY - GEN

T1 - Modelling Mobility with PEPA Nets

AU - Hillston, Jane

AU - Ribaudo, Marina

PY - 2004

Y1 - 2004

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

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

U2 - 10.1007/978-3-540-30182-0_52

DO - 10.1007/978-3-540-30182-0_52

M3 - Conference contribution

SN - 978-3-540-23526-2

VL - 3280

T3 - Lecture Notes in Computer Science

SP - 513

EP - 522

BT - Computer and Information Sciences - ISCIS 2004

A2 - Aykanat, Cevdet

A2 - Dayar, Tuǧrul

A2 - Körpeoğlu, İbrahim

PB - Springer

ER -

Modelling Mobility with PEPA Nets

Abstract

Publication series

Access to Document

Fingerprint

Cite this