Home » Theses » AvailableTheses

Theses in the APICe space

Available

[ReSpecT]


Programming the Interaction Space Twenty Years Later: ReSpecTX Language and IDE

Available since 16/05/2016
Contact Stefano Mariani [Mail]
Supervised by Andrea Omicini
Description
Properly programming the interaction space of distributed applications is still an issue in the industry nowadays, since most of the approaches are based on message-passing between components of the system, without any coordination model to help dealing with synchronization -- broadly, coordination -- issues. Despite tuple space based models are widely recognised in the academia, the same does not hold for the industry, perhaps also due to the lack of suitable languages and tooling explicitly dealing with the issue of programming coordination mechanisms and policies.

For these reasons, this thesis aims at advancing a first attempt to modernize the ReSpecT language for programming tuple centres, called ReSpecTX, with the goal of extending the first surface language designed on top of ReSpecT, and the corresponding IDE implemented as an Eclipse plugin.


Composable Patterns of Coordination as Library Services: Experiments in ReSpecT

Available since 16/05/2016
Contact Stefano Mariani [Mail]
Supervised by Andrea Omicini
Description
ReSpecT is a language for programming coordination mechanisms, laws, and policies in a tuple space based setting. Although the language is extremely powerful and capable of injecting within a tuple space a wide range of both reactive and proactive behaviours, it is often perceived as "the assembly of coordination"---also because it has been conceived as such on purpose. In fact, ReSpecT language constructs are essentially Linda coordination primitives, thus the very basic bricks of coordination models.

The thesis aims at exploring the opportunity to design and implement a library of higher-level coordination patterns, composable and exploitable as a programmer would do with a Java library. Particular emphasis will be dedicated to bio-inspired patterns for self-organisation, and on investigating the limits of composability of such patterns.


Coordinazione fuzzy tramite ReSpecT

Available since 16/06/2009
Contact Andrea Omicini [Mail]
Supervised by Andrea Omicini
Description
Scopo della tesi è quello di estendere il modello dei tuple centre semantici in TuCSoN in modo tale che sia possibile adottare meccanismi di match di tipo fuzzy, particolarmente utili in contesti applicativi aperti in cui le proprietà del sistema sono difficilmente identificabili in modo preciso.