Abstrakt. Uni ed Modelling Language UML är ett språk för att specificera, visualisera och dokumentera objektorienterade system. UML kombinerar begreppen OOA/OOD, OMT och OOSE och är avsett som standard inom området objektorienterad analys och design. På grund av den saknade formella, matematiska grunden av UML syntaxen och semantiken av ett antal UML konstruktioner är inte exakt de ned. I detta dokument beskrivs ett förslag till den formella grunden för UML som bygger på en matematisk systemmodell.
Ett steg mot formalisering av UML baserat på en matematisk systemmodell görs i REF.
Towards a Formalization of the Unified Modeling Language
{'venue': 'Proceedings of ECOOP\'97 - Object-Oriented Programming, 11th European Conference, Mehmet Aksit, Satoshi Matsuoka (ed.), Jyv\\"askyl\\"a, Finland, June 1997, Springer Verlag, LNCS 1241', 'journal': None, 'mag_field_of_study': ['Computer Science']}