End-to-end integrated security and performance analysis on the DEGAS Choreographer platform

Mikael Buchholtz; Stephen Gilmore; Valentin Haenel; Carlo Montangero

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 › Article in proceedings › Research › peer-review

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	Formal Methods 2005
Publication date	2005
Publication status	Published - 2005

Access to Document

http://www2.imm.dtu.dk/pubdb/p.php?3656

OpenUrl availability

Full text

Cite this

@inproceedings{015eb275512b4b61afb7ab4bb7122e81,

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.",

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

year = "2005",

language = "English",

booktitle = "Formal Methods 2005",

}

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.

M3 - Article in proceedings

BT - Formal Methods 2005

ER -