SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity

Martin Wirsing1, Matthias H¨olzl1, Lucia Acciai2, Federico Banti2, Allan Clark3,
Alessandro Fantechi2, Stephen Gilmore3, Stefania Gnesi4, Làszlò Gonczy5, Nora
Koch1, Alessandro Lapadula2, Philip Mayer1, Franco Mazzanti4, Rosario Pugliese2,
Andreas Schroeder1, Francesco Tiezzi2, Mirco Tribastone3, and Daniel Varrò5

1 Ludwig-Maximilians-Universitat Munchen, Germany
2 Università degli Studi di Firenze
3 University of Edinburgh, Scotland
4 Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” of CNR
5 Budapest University of Technology and Economics


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