The PBnJ tool let you mingle imperative java code and declarative statements (aka specifications) in the same place. This allows developers to write robust and resilient code that automatically “fall-backs” to its intended behavior when things go wrong. For example, when exceptions are thrown or unexpected conditions prevent the program to terminate correctly.
At the current status, the PBnJ tool provides only a manual and console-based interface, but lacks full support at the IDE level.
IDEs implement features such as code completion, code suggestion, syntax checks, and syntax highlighting that improve developers’ productivity and quality of java code.
The Eclipse platform is the “de-facto” standard when it comes to IDE, and it has extensibility core concept: by implementing small plugins the IDE can offer additional features to the programmers. Therefore, we choose Eclipse as our target platform for this project.
The project consists in the design and implementation of a plug-in that enables IDE support for the PBnJ tool.
This job fits nicely into a Praktikum or a Bachelor thesis; nevertheless, it might become a by-product of a regular Master Thesis.
Applicants are required to have good Java programming skills and a basic understanding of the Eclipse platform, and will be advised during the project.
Contact me if you are interested
 Falling Back on Executable Specifications
Cloud applications rarely consists in single-server-single-component architecture; this means that when it comes to automatically deploy them on one (or even multiple Clouds) one has to consider the mutual dependencies that each component in each instance have with the other components not only inside the same instance but also across different instances.
We are developing an extensible software tool that can deploy complex applications/architectures on a target cloud, and we need your help in (mark one of the following ): implementing it, refactoring it, redesign it, but also extending it.
JOpera is an extensible, java-based process engine, and is a central component of our tools on automation of experiments in the Cloud.
We need to extend the engine to allow a distributed and scalable persistence layer. This is one of the main requisite that we need to fulfill in order to create an elastic version of the JOpera engine that can automatically scale in clouds infrastructures.
We test elastic computing systems by imposing time-varying workloads on them, and successively, checking conditions on the metrics that we extract from system executions.
At the moment, the whole process is implemented as a black-box, and sometimes is difficult to understand what is going on inside the system, which is a prerequisite to improve it functioning when a test fails.
Developing high quality elastic computing systems is not an easy job. Specific tools and well tailored development methodologies are at the basis of development processes that result in software with a good quality.
We are investigating new development methodologies and tools that focus on elastic computing systems and are specifically designed for the Cloud.