Lorenzo Bettini

Acta Informatica manuscript No. (will be inserted by the editor) MoMi (2008)

Java provides useful means for implementing distributed applications: Java network library language synchronization features and code mobility: object serialization dynamic class loading

An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses [Extended abstract] (2008)

Abstract. MOMI (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MOMI’s key idea is structuring mobile...

Lorenzo Bettini, Leonardo Cecchi, Pilu Crescenzi, Gaia Innocenti, Michele Loreti

In this paper we propose a new environment for allowing students of a first programming undergraduate course to test their Java code. This environment allows the student to learn the basics of the...

Language Constructs and Features (2008)

IMPLEMENTING MOBILE AND DISTRIBUTED APPLICATIONS IN X-KLAIM (2008)

Our calculus combines class-based features with object-based ones, with the aim of fitting into a unified setting the “best of both worlds”. In a mixin-based approach, mixins are seen as...

Lorenzo Bettini, Rocco De, Michele Loreti

Abstract. In this paper we present X-KLAIM, an experimental programming language specifically designed to program distributed systems composed of several components interacting through multiple...

Abstract SECCO 2004 Preliminary Version Data Privacy in Tuple Space Based Mobile Agent Systems (2008)

Language Constructs and Features (2008)

Recently, distributed variants of tuple spaces have been proposed to exploit the Linda model for programming distributed applications over wide area networks, possibly exploiting code mobility....

POSTER ABSTRACT A Core Calculus of Higher-Order Mixins and Classes ∗ ABSTRACT (2008)

We design a calculus where objects are created by instantiating classes, as well as mixins. Mixin-instantiated objects are “incomplete objects”, that can be completed in object-based fashion. The...

A Software Framework for Rapid Prototyping of (2008)

We present an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modelled in a formal setting, allowing to prove...

Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís Lopes, ...

We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer with primitives to...

Global Progress in Dynamically Interleaved Multiparty Sessions (2008)

Lorenzo Bettini, Marco De Luca, Mariangiola Dezani-ciancaglini, Nobuko Yoshida

Abstract. A multiparty session forms a unit of structured interactions among many participants which follow a prescribed scenario specified as a global type signature. This paper develops, besides a...

WOOD'03 Preliminary Version Extending Java to dynamic object behaviors (2007)

PROGRAMMING & THEIR IMPLEMENTATIONS (2007)

Class inheritance and dynamic binding are the key features of object-oriented programming and they permit designing and developing complex systems. However, standard class inheritance is essentially...

A Degli, Studi Di Siena, Logica Matematica, E Informatica Teorica, Lorenzo Bettini

ai miei genitori The growing use of the Internet as primary environment for developing, distributing and running applications has increased the need for robust and flexible techniques to design...

1 (2007)

Global Programming and Mobile Code (2007)

Abstract. MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuring mobile...

Lorenzo Bettini, Gianluigi Ferrari, Rosario Pugliese

2 Many research eorts have been and are being devoted to the investigation of mobile agents and, more generally, of mobile code. Eciency, due to reduced network load and usage, is often stated as the...

Abstract An Infrastructure Language for Open Nets ∗ (2007)

An Infrastructure Language for Open Nets (Draft) (2007)

The structure of open nets, like the Internet, is highly dynamic, as the topology of component networks continuously evolves. In this context, node connectivity is a key aspect and a language for...

TOSCA 2001 Preliminary Version X-Klaim and Klava: Programming Mobile Code (2007)

The structure of open nets, like the Internet, is highly dynamic, as the topology of component networks continuously evolves. In this context, node connectivity is a key aspect and a language for...

Lorenzo Bettini, Rocco De, Nicola Rosario Pugliese

Highly distributed networks have now become a common infrastructure for a new kind of wide-area distributed applications whose key design principle is network awareness, namely the ability to deal...

2 (2007)

Structured Nets in Klaim (Full Paper) (2007)

By its own nature, mobile code requires exibility in order to be adaptive to any execution context it may be run in. In this paper we investigate this exibility requirement from the design point of...

Mixin and Class Subtyping Hierarchies in a Mobile Setting ⋆ (2007)

Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental kernel language to model and program distributed concurrent applications with mobile code. The language consists of...

Abstract. In sequential class- and mixin-based settings, subtyping is essentially a relation on objects: no subtype relation is defined on classes and mixins, because otherwise there would be...

1 (2007)

Extending Java to dynamic object behaviors ⋆ Abstract (2007)

Abstract. MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuring mobile...

Klaim (Kernel Language for Agents Interaction and (2007)

Class inheritance and dynamic binding are the key features of object-oriented programming and they permit designing and developing complex systems. However, standard class inheritance is essentially...

Featherweight java with multi-methods (2007)

Featherweight Wrap Java (2007)

Multi-methods (collections of overloaded methods associated to the same message, whose selection takes place dynamically instead of statically as in standard overloading) are a useful mechanism since...

Lorenzo Bettini, Sara Capecchi, Elena Giachino

We present an extension for a Java like language with a mechanism for dynamically extending object behaviors. Our approach consists in moving the addition of new features from class (static) level to...

Outline of the Lectures ctd. 3. Expressiveness Results (2006)

Rocco De Nicola, Lorenzo Bettini, Michele Loreti, Rosario Pugliese, Gianluigi Ferrari, Betti Venneri, ...

Main features of X-Klaim

using the (2006)

Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti

a distributed mobile calculus

Global Computers (2005)

Translating double dispatch into single dispatch (2005)

Encodings and their properties A stack of Klaims (... and π-calculus) Assessment of the encodings Lorenzo Bettini and Rocco De Nicola Mobile Distributed Programming in X-Klaim

MoMi - A Calculus for Mobile Mixins (2005)

Goals of flexibility and re-usability in typed object-oriented languages suggest the requirement of double dispatch, i.e., the mechanism of dynamically selecting a method not only according to the...

Safe and flexible objects with subtyping (2005)

MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi’s key idea is structuring mobile...

A flexible and modular framework for implementing infrastructures for global computing (2005)

Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti

Abstract. We present a Java software framework for building infrastructures to support the development of applications for systems where mobility and network awareness are key issues. The framework...

Safe Object Composition in the Presence of Subtyping (2005)

A Core Calculus of Higher-Order Mixins and Classes (2004)

Abstract. Object composition arises as a natural operation to combine objects in an object-based setting. In our incomplete objects setting it has a strong meaning, as it may combine objects with...

A Core Calculus of Mixin-Based Incomplete Objects (2004)

We present an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modelled in a formal setting, allowing to prove...

Subtyping-inheritance conflicts: The mobile mixin case (2004)

Abstract. We design a calculus that combines class-based features with object-based ones, with the aim of fitting into a unifying setting the “best of both worlds”. In a mixin-based approach,...

O'KLAIM: a coordination language with mobile mixins (2004)

Abstract In sequential class- and mixin-based settings, subtyping is essentially a relation on objects: no subtype relation is defined on classes and mixins, otherwise there would be conflicts with...

A Core Calculus of Mixin-Based Incomplete Objects (Extended Abstract) (2004)

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...

O'KLAIM: a coordination language with mobile mixins (2004)

We design a calculus that combines class-based features with object-based ones, with the aim of fitting into a unifying setting the "best of both worlds". In a mixin-based approach, mixins...

3.1 Hello World in X-KLAIM.................................. 10 (2004)

This paper presents O'KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes interact by an...

User’s manual (2004)

A java middleware for guaranteeing privacy of distributed tuple spaces (2003)

The Klaim Project: Theory and Practice (2003)

Abstract. The tuple space communication model, such as the one used in Linda, provides great exibility for modeling concurrent, distributed and mobile processes. In a distributed setting with mobile...

Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gianluigi Ferrari, Daniele Gorla, Michele Loreti, ...

Abstract. Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile components that...

The Klaim Project: Theory and Practice (2003)

Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gianluigi Ferrari, Daniele Gorla, Michele Loreti, ...

Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile components that interact...

A Java package for class and mixin mobility in a distributed setting (2003)

MoMi: A Calculus for Mobile Mixins (2003)

Mixins, i.e., classes parameterized over the superclass, can be the right mechanism for dynamically assembling class hierarchies with mobile code downloaded from different sources. In this paper we...

Coordinating Mobile Object-Oriented Code (2002)

MOMI (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MOMI's key idea is structuring mobile...

On Multiple Inheritance in Java (2002)

Abstract. Standard class-based inheritance mechanisms, which are often used to implement distributed systems, do not seem to scale well to a distributed context with mobility. In this paper, a...

Lorenzo Bettini, Michele Loreti, Betti Venneri

Abstract. The presence of Multiple Inheritance in a language raises subtle problems related to possible ambiguities. To avoid handling these diculties, many languages, including Java, do not support...

A Middleware for Secure Distributed Tuple Spaces (2002)

Klava: a Java Framework for Distributed and Mobile Applications (2002)

The tuple space communication model, such as the one used in Linda, provides great flexibility for modeling concurrent processes. The approach has also been extended with distributed tuple spaces...

Lorenzo Bettini, Rocco De, Nicola Rosario Pugliese

Highly distributed networks have now become a common infrastructure for a new kind of wide-area distributed applications whose key design principle is network awareness, namely the ability of dealing...

An Infrastructure Language for Open Nets (2002)

Software Update via Mobile Agent Based Programming (2002)

The structure of open nets, like the Internet, is highly dynamic, as the topology of component networks continuously evolves. In this context, node connectivity is a key aspect and a language for...

Lorenzo Bettini, Rocco De, Nicola Michele Loreti

We describe a system that permits maintaining the software installed on several heterogeneous computers distributed over a network by taking advantage of the mobile agent paradigm. The applications...

Coordinating Mobile Object-Oriented Code (2002)

Formalizing properties of mobile agent systems (2002)

Abstract. Standard class-based inheritance mechanisms, which are often used to implement distributed systems, do not seem to scale well to a distributed context with mobility. In this paper, a...

Lorenzo Bettini, Rocco De, Nicola Michele Loreti

Abstract. The wide-spreading of Internet has stimulated the introduction of new programming paradigms and languages that model interactions among hosts by means of mobile agents, and that are...

An Infrastructure Language for Open Nets (2002)

MoMi: A Calculus for Mobile Mixins (2002)

The structure of open nets, like the Internet, is highly dynamic, as the topology of component networks continuously evolves. In this context, node connectivity is a key aspect and a language for...

Translating Strong Mobility into Weak Mobility (2001)

MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuring mobile...

Towards Object-Oriented KLAIM (2001)

Abstract. Mobile agents are software objects that can be transmitted over the net together with data and code, or can autonomously migrate to a remote computer and execute automatically on arrival....

Frame Relay Forum, "Service Level Definitions Implementation Agreement (1998)

By its own nature, mobile code requires exibility in order to be adaptable to any execution context it may be run in. In this paper we investigate this exibility requirement from the design point of...

Lorenzo Bettini, Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese

Networking has turned computers from isolated data processors into powerful communication and elaboration devices, called global computers; an illustrative example is the World--Wide Web. Global...

Interactive Mobile Agents in X-Klaim (1998)

Lorenzo Bettini, Rocco De, Nicola Rosario Pugliese, Gianluigi Ferrari

Mobile agents are processes which can migrate and execute on new hosts. Mobility is a key concept for network programming; it has stimulated much research about new programming languages and...

Interactive Mobile Agents in X-KLAIM (1998)

Lorenzo Bettini, Rocco De Nicola, Rosario Publiese, Gianluigi Ferrari

Mobile agents are processes which can migrate and execute on new hosts. Mobility is a key concept for network programming; it has stimulated much research about new programming languages and...

Le perifrasi della Divina commedia, raccolte ed annotate. (1895)

Bettini, Lorenzo.

172 p.

A Core Calculus of Higher-Order Mixins and Classes

A Core Calculus of Higher-Order Mixins and Classes

This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal setting allowing to...