Choreographing Security and Performance Analysis for Web Services

Stephen Gilmore; Valentin Haenel; Leïla Kloul; Monika Maidl

doi:10.1007/11549970_15

Choreographing Security and Performance Analysis for Web Services

Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from the UML models in the form of process calculus descriptions. These are analysed to provide strong guarantees of satisfactory security and performance. The results are reflected back in the form of a modified version of the UML model which highlights points of the design which can give rise to operational difficulties. A design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools such as Poseidon. We illustrate the approach on an example.

Original language	English
Title of host publication	Formal Techniques for Computer Systems and Business Processes
Subtitle of host publication	European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Editors	Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro
Publisher	Springer
Pages	200-214
Number of pages	15
ISBN (Electronic)	978-3-540-31903-0
ISBN (Print)	978-3-540-28701-8
DOIs	https://doi.org/10.1007/11549970_15
Publication status	Published - 2005

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg
Volume	3670
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/11549970_15

http://dx.doi.org/10.1007/11549970_15

Cite this

Gilmore, S., Haenel, V., Kloul, L., & Maidl, M. (2005). Choreographing Security and Performance Analysis for Web Services. In M. Bravetti, L. Kloul, & G. Zavattaro (Eds.), Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings (pp. 200-214). (Lecture Notes in Computer Science; Vol. 3670). Springer. https://doi.org/10.1007/11549970_15

Gilmore, Stephen ; Haenel, Valentin ; Kloul, Leïla et al. / Choreographing Security and Performance Analysis for Web Services. Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings. editor / Mario Bravetti ; Leïla Kloul ; Gianluigi Zavattaro. Springer, 2005. pp. 200-214 (Lecture Notes in Computer Science).

@inproceedings{251428b18acd4522bc4d7d18f98fbb08,

title = "Choreographing Security and Performance Analysis for Web Services",

abstract = "We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from the UML models in the form of process calculus descriptions. These are analysed to provide strong guarantees of satisfactory security and performance. The results are reflected back in the form of a modified version of the UML model which highlights points of the design which can give rise to operational difficulties. A design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools such as Poseidon. We illustrate the approach on an example.",

author = "Stephen Gilmore and Valentin Haenel and Le{\"i}la Kloul and Monika Maidl",

year = "2005",

doi = "10.1007/11549970\_15",

language = "English",

isbn = "978-3-540-28701-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "200--214",

editor = "Mario Bravetti and Le{\"i}la Kloul and Gianluigi Zavattaro",

booktitle = "Formal Techniques for Computer Systems and Business Processes",

address = "United Kingdom",

}

Gilmore, S, Haenel, V, Kloul, L & Maidl, M 2005, Choreographing Security and Performance Analysis for Web Services. in M Bravetti, L Kloul & G Zavattaro (eds), Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings. Lecture Notes in Computer Science, vol. 3670, Springer, pp. 200-214. https://doi.org/10.1007/11549970_15

Choreographing Security and Performance Analysis for Web Services. / Gilmore, Stephen; Haenel, Valentin; Kloul, Leïla et al.
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings. ed. / Mario Bravetti; Leïla Kloul; Gianluigi Zavattaro. Springer, 2005. p. 200-214 (Lecture Notes in Computer Science; Vol. 3670).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Choreographing Security and Performance Analysis for Web Services

AU - Gilmore, Stephen

AU - Haenel, Valentin

AU - Kloul, Leïla

AU - Maidl, Monika

PY - 2005

Y1 - 2005

N2 - We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from the UML models in the form of process calculus descriptions. These are analysed to provide strong guarantees of satisfactory security and performance. The results are reflected back in the form of a modified version of the UML model which highlights points of the design which can give rise to operational difficulties. A design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools such as Poseidon. We illustrate the approach on an example.

AB - We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from the UML models in the form of process calculus descriptions. These are analysed to provide strong guarantees of satisfactory security and performance. The results are reflected back in the form of a modified version of the UML model which highlights points of the design which can give rise to operational difficulties. A design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools such as Poseidon. We illustrate the approach on an example.

U2 - 10.1007/11549970_15

DO - 10.1007/11549970_15

M3 - Conference contribution

SN - 978-3-540-28701-8

T3 - Lecture Notes in Computer Science

SP - 200

EP - 214

BT - Formal Techniques for Computer Systems and Business Processes

A2 - Bravetti, Mario

A2 - Kloul, Leïla

A2 - Zavattaro, Gianluigi

PB - Springer

ER -

Gilmore S, Haenel V, Kloul L, Maidl M. Choreographing Security and Performance Analysis for Web Services. In Bravetti M, Kloul L, Zavattaro G, editors, Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings. Springer. 2005. p. 200-214. (Lecture Notes in Computer Science). doi: 10.1007/11549970_15

Choreographing Security and Performance Analysis for Web Services

Abstract

Publication series

Access to Document

Fingerprint

Cite this