COGNAC: Coordination and Ownership in Graphs Networked Actors

Printer-friendly version
Info
January 2011 to December 2015
FWO Research Project

The aim of the COGNAC project is to build upon a formal actor-based concurrency model to provide gradual type system support that statically and dynamically reifies the ownership and location information present in remote object designation concepts. This offers coordination abstractions, such as ambient contracts, that simplifies the programmers task of developing and securing applications for devices that cooperate over intermittent network connections.

Full Description: 

In the future people will be surrounded by devices which will seamlessly cooperate with each other to create a consistent ambient computational environment. Program- ming such devices requires new computational models and new ambient-oriented programming languages to deal with the dynamicity of the environment, resulting from intermittent network connectivity as devices move in and out of contact with each other. Even though the resulting language technology greatly enhances the construction of wireless applications, new abstractions are required to coordinate the resulting dis- tributed soup of objects residing across the devices. This includes managing object inter-connectivity, managing resources, partitioning and distributing computation and object graphs, managing failure, and so forth. Existing coordination models are not comprehensive enough for this setting. Build- ing upon a formal actor-based concurrency model (such as Creol) we will provide gradual type system support that statically and dynamically reifies the ownership and location information present in remote object designation concepts (such as Ambi- entTalk's far references) in order to offer coordination abstractions, such as ambient contracts, to simplify the programmer's task of developing and securing applications for such devices that cooperate over intermittent network connections.