Abstract
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message passing. We then study an instance of the model based on Cardelli and Gordon’s Mobile Ambients. We define a type system for the resulting calculus, give a subject reduction theorem, and discuss the rôle of the type system for static detection of run-time type errors and for other program verification purposes.
Work partially supported by MURST Project 9901403824_003 and by CNRS Program Telecommunications: “Collaborative, distributed, and secure programming for Internet”.
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
M. Abadi and L. Cardelli. A Theory of Objects. Springer, 1996.
M. Bugliesi and G. Castagna. Mobile objects. In FOOL’7 Proc. of the 7th Int. Workshop on Foundations of Object Oriented Languages. 2000. Electronic Proceedings.
L. Cardelli. Abstractions for mobile computations. In Secure Internet Programming, number 1603 in LNCS, pages 51–94. Springer, 1999.
L. Cardelli, G. Ghelli, and A. Gordon. Mobility types for mobile ambients. In Proceedings of ICALP’99, number 1644 in LNCS, pages 230–239. Springer, 1999.
L. Cardelli and A. Gordon. Mobile ambients. In POPL’98. ACM Press, 1998.
L. Cardelli and A. Gordon. Types for mobile ambients. In Proceedings of POPL’99, pages 79–92. ACM Press, 1999.
P Di Blasio and K. Fisher. A calculus for concurrent objects. In CONCUR’96, number 1119 in LNCS, pages 655–670. Springer, 1996.
K. Fisher, F. Honsell, and J. C. Mitchell. A Lambda Calculus of Objects and Method Specialization. Nordic Journal of Computing, 1(1):3–37, 1994.
A. Gordon and P. D Hankin. A concurrent object calculus: reduction and typing. In Proceedings HLCL’98, Elsevier ENTC, 1998. Also Technical Report 457, University of Cambridge Computer Laboratory, February 1999.
Ms Hennessy and J. Riely. Resource access control in systems of mobile agents (extended abstract). In Proc. of 3rd International Workshop on High-Level Concurrent Languages (HLCL’98). 1998.
D. Johansen. Trend wars. IEEE Concurrency, 7(3), Sept 1999.
J. Kleist and Sangiorgi D. Imperative objects and mobile processes. Unpublished manuscript.
F. Levi and D. Sangiorgi. Controlling interference in ambients. In POPL’2000, pages 352–364. ACM Press, 2000.
U Nestmann, H. Huttel, J. Kleist, and M. Merro. Aliasing models for object migration. In Proceedings of Euro-Par’99, number 1685 in LNCS, pages 1353–1368. Springer, 1999.
B. C. Pierce and D. N. Turner. Concurrent objects in a process calculus. In Takayasu Ito and Akinori Yonezawa, editors, Theory and Practice of Parallel Programming, Sendai, Japan (Nov. 1994), number 907 in LNCS, pages 187–215. Springer-Verlag, April 1995.
V. T. Vasconcelos. Typed concurrent objects. In M. Tokoro and R. Pareschi, editors, ECOOP’ 94, number 821 in LNCS, pages 100–117. Springer, 1994.
J. Vitek and G. Castagna. Seal: A framework for secure mobile computations. In Internet Programming Languages, number 1686 in LNCS. Springer, 1999.
D. J. Walker. Objects in the π calculus. Information and Computation, 116(2):253–271, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bugliesi, M., Castagna, G., Crafa, S. (2000). Typed Mobile Objects. In: Palamidessi, C. (eds) CONCUR 2000 — Concurrency Theory. CONCUR 2000. Lecture Notes in Computer Science, vol 1877. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44618-4_36
Download citation
DOI: https://doi.org/10.1007/3-540-44618-4_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67897-7
Online ISBN: 978-3-540-44618-7
eBook Packages: Springer Book Archive