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) (KAR id:14127)
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. | |
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: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Mark Wheadon |
Date Deposited: | 24 Nov 2008 18:02 UTC |
Last Modified: | 16 Nov 2021 09:52 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/14127 (The current URI for this page, for reference purposes) |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):