Abstract
The rapidly increasing demand for ubiquitous communication has led to the widespread use of wireless networks. These systems consist of a group of independently executing components which may migrate through some space during the course of the computation, and the connectivity between the components changes with their migration [5, 6]. The support for this physical-distribution-constrained communication paradigm cannot be explicitly seen in the communication model of the π-calculus [7]. In this paper, we first analyze the communication features of mobile network systems. Sequentially, we propose a two-layer connection model for the communication between components in mobile network systems. Finally, an extension of the π-calculus, entity calculus is introduced.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ando, T.; Takahashi, K.; Kato, Y.; Shiratori, N.: A Concurrent Calculus with Geographical Constraints. IEICE TRANS.FUNDAMENTALS, VOL. E81-A, NO. 4, (1998).
Ando, T.; Takahashi, K.; Kato, Y.; Shiratori, N.: Maintenance of mobile system ambients using a process calculus. Computer Networks 32(2): 229–256 (2000)
Milner, R.: Communication and Concurrency. International Series in Computer Science, Prentice Hall (1989)
Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge University Press (1999)
Roman, G.-C.; McCann, P.J.: A Notation and Logic for Mobile Computing. Formal Methods in System Design, 1-22. Kluwer Academic Publishers (1999)
Roman, G.-C.; Picco, G.; Murphy, A.: Software Engineering for Mobility: A Roadmap. Future of Software Engineering, 241–258. In Finkelstein, A, Editor. ACM Press (2000)
Sangiorgi, D.: Locality and Non-interleaving Sematics in claculi for mobile processes. International Conference on Theoretical Aspects of Computer Software (TACS’94), Japan (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huang, J., Verschueren, A., Aalderink, H., Lukkien, J. (2002). A Calculus for Mobile Network Systems. In: George, C., Miao, H. (eds) Formal Methods and Software Engineering. ICFEM 2002. Lecture Notes in Computer Science, vol 2495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36103-0_25
Download citation
DOI: https://doi.org/10.1007/3-540-36103-0_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00029-7
Online ISBN: 978-3-540-36103-9
eBook Packages: Springer Book Archive