Top

Published in:

2019 | OriginalPaper | Chapter

X-Klaim Is Back

Authors : Lorenzo Bettini, Emanuela Merelli, Francesco Tiezzi

Published in: Models, Languages, and Tools for Concurrent and Distributed Programming

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

Klaim is a coordination language specifically designed to model and program distributed systems consisting of mobile components interacting through multiple distributed tuple spaces. The Klaim’s theoretical foundations provided a solid ground for the implementation of the Klaim’s programming model. To practically program Klaim-based applications, the X-Klaim programming language has been proposed. It extends Klaim with enriched primitives and standard control flow constructs, and is compiled in Java to be executed. However, due to the limits of X-Klaim in terms of usability and the aging of the technology at the basis of its compiler, X-Klaim has been progressively neglected. Motivated by the success that Klaim has gained, the popularity that still has in teaching distributed computing, and its possible future exploitations in the development of modern ICT systems, in this paper we propose a renewed and enhanced version of X-Klaim. The new implementation, coming together with an Eclipse-based IDE tooling, relies on recent powerful frameworks for the development of programming languages.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults

next chapter A Distributed Ledger Technology Based on Shared Write-Once Objects

Klaim has been and is still taught on courses about coordination and distributed computing at, e.g., Università di Firenze, Università di Camerino, Università di Pisa, IMT Scuola Alti Studi Lucca, and Danmarks Tekniske Universitet.

GigaSpaces XAP v14.0 Documentation. https://docs.gigaspaces.com/xap/14.0/

Acharya, A., Ranganathan, M., Saltz, J.H.: Sumatra: a language for resource-aware mobile programs. In: Vitek, J., Tschudin, C. (eds.) MOS 1996. LNCS, vol. 1222, pp. 111–130. Springer, Heidelberg (1997). https://doi.org/10.1007/3-540-62852-5_10CrossRef

Arnold, K., Scheifler, R., Waldo, J., O’Sullivan, B., Wollrath, A.: Jini Specification. Addison-Wesley, Boston (1999)

Atkinson, A.: Tupleware: A Distributed Tuple Space for the Development and Execution of Array-Based Applications in a Cluster Computing Environment. University of Tasmania, School of Computing and Information Systems thesis (2010)

Bettini, L.: A Java package for transparent code mobility. In: Guelfi, N., Reggio, G., Romanovsky, A. (eds.) FIDJI 2004. LNCS, vol. 3409, pp. 112–122. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-31869-9_11CrossRef

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). https://doi.org/10.1007/3-540-45647-3_13CrossRef

Bettini, L., De Nicola, R., Falassi, D., Lacoste, M., Loreti, M.: A flexible and modular framework for implementing infrastructures for global computing. In: Kutvonen, L., Alonistioti, N. (eds.) DAIS 2005. LNCS, vol. 3543, pp. 181–193. Springer, Heidelberg (2005). https://doi.org/10.1007/11498094_17CrossRef

Bettini, L., De Nicola, R., Pugliese, R.: Klava: a Java package for distributed and mobile applications. Softw. Pract. Exp. 32(14), 1365–1394 (2002)CrossRef

Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edn. Packt Publishing, Birmingham (2016)

10.

Bettini, L., Bono, V., Venneri, B.: O’Klaim: a coordination language with mobile mixins. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 20–37. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24634-3_5CrossRefMATH

11.

Bettini, L., De Nicola, R., Pugliese, R., Ferrari, G.L.: Interactive mobile agents in X-Klaim. In: WETICE, pp. 110–117. IEEE Computer Society (1998)

12.

Bettini, L., Loreti, M., Pugliese, R.: Structured nets in KLAIM. In: SAC, pp. 174–180. ACM (2000)

13.

Bettini, L., Loreti, M., Pugliese, R.: An infrastructure language for open nets. In: SAC, pp. 373–377. ACM (2002)

14.

Bettini, L., et al.: The klaim project: theory and practice. In: Priami, C. (ed.) GC 2003. LNCS, vol. 2874, pp. 88–150. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-40042-4_4CrossRef

15.

Cabri, G., Leonardi, L., Zambonelli, F.: Reactive tuple spaces for mobile agent coordination. In: Rothermel, K., Hohl, F. (eds.) MA 1998. LNCS, vol. 1477, pp. 237–248. Springer, Heidelberg (1998). https://doi.org/10.1007/BFb0057663CrossRef

16.

