Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity

Martin Wirsing, Matthias Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, D. Varró

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationCommunications in Computer and Information Science
Pages170-190
Number of pages21
Volume17 CCIS
DOIs
Publication statusPublished - 2008
Event3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008 - Porto Sani, Greece
Duration: Oct 13 2008Oct 15 2008

Publication series

NameCommunications in Computer and Information Science
Volume17 CCIS
ISSN (Print)18650929

Other

Other3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008
CountryGreece
CityPorto Sani
Period10/13/0810/15/08

Fingerprint

Software engineering
Legacy systems
Formal methods
Architectural design
Service oriented architecture (SOA)
Field effect transistors
Industry
Code generation

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Wirsing, M., Hölzl, M., Acciai, L., Banti, F., Clark, A., Fantechi, A., ... Varró, D. (2008). Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity. In Communications in Computer and Information Science (Vol. 17 CCIS, pp. 170-190). (Communications in Computer and Information Science; Vol. 17 CCIS). https://doi.org/10.1007/978-3-540-88479-8-13

Sensoria patterns : Augmenting service engineering with formal analysis, transformation and dynamicity. / Wirsing, Martin; Hölzl, Matthias; Acciai, Lucia; Banti, Federico; Clark, Allan; Fantechi, Alessandro; Gilmore, Stephen; Gnesi, Stefania; Gönczy, László; Koch, Nora; Lapadula, Alessandro; Mayer, Philip; Mazzanti, Franco; Pugliese, Rosario; Schroeder, Andreas; Tiezzi, Francesco; Tribastone, Mirco; Varró, D.

Communications in Computer and Information Science. Vol. 17 CCIS 2008. p. 170-190 (Communications in Computer and Information Science; Vol. 17 CCIS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Wirsing, M, Hölzl, M, Acciai, L, Banti, F, Clark, A, Fantechi, A, Gilmore, S, Gnesi, S, Gönczy, L, Koch, N, Lapadula, A, Mayer, P, Mazzanti, F, Pugliese, R, Schroeder, A, Tiezzi, F, Tribastone, M & Varró, D 2008, Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity. in Communications in Computer and Information Science. vol. 17 CCIS, Communications in Computer and Information Science, vol. 17 CCIS, pp. 170-190, 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008, Porto Sani, Greece, 10/13/08. https://doi.org/10.1007/978-3-540-88479-8-13
Wirsing M, Hölzl M, Acciai L, Banti F, Clark A, Fantechi A et al. Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity. In Communications in Computer and Information Science. Vol. 17 CCIS. 2008. p. 170-190. (Communications in Computer and Information Science). https://doi.org/10.1007/978-3-540-88479-8-13
Wirsing, Martin ; Hölzl, Matthias ; Acciai, Lucia ; Banti, Federico ; Clark, Allan ; Fantechi, Alessandro ; Gilmore, Stephen ; Gnesi, Stefania ; Gönczy, László ; Koch, Nora ; Lapadula, Alessandro ; Mayer, Philip ; Mazzanti, Franco ; Pugliese, Rosario ; Schroeder, Andreas ; Tiezzi, Francesco ; Tribastone, Mirco ; Varró, D. / Sensoria patterns : Augmenting service engineering with formal analysis, transformation and dynamicity. Communications in Computer and Information Science. Vol. 17 CCIS 2008. pp. 170-190 (Communications in Computer and Information Science).
@inproceedings{f6181631c6284f2a946419cf61420c96,
title = "Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity",
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.",
author = "Martin Wirsing and Matthias H{\"o}lzl and Lucia Acciai and Federico Banti and Allan Clark and Alessandro Fantechi and Stephen Gilmore and Stefania Gnesi and L{\'a}szl{\'o} G{\"o}nczy and Nora Koch and Alessandro Lapadula and Philip Mayer and Franco Mazzanti and Rosario Pugliese and Andreas Schroeder and Francesco Tiezzi and Mirco Tribastone and D. Varr{\'o}",
year = "2008",
doi = "10.1007/978-3-540-88479-8-13",
language = "English",
isbn = "3540884785",
volume = "17 CCIS",
series = "Communications in Computer and Information Science",
pages = "170--190",
booktitle = "Communications in Computer and Information Science",

}

TY - GEN

T1 - Sensoria patterns

T2 - Augmenting service engineering with formal analysis, transformation and dynamicity

AU - Wirsing, Martin

AU - Hölzl, Matthias

AU - Acciai, Lucia

AU - Banti, Federico

AU - Clark, Allan

AU - Fantechi, Alessandro

AU - Gilmore, Stephen

AU - Gnesi, Stefania

AU - Gönczy, László

AU - Koch, Nora

AU - Lapadula, Alessandro

AU - Mayer, Philip

AU - Mazzanti, Franco

AU - Pugliese, Rosario

AU - Schroeder, Andreas

AU - Tiezzi, Francesco

AU - Tribastone, Mirco

AU - Varró, D.

PY - 2008

Y1 - 2008

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.

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

UR - http://www.scopus.com/inward/record.url?scp=78649828899&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78649828899&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-88479-8-13

DO - 10.1007/978-3-540-88479-8-13

M3 - Conference contribution

AN - SCOPUS:78649828899

SN - 3540884785

SN - 9783540884781

VL - 17 CCIS

T3 - Communications in Computer and Information Science

SP - 170

EP - 190

BT - Communications in Computer and Information Science

ER -