- 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.
- Copyright:
- 2006 by The University of Edinburgh. All Rights Reserved
- Links To Paper
- SpringerLink Chapter
- Copy on my home page
- Bibtex format
- @InProceedings{EDI-INF-RR-0772,
- author = {
Mikael Buchholtz
and Stephen Gilmore
and Valentin Haenel
and Carlo Montangero
},
- title = {End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform},
- book title = {Proceedings of FM 2005 (World Congress on Formal Methods)},
- publisher = {Springer},
- year = 2005,
- month = {Jul},
- volume = {3582},
- pages = {286-301},
- doi = {10.1007/11526841_20},
- url = {http://dx.doi.org/10.1007/11526841_12},
- }
|