These are the archived web pages of the Programming and Software Engineering Group (PST).
The web pages of the Software and Computational Systems Lab (SoSy) can be found on


Tools developed at PST

The following tools are being developed at PST:

Model-Based Web Engineering

UWE is a software engineering approach for the Web domain aiming to cover the whole life-cycle of Web application development.

More Information and Download...

Service Engineering: The Sensoria Development Environment (SDE)

The Sensoria Development Environment intended to support the development of Service-Oriented Software by integrating the various tools developed as part of the Sensoria project as well as external tools to support the development, analysis, and deployment of service-oriented software systems.

More Information and Download...

Analysing Modal Input/Output Automata

The MIO Workbench is an Eclipse-based verification tool and editor for modal I/O automata (MIOs), which are used for formally specifying the behaviour of software components or services.

More Information and Download...

Model-Driven Development of SOA Systems

MDD4SOA is a model-driven development approach for SOA applications. It is based on UML2 models and model transformations. UML2 is extended to model service-oriented software; in particular, for modelling orchestrations of services inside a SOA-based system.

More Information and Download...

Building Pervasive-Adaptive Systems

REFLECT provides a software framework with a set of practical tools is developed which can be used for building pervasive, adaptable, self-organized systems that seamlessly collaborate with users and control their environments.

More Information and Download...

Connecting Information

Hyena is a wiki + database + synchronization

(between online and offline version). Hyena organizes your data, makes it available everywhere, and integrates with other applications.

More Information and Download... 

Model-Checking UML

Hugo/RT is a UMLmodel translator for model checking, theorem proving, and code generation: A UML model containing active classes with state machines, collaborations, interactions, and OCL constraints can be translated into the system languages of the real-time model checker UPPAAL, the on-the-fly model checker SPIN, the system language of the theorem prover KIV, and into Java and SystemC code.

More Information and Download...