Abstract
We describe motivations and background behind the design of Klaim, a process description language that has proved to be suitable for describing a wide range of applications distributed over wide area networks with agents and code mobility. We argue that a drawback of Klaim is that it is neither a programming language, nor a process calculus. We then outline the two research directions we have recently pursued. On the one hand we have evolved Klaim to a full-fledged language for highly distributed mobile programming. On the other hand we have distilled the language to a number of simple calculi that we have used to define new semantic theories and equivalences and to test the impact of new operators for network aware programming.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bettini, L., De Nicola, R.: Interactive Mobile Agents in X-Klaim. In: Bernardo, M., Bogliolo, A. (eds.) SFM-Moby 2005. LNCS, vol. 3465, pp. 29–68. Springer, Heidelberg (2005)
Bettini, L., De Nicola, R., Pugliese, R.: Klava: a Java Package for Distributed and Mobile Applications. Software – Practice and Experience 32, 1365–1394 (2002)
Boreale, M., De Nicola, R., Pugliese, R.: Basic observables for processes. Inf. Comput. 149(1), 77–98 (1999)
Corradini, F., De Nicola, R.: Locality based semantics for process algebras. Acta Inf. 34(4), 291–324 (1997)
De Nicola, R., Ferrari, G., Pugliese, R.: Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Trans. on Software Engineering 24(5), 315–330 (1998)
De Nicola, R., Gorla, D., Pugliese, R.: Basic observables for a calculus for global computing. Tech. Rep. 07/2004, Dip. di Informatica, Università di Roma La Sapienza. Short version to appear in the Proc. of ICALP 2005 (2005)
De Nicola, R., Gorla, D., Pugliese, R.: On the expressive power of KLAIM-based calculi. To appera in TCS. Short version in Proc. of EXPRESS 2004. ENTCS, vol. 128(2), pp. 117–130. Elsevier, Amsterdam (2004)
De Nicola, R., Gorla, D., Pugliese, R.: Global computing in a dynamic network of tuple spaces. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 157–172. Springer, Heidelberg (2005)
De Nicola, R., Gorla, D., Pugliese, R.: Pattern matching over a dynamic network of tuple spaces. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 1–14. Springer, Heidelberg (2005)
De Nicola, R., Pugliese, R.: Linda-based applicative and imperative process algebras. Theor. Comput. Sci. 238(1-2), 389–437 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Nicola, R. (2005). Languages and Process Calculi for Network Aware Programming – Short Summary -. In: Van Hung, D., Wirsing, M. (eds) Theoretical Aspects of Computing – ICTAC 2005. ICTAC 2005. Lecture Notes in Computer Science, vol 3722. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11560647_3
Download citation
DOI: https://doi.org/10.1007/11560647_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29107-7
Online ISBN: 978-3-540-32072-2
eBook Packages: Computer ScienceComputer Science (R0)