Abstrakt. Vi presenterar en mjukvaruplattform som underlättar säkerhets- och prestandaanalys av system som startar och slutar med UML-modellbeskrivningar. Ett UML-projekt presenteras för plattformen för analys, formellt innehåll extraheras i form av processkalkylbeskrivningar, analyseras med analysatorerna av kalkylen, och resultaten av analysen återspeglas tillbaka i en modifierad version av indata UML-modellen. Den designplattform som stöder metoden, Koreograf, samverkar med toppmoderna UML-modelleringsverktyg. Vi illustrerar tillvägagångssättet med ett välkänt protokoll och rapporterar om erfarenheterna från industriella användare som har tillämpat Koreograf i sitt utvecklingsarbete.
I REF Gilmore m.fl. presentera en plattform för programvaruverktyg för säkerhets- och prestandaanalys av system.
End-to-end integrated security and performance analysis on the DEGAS Choreographer platform
{'venue': 'PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM OF FORMAL METHODS EUROPE (FM 2005), NUMBER 3582 IN LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}