spacer
spacer search

Software Engineering for Service-Oriented Overlay Computers
Software Engineering for Service-Oriented Overlay Computers

Search
spacer
 
header
Main Menu
 
Home arrow Publications

SENSORIA Overview Publications Print

Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

show all publications

A Pattern-Based Approach to Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
Martin Wirsing, Matthias Hölzl, Lucia Acciai, Allan Clark, Federico Banti, 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ániel Varró.
Proc. of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), Porto Sani, Greece. LNCS. Springer-Verlag. 2008.
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.
paper download: 2008_10_13_Sensoria_Patterns.pdf
Main: Overview
Partners: BUTE, CIR, DSIUF, ISTI, LMU, UEDIN
Status: public
Tasks: T6.4, T7.3
@INPROCEEDINGS{wirsing-et-al:isola:2008,
  author = {Martin Wirsing and Matthias H{\\"o}lzl and Lucia Acciai and Allan Clark and Federico Banti and Alessandro Fantechi
and Stephen Gilmore and Stefania Gnesi and Laszlo 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{\\'a}niel Varr{\\'o} },
  title = {{A Pattern-Based Approach to Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity}},
  booktitle = {Proc. of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), Porto Sani, Greece},
  year = {2008},
  series = {{LNCS}},
  publisher = {{Springer-Verlag}},
  partner = {LMU,CIR,DSIUF,ISTI,UEDIN},
  status = {public},
  task = {T7.3},
  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.}
}
spacer

The Sensoria Project Website
2005 - 2010
spacer