Calzolai, F., Loreti, M.: Simulation and analysis of distributed systems in Klaim. In: Clarke, D., Agha, G. (eds.) COORDINATION 2010. LNCS, vol. 6116, pp. 122–136. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-13414-2_9CrossRef

17.

Ciancarini, P., Rossi, D.: Jada: coordination and communication for Java agents. In: Vitek, J., Tschudin, C. (eds.) MOS 1996. LNCS, vol. 1222, pp. 213–226. Springer, Heidelberg (1997). https://doi.org/10.1007/3-540-62852-5_16CrossRef

18.

Ciatto, G., Mariani, S., Louvel, M., Omicini, A., Zambonelli, F.: Twenty years of coordination technologies: state-of-the-art and perspectives. In: Di Marzo Serugendo, G., Loreti, M. (eds.) COORDINATION 2018. LNCS, vol. 10852, pp. 51–80. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-92408-3_3CrossRef

19.

De Nicola, R., Ferrari, G., Montanari, U., Pugliese, R., Tuosto, E.: A formal basis for reasoning on programmable QoS. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 436–479. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-39910-0_21CrossRef

20.

De Nicola, R., Ferrari, G., Montanari, U., Pugliese, R., Tuosto, E.: A process calculus for QoS-aware applications. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 33–48. Springer, Heidelberg (2005). https://doi.org/10.1007/11417019_3CrossRef

21.

De Nicola, R., Ferrari, G.L., Pugliese, R.: Coordinating mobile agents via blackboards and access rights. In: Garlan, D., Le Métayer, D. (eds.) COORDINATION 1997. LNCS, vol. 1282, pp. 220–237. Springer, Heidelberg (1997). https://doi.org/10.1007/3-540-63383-9_83CrossRef

22.

De Nicola, R., Ferrari, G.L., Pugliese, R.: Locality based Linda: programming with explicit localities. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997. LNCS, vol. 1214, pp. 712–726. Springer, Heidelberg (1997). https://doi.org/10.1007/BFb0030636CrossRef

23.

De Nicola, R., Ferrari, G.L., Pugliese, R.: KLAIM: a kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315–330 (1998)CrossRef

24.

De Nicola, R., Ferrari, G.L., Pugliese, R.: Types as specifications of access policies. In: Vitek, J., Jensen, C.D. (eds.) Secure Internet Programming. LNCS, vol. 1603, pp. 117–146. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48749-2_6CrossRef

25.

De Nicola, R., Ferrari, G.L., Pugliese, R.: Programming access control: the Klaim experience. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 48–65. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-44618-4_5CrossRef

26.

De Nicola, R., Ferrari, G.L., Pugliese, R., Venneri, B.: Types for access control. Theor. Comput. Sci. 240(1), 215–254 (2000)MathSciNetCrossRef

27.

De Nicola, R., Gorla, D., Pugliese, R.: Basic observables for a calculus for global computing. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 1226–1238. Springer, Heidelberg (2005). https://doi.org/10.1007/11523468_99CrossRef

28.

De Nicola, R., Gorla, D., Pugliese, R.: On the expressive power of klaim-based calculi. Electr. Notes Theor. Comput. Sci. 128(2), 117–130 (2005)CrossRef

29.

De Nicola, R., Gorla, D., Pugliese, R.: Confining data and processes in global computing applications. Sci. Comput. Program. 63(1), 57–87 (2006)MathSciNetCrossRef

30.

De Nicola, R., Katoen, J., Latella, D., Loreti, M., Massink, M.: Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1), 42–70 (2007)MathSciNetCrossRef

31.

De Nicola, R., Latella, D., Massink, M.: Formal modeling and quantitative analysis of KLAIM-based mobile systems. In: SAC, pp. 428–435. ACM (2005)

32.

De Nicola, R., et al.: Programming and verifying component ensembles. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds.) ETAPS 2014. LNCS, vol. 8415, pp. 69–83. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54848-2_5CrossRef

33.

De Nicola, R., Loreti, M.: A modal logic for mobile agents. ACM Trans. Comput. Log. 5(1), 79–128 (2004)MathSciNetCrossRef

34.

De Nicola, R., Margheri, A., Tiezzi, F.: Orchestrating tuple-based languages. In: Bruni, R., Sassone, V. (eds.) TGC 2011. LNCS, vol. 7173, pp. 160–178. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-30065-3_10CrossRef

35.

