Abstrakt. I detta dokument beskrivs metoder och verktyg för automatiserad säkerhetsanalys av UML statechart-specifikationer. De allmänna säkerhetskriterier som beskrivs i litteraturen ses över och automatiserade analystekniker föreslås. Teknikerna baserade på OCL-uttryck och graftransformationer är detaljerade och deras begränsningar diskuteras. För att påskynda kontrollmetoderna införs en reducerad form för UML statecharts. Med hjälp av detta formulär kan korrektheten och fullständigheten hos vissa kontrollmetoder bevisas. Ett exempel illustrerar tillämpningen av de verktyg som utvecklats hittills.
Andra arbeten på säkerhet och UML inkluderar REF som presenterar metoder och verktyg för automatiserad säkerhetskontroll i UML statecharts specifikationer.
Checking General Safety Criteria on UML Statecharts
{'venue': 'ICRE', 'journal': None, 'mag_field_of_study': ['Computer Science']}