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 https://www.sosy-lab.org/.

Tools

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...