Section: New Software and Platforms

AIOCJ

Adaptive Interaction-Oriented Choreographies in Jolie

Scientific Description

AIOCJ is a framework for programming adaptive distributed systems based on message passing. AIOCJ comes as a plugin for Eclipse, AIOCJ-ecl, allowing one to edit descriptions of distributed systems as adaptive interaction-oriented choreographies (AIOC). From interaction-oriented choreographies the description of single participants can be automatically derived. Adaptation is specified by rules allowing to replace predetermined parts of the AIOC with a new behaviour. A suitable protocol ensures that all the participants are updated in a coordinated way. As a result, the distributed system follows the specification given by the AIOC under all changing sets of adaptation rules and environment conditions. In particular, the system is always deadlock-free. AIOCJ can interact with external services, seen as functions, by specifying their URL and the protocol they support (HTTP, SOAP, ...). Deadlock-freedom guarantees of the application are preserved provided that those services do not block.

Functional Description

AIOCJ is an open-source choreography programming language for developing adaptive systems.

• Participants: Saverio Giallorenzo, Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese and Jacopo Mauro

• Contact: Saverio Giallorenzo

• URL: http://www.cs.unibo.it/projects/jolie/aiocj.html