The Sensoria Development Environment (SDE) is an automated development environment for service artefacts, which offers, through integrated tools, service modelling, analysis, code generation, and runtime functionality. The aim of the SDE is to provide the various tools required for developing services, including formal analysis tools, in one consistent and integrated environment, offering state-of-the-art research techniques in an easy-to-use fashion to developers. This is achieved through the following core features in the platform:
- A SOA-based platform – the SDE itself is based on a Service-Oriented Architecture, allowing easy integration of tools and querying the platform for available functionality. The analysis tools hosted in the SDE are presented as discoverable, technology independent services.
- A Composition Infrastructure – as development of services is a highly individual process and may require several steps and iterations, the SDE offers a composition infrastructure that allows developers to automate commonly used workflows as an orchestration of tools.
- A Focus On Usability – to allow developers to use formal tools without requiring them to understand the underlying formal semantics, the SDE employs automated model transformations, which translate between high-level models and formal specifications, thus closing the gap between those two worlds.
|