Skip to main content

Travelling Processes

Tang, Xinbei and Woodcock, Jim (2004) Travelling Processes. In: Kozen, Dexter, ed. Mathematics of Program Construction 7th International Conference. Lecture Notes in Computer Science, 3125 . Springer, Berlin, Germany, pp. 381-399. ISBN 978-3-540-22380-1. E-ISBN 978-3-540-27764-4. (doi:10.1007/978-3-540-27764-4_20) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1007/978-3-540-27764-4_20

Abstract

This paper describes a refinement-based development method for mobile processes. Process mobility is interpreted as the assignment or communication of higher-order variables, whose values are process constants or parameterised processes, in which target variables update their values and source variables lose their values. The mathematical basis for the work is Hoare and He's Unifying Theories of Programming (UTP). In this paper, we present a set of algebraic laws and refinement laws to be used for the development of mobile systems. The correctness of these laws is ensured by the UTP semantics of mobile processes. We illustrate our theory through a simple example that can be implemented in both a centralised and a distributed way. First, we present the pi-calculus specification for both systems and demonstrate that they are observationally equivalent. Next, we show how the centralised system may be step-wisely developed into the distributed one using our proposed laws.

Item Type: Book section
DOI/Identification number: 10.1007/978-3-540-27764-4_20
Uncontrolled keywords: mobile process, refinement, UTP, higher-order programming
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:02 UTC
Last Modified: 29 May 2019 15:10 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/14127 (The current URI for this page, for reference purposes)
  • Depositors only (login required):