Paper Info
Title
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
Abstract
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 SEN- SORIA encompass the whole software development cycle, from business and architectural design, to quantitative and qualitative analysis of system proper- ties, 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, trans- formation 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.
Year
DOI
Venue
2008
10.1007/978-3-540-88479-8_13
ISoLA
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
13
18
Name
Order
Citations
PageRank
Martin Wirsing12158267.89
Matthias M. Hölzl2364.97
Lucia Acciai3776.72
Federico Banti4814.83
Allan Clark525913.74
Alessandro Fantechi61199103.40
Stephen Gilmore700.34
Stefania Gnesi81475120.93
László Gönczy911811.67
Nora Koch10102278.55
Alessandro Lapadula1129012.65
Philip Mayer1223415.64
Franco Mazzanti1327221.69
rosario pugliese14144485.56
Andreas Schroeder1526814.36
Francesco Tiezzi1660446.24
mirco tribastone1751843.87
Dániel Varró181682118.10