On Types, Instances, and Classes in UML (original) (raw)

AI-generated Abstract

The paper addresses the inconsistencies and ambiguities present in the Unified Modeling Language (UML) terminology, particularly concerning the concepts of types, instances, and classes. It critiques the definitions used in the UML glossary, highlighting ambiguities and the lack of systematic terminology resulting in complications for users. A proposed refactoring of the UML terminology aims to enhance clarity and consistency, aligning it with the generic type system defined by RM-ODP. The paper argues for a reevaluation of UML's approach to typing and its implications for various modeling purposes.