This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Conference on Software Engineering and Formal Methods (SEFM'04)
Towards Mobile Processes in Unifying Theories
Beijing, China
September 28-September 30
ISBN: 0-7695-2222-X
ASCII Text
x 
 
Xinbei Tang, Jim Woodcock, "Towards Mobile Processes in Unifying Theories," Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), pp. 44-53, Second International Conference on Software Engineering and Formal Methods (SEFM'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2004.10045,
author = {Xinbei Tang and Jim Woodcock},
title = {Towards Mobile Processes in Unifying Theories},
journal ={Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)},
volume = {0},
year = {2004},
isbn = {0-7695-2222-X},
pages = {44-53},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.10045},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
TI - Towards Mobile Processes in Unifying Theories
SN - 0-7695-2222-X
SP44
EP53
A1 - Xinbei Tang,
A1 - Jim Woodcock,
PY - 2004
KW - null
VL - 0
JA - Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
ER -
 
Xinbei Tang, University of Kent, UK
Jim Woodcock, University of Kent, UK
This paper presents a denotational semantics of mobile processes in Hoare & He's Unifying Theories of Programming (UTP). Process mobility is captured by the mobile assignment or communication of higher-order variables, in which both the source and the target are process-valued variables. Processes are moved around in the system by updating the target and losing the value of the source. The semantics can be used to guarantee the correctness of a set of algebraic of refinement laws for the step-wise development of mobile systems. We give an outline of this development method, present and prove some of the laws.
Citation:
Xinbei Tang, Jim Woodcock, "Towards Mobile Processes in Unifying Theories," sefm, pp.44-53, Second International Conference on Software Engineering and Formal Methods (SEFM'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.