End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform

Mikael Buchholtz; Stephen Gilmore; Valentin Haenel; Carlo Montangero

doi:10.1007/11526841_20

End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform

Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero

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

Abstract

We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is presented to the platform for analysis, formal content is extracted in the form of process calculi descriptions, analysed with the analysers of the calculi, and the results of the analysis are reflected back into a modified version of the input UML model. The design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools. We illustrate the approach with a well known protocol and report on the experience of industrial users who have applied Choreographer in their development work.

Original language	English
Title of host publication	FM 2005: Formal Methods
Subtitle of host publication	International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings
Editors	John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki
Publisher	Springer
Pages	286-301
Number of pages	16
ISBN (Electronic)	978-3-540-31714-2
ISBN (Print)	978-3-540-27882-5
DOIs	https://doi.org/10.1007/11526841_20
Publication status	Published - 2005

Publication series

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

Keywords / Materials (for Non-textual outputs)

security analysis
performance analysis
process calculi
UML

Access to Document

10.1007/11526841_20

http://dx.doi.org/10.1007/11526841_20

Cite this

Buchholtz, M., Gilmore, S., Haenel, V., & Montangero, C. (2005). End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. In J. Fitzgerald, I. J. Hayes, & A. Tarlecki (Eds.), FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings (pp. 286-301). (Lecture Notes in Computer Science; Vol. 3582). Springer. https://doi.org/10.1007/11526841_20

Buchholtz, Mikael ; Gilmore, Stephen ; Haenel, Valentin et al. / End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings. editor / John Fitzgerald ; Ian J. Hayes ; Andrzej Tarlecki. Springer, 2005. pp. 286-301 (Lecture Notes in Computer Science).

@inproceedings{00fa6d1a245b440488281d4fab52f184,

title = "End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform",

abstract = "We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is presented to the platform for analysis, formal content is extracted in the form of process calculi descriptions, analysed with the analysers of the calculi, and the results of the analysis are reflected back into a modified version of the input UML model. The design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools. We illustrate the approach with a well known protocol and report on the experience of industrial users who have applied Choreographer in their development work.",

keywords = "security analysis, performance analysis, process calculi, UML",

author = "Mikael Buchholtz and Stephen Gilmore and Valentin Haenel and Carlo Montangero",

year = "2005",

doi = "10.1007/11526841_20",

language = "English",

isbn = "978-3-540-27882-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "286--301",

editor = "John Fitzgerald and Hayes, {Ian J.} and Andrzej Tarlecki",

booktitle = "FM 2005: Formal Methods",

address = "United Kingdom",

}

Buchholtz, M, Gilmore, S, Haenel, V & Montangero, C 2005, End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. in J Fitzgerald, IJ Hayes & A Tarlecki (eds), FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings. Lecture Notes in Computer Science, vol. 3582, Springer, pp. 286-301. https://doi.org/10.1007/11526841_20

End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. / Buchholtz, Mikael; Gilmore, Stephen; Haenel, Valentin et al.
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings. ed. / John Fitzgerald; Ian J. Hayes; Andrzej Tarlecki. Springer, 2005. p. 286-301 (Lecture Notes in Computer Science; Vol. 3582).

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

TY - GEN

T1 - End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform

AU - Buchholtz, Mikael

AU - Gilmore, Stephen

AU - Haenel, Valentin

AU - Montangero, Carlo

PY - 2005

Y1 - 2005

N2 - We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is presented to the platform for analysis, formal content is extracted in the form of process calculi descriptions, analysed with the analysers of the calculi, and the results of the analysis are reflected back into a modified version of the input UML model. The design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools. We illustrate the approach with a well known protocol and report on the experience of industrial users who have applied Choreographer in their development work.

AB - We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is presented to the platform for analysis, formal content is extracted in the form of process calculi descriptions, analysed with the analysers of the calculi, and the results of the analysis are reflected back into a modified version of the input UML model. The design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools. We illustrate the approach with a well known protocol and report on the experience of industrial users who have applied Choreographer in their development work.

KW - security analysis

KW - performance analysis

KW - process calculi

KW - UML

U2 - 10.1007/11526841_20

DO - 10.1007/11526841_20

M3 - Conference contribution

SN - 978-3-540-27882-5

T3 - Lecture Notes in Computer Science

SP - 286

EP - 301

BT - FM 2005: Formal Methods

A2 - Fitzgerald, John

A2 - Hayes, Ian J.

A2 - Tarlecki, Andrzej

PB - Springer

ER -

Buchholtz M, Gilmore S, Haenel V, Montangero C. End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. In Fitzgerald J, Hayes IJ, Tarlecki A, editors, FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings. Springer. 2005. p. 286-301. (Lecture Notes in Computer Science). doi: 10.1007/11526841_20

End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform

Abstract

Publication series

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Cite this