The Klaim Project: Theory and Practice

Bettini, Lorenzo; Bono, Viviana; Nicola, Rocco De; Ferrari, Gian Luigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Betti

doi:10.1007/978-3-540-40042-4_4

Cited by 67 publications

(58 citation statements)

References 49 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The coordination part and the object-oriented part are orthogonal, so that, in principle, such an integration would work for any extension/restriction of Klaim (as discussed in [4]) and also for other calculi for mobility and distribution, such as DJoin [23]. We first recall the main features of Klaim and MoMi and then we show how they are integrated in order to build O'Klaim.…”

Section: O'klaim: An Object-oriented Klaimmentioning

confidence: 99%

“…This paper presents the experimental language O'Klaim that is obtained by applying MoMi's approach [7] to the language Klaim [18,4], which is specifically designed to program distributed systems where mobile components interact through multiple distributed tuple spaces and mobile code. A preliminary design that led to O'Klaim was introduced in [6].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

O’Klaim: A Coordination Language with Mobile Mixins

Bettini

Bono

Venneri

2004

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. This paper presents O'Klaim (Object-Oriented Klaim), a linguistic extension of the higher-order calculus for mobile processes Klaim with object-oriented features. Processes interact by an asynchronous communication model: they can distribute and retrieve resources, sometimes structured as incomplete classes, i.e., mixins, to and from distributed tuple spaces. This mechanism is coordinated by providing a subtyping relation on classes and mixins, which become polymorphic items during communication. We propose a static typing system for: (i) checking locally each process in its own locality; (ii) decorating object-oriented code that is sent to remote sites with its type. This way, tuples can be dynamically retrieved only if they match by subtyping with the expected type. If this pattern matching succeeds, the so retrieved code can be composed with local code, dynamically and automatically, in a type-safe way. Thus a global safety condition is guaranteed without requiring any additional information on the local reconfiguration of local and foreign code, and, in particular, without any further type checking. Finally, we present main issues concerning the implementation of O'Klaim.

show abstract

Section: O'klaim: An Object-oriented Klaimmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

O’Klaim: A Coordination Language with Mobile Mixins

Bettini

Bono

Venneri

2004

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…Tuple-based languages have, instead, been effectively used to implement coordination mechanism in a distributed setting. Among the many proposals (see, e.g., [22,37,35,17,14,36]), here, we would like to focus on Klaim [15,6,16], a coordination language specifically designed to program distributed systems consisting of mobile components interacting through multiple distributed tuple spaces. The Klaim's communication model builds over, and extends, Linda's notion of generative communication through a single shared tuple space [22] and Table 1.…”

Section: Introductionmentioning

confidence: 99%

Orchestrating Tuple-Based Languages

Nicola

Margheri

Tiezzi

2012

Trustworthy Global Computing

Self Cite

View full text Add to dashboard Cite

Abstract. The World Wide Web can be thought of as a global computing architecture supporting the deployment of distributed networked applications. Currently, such applications can be programmed by resorting mainly to two distinct paradigms: one devised for orchestrating distributed services, and the other designed for coordinating distributed (possibly mobile) agents. In this paper, the issue of designing a programming language aiming at reconciling orchestration and coordination is investigated. Taking as starting point the orchestration calculus Orc and the tuple-based coordination language Klaim, a new formalism is introduced combining concepts and primitives of the original calculi. To demonstrate feasibility and effectiveness of the proposed approach, a prototype implementation of the new formalism is described and it is then used to tackle a case study dealing with a simplified but realistic electronic marketplace, where a number of on-line stores allow client applications to access information about their goods and to place orders.

show abstract

“…Many programming and specification formalisms have been developed that can deal with issues such as (code and agent) mobility, remote execution, security, privacy and integrity. Important examples of such languages and frameworks are, among others, Obliq [6], Seal [7], ULM [5] and Klaim (Kernel Language for Agents Interaction and Mobility) [8,4].…”

Section: Introductionmentioning

confidence: 99%

“…To facilitate the incorporation of random phenomena in models for networkaware computing a stochastic extension of Klaim [8,4], named StoKlaim, has been proposed in [9]. Klaim is an experimental language for distributed systems that is aimed at modelling and programming mobile code applications, i.e., applications for which exploiting code mobility is the prime distinctive feature.…”

Section: Introductionmentioning

confidence: 99%

Simulation and Analysis of Distributed Systems in Klaim

Calzolai¹,

Loreti²

2010

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Network and distributed systems typically consists of a large number of actors that act and interact with each other in a highly dynamic environment. Due to the number of involved actors and their strong dependence on mobility and interaction, performance and dependability issues are of utmost importance for this class of systems. StoKlaim is a stochastic extension of Klaim specifically thought to facilitate the incorporation of random phenomena in models for networkaware computing. In this paper we show how StoKlaim can be used to specify and verify quantitative properties of distributed systems. To support the analysis an automatic tool is introduced and used.

show abstract

The Klaim Project: Theory and Practice

Cited by 67 publications

References 49 publications

O’Klaim: A Coordination Language with Mobile Mixins

O’Klaim: A Coordination Language with Mobile Mixins

Orchestrating Tuple-Based Languages

Simulation and Analysis of Distributed Systems in Klaim

Contact Info

Product

Resources

About