eprintid: 413
rev_number: 12
eprint_status: archive
userid: 31
dir: disk0/00/00/04/13
datestamp: 2011-06-14 14:20:42
lastmod: 2016-04-06 07:58:24
status_changed: 2011-06-14 14:20:42
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Wirsing, Martin
creators_name: Hölzl, Matthias
creators_name: Acciai, Lucia
creators_name: Banti, Federico
creators_name: Clark, Allan
creators_name: Fantechi, Alessandro
creators_name: Gilmore, Stephen
creators_name: Gnesi, Stefania
creators_name: Gönczy, László
creators_name: Koch, Nora
creators_name: Lapadula, Alessandro
creators_name: Mayer, Philip
creators_name: Mazzanti, Franco
creators_name: Pugliese, Rosario
creators_name: Schroeder, Andreas
creators_name: Tiezzi, Francesco
creators_name: Tribastone, Mirco
creators_name: Varró, Dániel
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
creators_id: mirco.tribastone@imtlucca.it
creators_id: 
title: SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: ©Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com.
abstract: 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.

date: 2008
date_type: published
series: Communications in Computer and Information Science
volume: 17
publisher: Springer
pagerange: 170-190
id_number: 10.1007/978-3-540-88479-8_13
refereed: TRUE
isbn: 978-3-540-88478-1
book_title: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)
editors_name: Margaria, Tiziana
editors_name: Steffen, Bernhard
official_url: http://dx.doi.org/10.1007/978-3-540-88479-8_13
funders: This work has been partially sponsored by the project Sensoria, IST-2 005-016004.
citation:   Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel  SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.   In:  Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008).   Communications in Computer and Information Science, 17 .  Springer, pp. 170-190.  ISBN 978-3-540-88478-1      (2008)  
document_url: http://eprints.imtlucca.it/413/1/isola_2008c.pdf