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.
Dynamically adaptive systems (DAS) may change their inner business logic, software architecture, or quality of service as a reaction to changes in the environment or user requirements. DAS can also self-manage, that is, monitor their own behavior and plan suitable adaptations to achieve high level goals that are specified by their designers.
In many cases, the variables monitored by such systems are aggregated according to some specific operator. For example, their are averaged over a sliding window.
However, if systems can adapt while monitoring this variable they may introduce distortions that eventually will result in degraded performance of the system, or even critical failures.