- Automatic Extraction of Protocols from Distributed Program Implementations
Standard protocols for distributed systems, such as OpenID and OAuth,
can be elegantly described with multiparty session types.
Protocol standards are usually derived from pioneering prototype implementations manually.
The aim of this project is to implement an automatic inference algorithm for extracting
protocols out of programs.
- Execution optimisations in the Jolie interpreter
language employs service-oriented computing, a paradigm based on
message-passing, as a general purpose programming methodology. In this
setting, common language features such as functions and recursion on
data structures are implemented through communications between
services (possibly the same, i.e. self-recursion). It is the first
time that such features are implemented solely on message-passing, and
thus there is large room for optimising how the Jolie interpreter
executes them. This thesis would address this issue by designing and
implementing a (simple) static analysis algorithm on Jolie programs,
and then using the collected information for performing some code
optimisation. For instance, in some cases, copying data structures or
performing actual message exchanges may be not necessary, due to the
support of in-memory communications in Jolie.
- Development of an SOA for the distribution, installation, and updating of software
- Development of an SOA for the distribution, installation, and
updating of software. This SOA would need to handle the automatic
packaging, storage, versioning, and distribution of software developed
- Development of the D-Bus protocol for Jolie.
- Development of the D-Bus protocol for Jolie. This would allow Jolie
programs to coordinate every application supporting the D-Bus
protocol. D-Bus is largely supported in the Linux OS. it is a standard
communication bus over which many services communicate, ranging from
low-level hardware information layers to more high-level services,
e.g. multimedia applications (music/video players), document viewers,
and configuration managers. The thesis would also involve the
development of an application that exploits the newly developed
- Development of the AMQ
protocol for Jolie.
- Email me for further info.