|
As part of the proposed tool integration platform for SENSORIA the use of graph transformation inside the Eclipse Modelling Framework (EMF) is discussed. In addition, two implementations of model transformation based on graph transformation are presented: VIATRA2 and Tiger. This deliverable, after giving a general survey of verification techniques for graph and model transformations, discusses three contributions addressing the operational or denotational semantics of models as well as the compatibility of model transformations with these semantics. This document describes the role of experimentation and analysis in the SENSORIA project with particular respect to model-driven development. Within Workpackage 7 we are concerned with taking wellfounded analysis methods developed in Workpackages such as WP3 and WP4 and moving them closer to software engineering practice. There are two main aspects to this. One aspect is that there should be a high degree of automation involved in the modelling, experimentation and analysis process and that this should be supported by well-engineered tool platforms. Another is that attention should be given to making the connection from high-level modelling languages used in software engineering practice to the formal calculi which readily admit powerful formal analysis. Thus in this deliverable we report on representatives of our available tools and on the current state of language bindings for these.
Within the SENSORIA project several tools are being built or existing tools are being updated to include service-oriented features. These tools range from modelling tools, like UML modellers, over analysis tools and model checkers to transformation tools. The main goal of the SENSORIA CASE tool is to provide an integration platform for these tools and to expose these tools (and possibly others) to the software engineer and other researchers. The CASE tool will be implemented as a plug-in into the Eclipse IDE. The tool integration is intended to be a lightweight one, meaning that the connection between tools is not a priori fixed and that it should be easy to extend the SENSORIA CASE tool with additional tools. Thus, a service-oriented architecture is used for the CASE tool - called SENSORIA Development Environment (SDE).
This document contains a description and evaluation of the Sensoria CASE tool - called SENSORIA Development Environment (SDE), which is intended to support the development of service-oriented software by integrating the various tools developed as part of the Sensoria project as well as useful external tools.
The tools developed within Sensoria range from modelling over analysis and transformation to deployment and runtime tools. SDE is thus able to support the complete chain of writing, analysing, deploying, and running service-oriented software systems.
In this document, the current state of the CASE tool is reported. Starting with the requirements and underlying aims, we will report on the evolution of the CASE tool, motivate design decisions, describe the implementation of SDE, and finally discuss integrated tools and how they can be used in collaboration.
This document contains the second report on the Sensoria Development Environment (SDE) (formerly known as Sensoria CASE tool, SCT), which supports the development of service-oriented software by integrating the various tools developed as part of the Sensoria project as well as useful external tools. The integrated tools span the complete lifecycle of software development from modelling tools over transformation and analysis tools to deployment and runtime. This document discusses the SDE version 4, which was developed in the past reporting period. After a general overview over the basic ideas and implementation of the SDE, we will introduce newly added features, list all integrated tools, and provide example workflows created with the help of the SDE. Developing service-oriented software involves dealing with multiple languages, platforms, artefacts, and tools. The tasks carried out during development are varied as well; ranging from modelling to implementation, from analysis to testing. For many of these tasks, the SENSORIA project has provided tools aiding developers in their work – with a specific focus on tools based on rigourous formal verification methods, but also including modeling, transformation, and runtime tools. To enable developers to find, use, and combine these tools, we have created a tool integration platform, the SENSORIA Development Environment (SDE), which a) gives an overview of available tools and their area of application, b) allows developers to use tools in a homogeneous way, re-arranging tool functionality as required, and c) enables users to stay on a chosen level of abstraction, hiding formal details as much as possible. In this chapter, we give an in-depth review of the SDE, integrated tools, and ways of using tools in combination for developing and verifying service-oriented software systems
|
Deliverables 