De Nicola, R., Pugliese, R.: A process algebra based on Linda. In: Ciancarini, P., Hankin, C. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 160–178. Springer, Heidelberg (1996). https://doi.org/10.1007/3-540-61052-9_45CrossRef

36.

De Nicola, R., Pugliese, R.: Testing semantics of asynchronous distributed programs. In: Dam, M. (ed.) LOMAPS 1996. LNCS, vol. 1192, pp. 320–344. Springer, Heidelberg (1997). https://doi.org/10.1007/3-540-62503-8_15CrossRef

37.

De Nicola, R., et al.: From flow logic to static type systems for coordination languages. Sci. Comput. Program. 75(6), 376–397 (2010)MathSciNetCrossRef

38.

Eckhardt, J., Mühlbauer, T., Meseguer, J., Wirsing, M.: Semantics, distributed implementation, and formal analysis of KLAIM models in maude. Sci. Comput. Program. 99, 24–74 (2015)CrossRef

39.

Ferrari, G.L., Moggi, E., Pugliese, R.: Global types and network services. Electr. Notes Theor. Comput. Sci. 54, 35–48 (2001)CrossRef

40.

Ferrari, G., Moggi, E., Pugliese, R.: MetaKlaim: meta-programming for global computing. In: Taha, W. (ed.) SAIG 2001. LNCS, vol. 2196, pp. 183–198. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-44806-3_11CrossRef

41.

Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80–112 (1985)CrossRef

42.

Gorla, D., Pugliese, R.: Enforcing security policies via types. In: Hutter, D., Müller, G., Stephan, W., Ullmann, M. (eds.) Security in Pervasive Computing. LNCS, vol. 2802, pp. 86–100. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-39881-3_10CrossRef

43.

Gorla, D., Pugliese, R.: Resource access and mobility control with dynamic privileges acquisition. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol. 2719, pp. 119–132. Springer, Heidelberg (2003). https://doi.org/10.1007/3-540-45061-0_11CrossRefMATH

44.

Hansen, R.R., Probst, C.W., Nielson, F.: Sandboxing in myKlaim. In: ARES, pp. 174–181. IEEE (2006)

45.

Jiang, Y., Xue, G., Jia, Z., You, J.: DTuples: a distributed hash table based Tuple space service for distributed coordination. In: GCC, pp. 101–106. IEEE (2006)

46.

Lange, D.B., Mitsuru, O.: Programming and Deploying Java Mobile Agents Aglets. Addison-Wesley, Boston (1998)

47.

Leal, M.A., de La Rocque Rodriguez, N., Ierusalimschy, R.: LuaTS - a reactive event-driven tuple space. J. UCS 9(8), 730–744 (2003)

48.

Mamoud, Q.H.: Getting Started With JavaSpaces Technology: Beyond Conventional Distributed Programming Paradigms (2005). https://www.oracle.com/technetwork/articles/java/javaspaces-140665.html

49.

Picco, G.P.: \(\mu \)CODE: a lightweight and flexible mobile code toolkit. In: Rothermel, K., Hohl, F. (eds.) MA 1998. LNCS, vol. 1477, pp. 160–171. Springer, Heidelberg (1998). https://doi.org/10.1007/BFb0057656CrossRef

50.

Picco, G.P., Murphy, A.L., Roman, G.: LIME: Linda meets mobility. In: ICSE, pp. 368–377. ACM (1999)

51.

van der Goot, R.: High performance Linda using a class library. Ph.D. thesis, Erasmus University Rotterdam (2001)

52.

Wu, X., Li, X., Lafuente, A.L., Nielson, F., Nielson, H.R.: Klaim-DB: a modeling language for distributed database applications. In: Holvoet, T., Viroli, M. (eds.) COORDINATION 2015. LNCS, vol. 9037, pp. 197–212. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-19282-6_13CrossRef

53.

Wyckoff, P., McLaughry, S.W., Lehman, T.J., Ford, D.A.: T spaces. IBM Syst. J. 37(3), 454–474 (1998)CrossRef

Title: X-Klaim Is Back
Authors: Lorenzo Bettini
Emanuela Merelli
Francesco Tiezzi
Publisher: Springer International Publishing
Book: Models, Languages, and Tools for Concurrent and Distributed Programming
Print ISBN: 978-3-030-21484-5

Electronic ISBN: 978-3-030-21485-2

Copyright Year: 2019
DOI: https://doi.org/10.1007/978-3-030-21485-2_8

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner