Skip to main content
SpringerLink
Log in

The Klaim Project: Theory and Practice

  • Conference paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (GC 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2874))

Included in the following conference series:

Abstract

Klaim

This work has been partially supported by EU FET – Global Computing initiative, project AGILE IST-2001-32747, project DART IST-2001-33477, project MIKADO IST-2001-32222, project PROFUNDIS IST-2001-33100, and by MIUR project NAPOLI. The funding bodies are not responsible for any use that might be made of the results presented here.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)

    MATH  Google Scholar 

  2. Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems 13(2), 237–268 (1991)

    Article  Google Scholar 

  3. Abadi, M., Cardelli, L., Pierce, B., Remy, D.: Dynamic typing in polymorphic languages. Journal of Functional Programming 5(1), 111–130 (1995)

    Article  MATH  Google Scholar 

  4. Arnold, K., Freeman, E., Hupfer, S.: JavaSpaces Principles, Patterns and Practice. Addison-Wesley, Reading (1999)

    Google Scholar 

  5. Ancona, D., Lagorio, G., Zucca, E.: Jam - designing a java extension with mixins. ACM Transaction on Programming Languages and Systems (2003) (to appear)

    Google Scholar 

  6. Anderson, B.G., Shasha, D.: Persistent Linda: Linda + Transactions + Query Processing. In: Banâtre, J.-P., Le Métayer, D. (eds.) Research Directions in High-Level Parallel Programming Languages 1991. LNCS, vol. 574, pp. 93–109. Springer, Heidelberg (1992)

    Google Scholar 

  7. Bettini, L., Bono, V., Venneri, B.: Coordinating Mobile Object-Oriented Code. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 56–71. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  8. Bettini, L., Bono, V., Venneri, B.: MoMi - A Calculus for Mobile Mixins (2003) (manuscript)

    Google Scholar 

  9. Bettini, L., Bono, V., Venneri, B.: Subtyping Mobile Clasees and Mixins. In: Proc. of Foundation of Object Oriented Languages, FOOL10 (2003)

    Google Scholar 

  10. Bracha, G., Cook, W.: Mixin-based inheritance. In: Proc. OOPSLA 1990, pp. 303–311 (1990)

    Google Scholar 

  11. Bugliesi, M., Castagna, G., Crafa, S.: Reasoning about security in mobile ambients. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 102–120. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  12. Bettini, L., De Nicola, R.: Translating Strong Mobility into Weak Mobility. In: Picco, G.P. (ed.) MA 2001. LNCS, vol. 2240, pp. 182–197. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  13. Bettini, L., De Nicola, R., Ferrari, G., Pugliese, R.: Interactive Mobile Agents in X-Klaim. In: Ciancarini, P., Tolksdorf, R. (eds.) Proc. of the 7th Int. IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Stanford, pp. 110–115. IEEE Computer Society Press, Los Alamitos (1998)

    Google Scholar 

  14. Bettini, L., De Nicola, R., Loreti, M.: Formulae meet programs over the net: a framework for correct network aware programming (2003) (submitted for publication), available at http://music.dsi.unifi.it/

  15. Bettini, L., De Nicola, R., Pugliese, R.: Klava: a Java Package for Distributed and Mobile Applications. Software — Practice and Experience 32, 1365–1394 (2002)

    Article  MATH  Google Scholar 

  16. Bettini, L.: Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations. PhD thesis, Dip. di Matematica, Università di Siena (2003), Available at http://music.dsi.unifi.it

  17. Bettini, L., Loreti, M., Pugliese, R.: An Infrastructure Language for Open Nets. In: Proc. of ACM SAC 2002, Special Track on Coordination Models, Languages and Applications, pp. 373–377. ACM, New York (2002)

    Google Scholar 

  18. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. Journal of the ACM 44(2), 201–236 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  19. Butcher, P., Wood, A., Atkins, M.: Global Synchronisation in Linda. Concurrency: Practice and Experience 6(6), 505–516 (1994)

    Article  Google Scholar 

  20. Cardelli, L.: Abstractions for Mobile Computation. In: Vitek and Jensen [VJ99], pp. 51–94

    Google Scholar 

  21. Castellani, S., Ciancarini, P., Rossi, D.: The ShaPE of ShaDE: a coordination system. Technical Report UBLCS 96-5, Dip. di Scienze dell’Informazione, Univ. di Bologna, Italy (1996)

    Google Scholar 

  22. Carriero, N., Gelernter, D.: How to Write Parallel Programs: A Guide to the Perplexed. ACM Computing Surveys 21(3), 323–357 (1989)

    Article  Google Scholar 

  23. Cardelli, L., Gordon, A.D.: Mobile ambients. Theoretical Computer Science 240(1), 177–213 (1998); An extended abstract appeared in Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, p. 140. Springer, Heidelberg (1998)

    Article  MathSciNet  Google Scholar 

  24. Castagna, G., Ghelli, G., Zappa Nardelli, F.: Typing mobility in the seal calculus. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 82–101. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  25. Scott Corson, M., Macker, J.P., Cirincione, G.H.: Internetbased mobile ad hoc networking. Internet Computing 3(4) (1999)

    Google Scholar 

  26. Ciancarini, P., Tolksdorf, R., Vitali, F., Rossi, D., Knoche, A.: Coordinating multiagent applications on the WWW: A reference architecture. IEEE Transactions on Software Engineering 24(5), 362–366 (1998)

    Article  Google Scholar 

  27. Castagna, G., Vitek, J.: Seal: A framework for secure mobile computations. In: Bal, H.E., Cardelli, L., Belkhouche, B. (eds.) ICCL-WS 1998. LNCS, vol. 1686, pp. 47–77. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  28. Deugo, D.: Choosing a Mobile Agent Messaging Model. In: Proc. of ISADS 2001, pp. 278–286. IEEE, Los Alamitos (2001)

    Google Scholar 

  29. De Nicola, R., Ferrari, G., Montanari, U., Pugliese, R., Tuosto, E.: A formal basis for reasoning on programmable qos. In: International Symposium on Verification – Theory and Practice – Honoring Zohar Manna’s 64th Birthday. LNCS, Springer, Heidelberg (2003)

    Google Scholar 

  30. De Nicola, R., Ferrari, G., Pugliese, R.: Locality based Linda: Programming with explicit localities. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol. 1214, pp. 712–726. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  31. De Nicola, R., Ferrari, G., Pugliese, R.: Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering 24(5), 315–330 (1998)

    Article  Google Scholar 

  32. De Nicola, R., Ferrari, G., Pugliese, R.: Types as Specifications of Access Policies. In: Vitek and Jensen [VJ99], pp. 117–146

    Google Scholar 

  33. De Nicola, R., Ferrari, G., Pugliese, R.: Programming Access Control: The Klaim Experience. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 48–65. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  34. De Nicola, R., Ferrari, G., Pugliese, R., Venneri, B.: Types for Access Control. Theoretical Computer Science special issue on Coordination 240(1), 215–254 (2000)

    MATH  Google Scholar 

  35. De Nicola, R., Loreti, M.: A Modal Logic for Mobile Agents. ACM Transactions on Computational Logic (2002) (to appear), Available at http://music.dsi.unifi.it/

  36. De Nicola, R., Pugliese, R.: A process algebra based on linda. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 160–178. Springer, Heidelberg (1996)

    Google Scholar 

  37. Duggan, D.: Dynamic typing for distributed programming in polymorphic languages. ACM Transactions on Programming Languages and Systems 21(1), 11–45 (1999)

    Article  Google Scholar 

  38. Davies, N., Wade, S., Friday, A., Blair, G.: Limbo: a tuple space based platform for adaptive mobile applications. In: Int. Conference on Open Distributed Processing/Distributed Platforms, ICODP/ICDP 1997 (1997)

    Google Scholar 

  39. Fournet, C., Gonthier, G., Levy, J.J., Maranget, L., Remy, D.: A Calculus of Mobile Agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 406–421. Springer, Heidelberg (1996)

    Google Scholar 

  40. Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: Proc. POPL 1998, pp. 171–183 (1998)

    Google Scholar 

  41. Ferrari, G., Moggi, E., Pugliese, R.: MetaKlaim: A type safe multi-stage language for global computing. Mathematical Structures in Computer Science (2003)

    Google Scholar 

  42. Ferrari, G., Montangero, C., Semini, L., Semprini, S.: Mark, a reasoning kit for mobility. Automated Software Engineering 9, 137–150 (2002)

    Article  MATH  Google Scholar 

  43. Fuggetta, A., Picco, G., Vigna, G.: Understanging code mobility. IEEE Transactions on Software Engineering 24(5), 342–361 (1998)

    Article  Google Scholar 

  44. Gelernter, D.: Generative Communication in Linda. ACM Transactions on Programming Languages and Systems 7(1), 80–112 (1985)

    Article  MATH  Google Scholar 

  45. Gelernter, D.: Multiple Tuple Spaces in Linda. In: Odijk, E., Syre, J.-C., Rem, M. (eds.) PARLE 1989. LNCS, vol. 365, pp. 20–27. Springer, Heidelberg (1989)

    Google Scholar 

  46. Girard, J.-Y.: Interprétation fonctionelle et élimination des coupures dans l’arithmétique d’ordre supérieur. Thèse de doctorat d’etat, University of Paris VII (1972)

    Google Scholar 

  47. Gorla, D., Pugliese, R.: Behavioural equivalences for distributed and mobile systems. Research report, Dipartimento di Sistemi e Informatica, Università di Firenze (2003), Available at http://rap.dsi.unifi.it/~pugliese/DOWNLOAD/bis4klaim.pdf

  48. Gorla, D., Pugliese, R.: Enforcing Security Policies via Types. In: Proc. of the 1st International Conference on Security in Pervasive Computing (SPC 2003). LNCS, Springer, Heidelberg (2003)

    Google Scholar 

  49. Gorla, D., Pugliese, R.: Resource access and mobility control with dynamic privileges acquisition. Research report, Dipartimento di Sistemi e Informatica, Università di Firenze (2003). An extended abstract appeared in Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol. 2719, Springer, Heidelberg (2003), Available at http://rap.dsi.unifi.it/~pugliese/DOWNLOAD/muklaim-full.pdf

  50. Hennessy, M., Milner, R.: Algebraic Laws for Nondeterminism and Concurrency. Journal of the ACM 32(1), 137–161 (1985)

    Article  MATH  MathSciNet  Google Scholar 

  51. Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. Information and Computation 173(1), 82–120 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  52. Loreti, M.: Languages and Logics for Network Aware Programming. PhD thesis, Università di Siena (2002), Available at http://music.dsi.unifi.it

  53. Leroy, X., Rémy, D., Vouillon, J., Doligez, D.: The Objective Caml system, documentation and user’s guide (1999), http://caml.inria.fr/ocaml/htmlman/

  54. The MetaML Home Page (2000), Provides source code and documentation online at http://www.cse.ogi.edu/PacSoft/projects/metaml/index.html

  55. Milner, R., Parrow, J., Walker, J.: A Calculus of Mobile Processes, I and II. Information and Computation 100(1), 1–40, 41–77 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  56. McCann, P.J., Roman, G.-C.: Compositional programming abstraction for mobile computing. IEEE Transactions on Software Engineering 24(2), 97–110 (1998)

    Article  Google Scholar 

  57. Oracle. Oracle 9iAS application server lite web page (1999), http://www.oracle.com/

  58. Omicini, A., Zambonelli, F.: Coordination for internet application development. Autonomous Agents and Multi-agent Systems 2(3), 251–269 (1999); Special Issue on Coordination Mechanisms and Patterns for Web Agents

    Article  Google Scholar 

  59. Picco, G.P., Murphy, A.L., Roman, G.-C.: Lime: Linda Meets Mobility. In: Garlan, D. (ed.) Proc. of the 21st Int. Conference on Software Engineering (ICSE 1999), pp. 368–377. ACM Press, New York (1999)

    Chapter  Google Scholar 

  60. Park, A.S., Reichl, P.: Personal Disconnected Operations with Mobile Agents. In: Proc. of 3rd Workshop on Personal Wireless Communications, PWC 1998, Tokyo (1998)

    Google Scholar 

  61. Reynolds, J.C.: Towards a theory of type structure. In: Robinet, B. (ed.) Programming Symposium. LNCS, vol. 19, pp. 408–425. Springer, Heidelberg (1974); Extension of typed lambda calculus to user-defined types and polymorphic functions

    Google Scholar 

  62. Rowstron, A.: WCL: A web co-ordination language. World Wide Web Journal 1(3), 167–179 (1998)

    Article  Google Scholar 

  63. Schneider, F.B., Morrisett, G., Harper, R.: A language-based approach to security. In: Wilhelm, R. (ed.) Informatics: 10 Years Back, 10 Years Ahead. LNCS, vol. 2000, pp. 86–101. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  64. Sun Microsystems. Javaspace specification (1999), available at http://java.sun.com/

  65. Taha, W., Sheard, T.: MetaML: Multi-stage programming with explicit annotations. Theoretical Computer Science 248(1-2) (2000)

    Google Scholar 

  66. Tuosto, E.: An ada95 implementation of a network coordination language with code mobility. In: González Harbour, M., la de Puente, J.A. (eds.) Ada-Europe 1999. LNCS, vol. 1622, pp. 199–210. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  67. Vitek, J., Jensen, C. (eds.): Secure Internet Programming: Security Issues for Mobile and Distributed Objects. LNCS, vol. 1603. Springer, Heidelberg (1999)

    Google Scholar 

  68. Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation 115(1), 38–94 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  69. Wyckoff, P., McLaughry, S., Lehman, T., Ford, D.: TSpaces. IBM Systems Journal 37(3), 454–474 (1998)

    Article  Google Scholar 

  70. Wand, M., Siveroni, I.: Constraint systems for useless variable elimination. In: Proceedings of the ACM Symposium on Principles of Programming Languages (POPL), pp. 291–302 (1999)

    Google Scholar 

  71. Yoshida, N., Hennessy, M.: Assigning types to processes. CogSci Report 99.02, School of Cognitive and Computing Sciences, University of Sussex, UK (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dip. Sistemi e Informatica, Univ. di Firenze, v. Lombroso 6/17, 50134, Firenze, Italy

    Lorenzo Bettini, Rocco De Nicola, Daniele Gorla, Michele Loreti, Rosario Pugliese & Betti Venneri

  2. Dip. Informatica, Univ. di Torino, Corso Svizzera 185, 10149, Torino, Italy

    Viviana Bono

  3. Dip. Informatica, Univ. di Pisa, v. Buonarroti 2, 56100, Pisa, Italy

    Gianluigi Ferrari & Emilio Tuosto

  4. Dip. Informatica e Scienze dell’Informazione, Univ. di Genova, v. Dodecaneso 35, 16146, Genova, Italy

    Eugenio Moggi

Authors
  1. Lorenzo Bettini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Viviana Bono
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rocco De Nicola
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Gianluigi Ferrari
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Daniele Gorla
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Michele Loreti
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Eugenio Moggi
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Rosario Pugliese
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Emilio Tuosto
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Betti Venneri
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Centre for Computational and Systems Biology, The Microsoft Research - University of Trento, Piazza Manci, 17, 38050, Povo, TN, Italy

    Corrado Priami

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bettini, L. et al. (2003). The Klaim Project: Theory and Practice. In: Priami, C. (eds) Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. GC 2003. Lecture Notes in Computer Science, vol 2874. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40042-4_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-40042-4_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20583-8

  • Online ISBN: 978-3-540-40042-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation