TY  - CHAP
TI  - SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
AV  - public
UR  - http://dx.doi.org/10.1007/978-3-540-88479-8_13
SN  - 978-3-540-88478-1
M1  - 17
N2  - 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.

N1  - ©Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com.
ID  - eprints413
EP  - 190
T2  - Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)
Y1  - 2008///
PB  - Springer
A1  - Wirsing, Martin
A1  - Hölzl, Matthias
A1  - Acciai, Lucia
A1  - Banti, Federico
A1  - Clark, Allan
A1  - Fantechi, Alessandro
A1  - Gilmore, Stephen
A1  - Gnesi, Stefania
A1  - Gönczy, László
A1  - Koch, Nora
A1  - Lapadula, Alessandro
A1  - Mayer, Philip
A1  - Mazzanti, Franco
A1  - Pugliese, Rosario
A1  - Schroeder, Andreas
A1  - Tiezzi, Francesco
A1  - Tribastone, Mirco
A1  - Varró, Dániel
SP  - 170
T3  - Communications in Computer and Information Science
ED  - Margaria, Tiziana
ED  - Steffen, Bernhard
ER  -