<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity"^^ . "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.\r\nIn 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.\r\n"^^ . "2008" . . "17" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Allan"^^ . "Clark"^^ . "Allan Clark"^^ . . "Federico"^^ . "Banti"^^ . "Federico Banti"^^ . . "László"^^ . "Gönczy"^^ . "László Gönczy"^^ . . "Mirco"^^ . "Tribastone"^^ . "Mirco Tribastone"^^ . . "Lucia"^^ . "Acciai"^^ . "Lucia Acciai"^^ . . "Nora"^^ . "Koch"^^ . "Nora Koch"^^ . . "Stephen"^^ . "Gilmore"^^ . "Stephen Gilmore"^^ . . "Matthias"^^ . "Hölzl"^^ . "Matthias Hölzl"^^ . . "Tiziana"^^ . "Margaria"^^ . "Tiziana Margaria"^^ . . "Philip"^^ . "Mayer"^^ . "Philip Mayer"^^ . . "Alessandro"^^ . "Fantechi"^^ . "Alessandro Fantechi"^^ . . "Alessandro"^^ . "Lapadula"^^ . "Alessandro Lapadula"^^ . . "Martin"^^ . "Wirsing"^^ . "Martin Wirsing"^^ . . "Stefania"^^ . "Gnesi"^^ . "Stefania Gnesi"^^ . . "Dániel"^^ . "Varró"^^ . "Dániel Varró"^^ . . "Franco"^^ . "Mazzanti"^^ . "Franco Mazzanti"^^ . . "Andreas"^^ . "Schroeder"^^ . "Andreas Schroeder"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Bernhard"^^ . "Steffen"^^ . "Bernhard Steffen"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . . . . . "SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity (PDF)"^^ . . . . . . . . . . . "isola_2008c.pdf"^^ . . . "SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #413 \n\nSENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .