Within the course of the Sensoria project, a variety of tools have been developed which aid developers in creating and analysing service-oriented software. Our tools are based on formal methods and range from modelling over analysis and transformation to deployment and runtime tools.

To enable easy access to these tools, we have created the Sensoria Development Environment (SDE) - a tool integration platform based on Eclipse, which enables users to discover, use, and automate the tools developed within Sensoria.

In this section of the Sensoria web site, we provide a description of the SDE along with download information, and a description of the individual tools integrated into the SDE and how to install them. More detailed information for developers is available as well.