Abstract
In this talk I introduce a programming model for the mobile code, and more generally for programming in a global computing perspective. I first present some requirements for this style of programming, arising from the features and new observables of the global computing context, and I briefly discuss some of the models and programming languages that have been proposed – Obliq, pi-based and Linda-based models, Ambients. I then present a model based on the ideas of ”synchronous” programming, that is based on suspension and preemption primitives associated with locally broadcast events. This programming style, providing a notion of reaction and time-out, looks appropriate to address the unreliable character of accessing resources in a global computing context, and to deal with the various kinds of failures – such as unpredictable delays, transient disconnections, congestion, etc. – that arise in a global network.
The proposed model, called ULM, combines a standard imperative and functional style, such as the one of ML or Scheme, with some construct for ”reactive” programming. The model also proposes constructs for programming mobile agents, that move together with their state, made of a control stack and a store. This makes the access to references also potentially suspensive, and this is one of the main novelties of the model. The focus of this work is on giving a precise semantics for a small, yet expressive core language. Some examples of this expressiveness are given in the talk.
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boudol, G. (2004). A Reactive Programming Model for Global Computing. In: De Nicola, R., Ferrari, GL., Meredith, G. (eds) Coordination Models and Languages. COORDINATION 2004. Lecture Notes in Computer Science, vol 2949. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24634-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-24634-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21044-3
Online ISBN: 978-3-540-24634-3
eBook Packages: Springer Book Archive