The IST-FET Integrated Project Sensoria is developing a novel comprehensive approach
to the engineering of service-oriented software systems where foundational theories,
techniques and methods are fully integrated into pragmatic software engineering processes.
The techniques and tools of Sensoria encompass the whole software development cycle,
from business and architectural design, to quantitative and qualitative analysis of
system properties, and to transformation and code generation. The Sensoria approach
takes also into account reconfiguration of service-oriented architectures (SOAs) and
re-engineering of legacy systems.
In this paper we give first a short overview of Sensoria and then present a pattern
language for augmenting service engineering with formal analysis, transformation and
dynamicity. The patterns are designed to help software developers choose appropriate
tools and techniques to develop service-oriented systems with support from formal
methods. They support the whole development process, from the modelling stage to deployment
activities and give an overview of many of the research areas pursued in the Sensoria