http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92011

SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity (Contributo in atti di convegno)

Type

Label

SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity (Contributo in atti di convegno) (literal)

Anno

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

Alternative label

Martin Wirsing1; Matthias Hölzl1; Lucia Acciai2; Federico Banti2; Allan Clark3; Alessandro Fantechi2; Stephen Gilmore3; Stefania Gnesi4; László Gnöczy5; Nora Koch1; Alessandro Lapadula2; Philip Mayer1; Franco Mazzanti4; Rosario Pugliese2; Andreas Schroeder1; Francesco Tiezzi2; Mirco Tribastone3; Dániel Varró5 (2008)
SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
in Leveraging Applications of Formal Methods, Verification and Validation. Third International Symposium, Porto Sani, Greece, Oct 13-15, 2008
(literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

Martin Wirsing1; Matthias Hölzl1; Lucia Acciai2; Federico Banti2; Allan Clark3; Alessandro Fantechi2; Stephen Gilmore3; Stefania Gnesi4; László Gnöczy5; Nora Koch1; Alessandro Lapadula2; Philip Mayer1; Franco Mazzanti4; Rosario Pugliese2; Andreas Schroeder1; Francesco Tiezzi2; Mirco Tribastone3; Dániel Varró5 (literal)

Pagina inizio

Pagina fine

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

Leveraging Applications of Formal Methods, Verification and Validation Communications in Computer and Information Science (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

In: ISoLA 2008 - Leveraging Applications of Formal Methods, Verification and Validation. Third International Symposium (Porto Sani, Greece, October 13-15 2008). Proceedings, pp. 170 - 190. Tiziana Margaria, Bernhard Steffen (eds.). (Communications in Computer and Information Science, vol. 17). Springer, 2009. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto

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 (literal)

Note

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

1 Ludwig-Maximilians-Universit¨at M¨unchen, Germany 2 Universit`a 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 (literal)

Titolo

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

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume

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. (literal)

Editore