I detta dokument ger vi en systematisk formell tolkning för de flesta delar av UML notation. Denna tolkning, i en strukturerad temporal logik, möjliggör exakt analys av egenskaperna hos dessa modeller, och verifiering av en modell mot en annan. Vi utökar tidigare arbete genom att tillhandahålla en strukturerad logisk tolkning för sekvensdiagram, där objektkommunikation representeras med hjälp av teorimorfismer. Som en tillämpning av formaliseringen visar vi hur införandet av särskilda mönster kan visa sig vara förädlingsomvandlingar.
I REF, Lano et al. tillhandahöll en systematisk formell tolkning (utökad första ordningens satsteori) för de flesta delar av UML-notationen.
Structured Axiomatic Semantics for UML Models
{'venue': 'ROOM 2000 Proceedings, to appear in Electronic Workshops in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}