Klasse (OOP)

Definitionen (von OMG: UML 2.3)

Classifier

A classifier is a classification of instances — it describes a set of instances that have features in common.

Übersetzung (von W. Kowarschick):
Ein Klassifikator [Classifier] ist eine Klassifikation von Objekten — er beschreibt eine Menge von Objekten, die Eigenschaften gemein haben.

Class

A class describes a set of objects that share the same specifications of features, constraints, and semantics.

Übersetzung (von W. Kowarschick):
Eine Klasse beschreibt eine Menge von Objekten, die sich dieselben Spezifikationen von Eigenschaften, [Integritäts-]Bedingungen und Semantik teilen.

Abstract Classifier, Abstract Class

Laut UML-2.3-Standard hat jeder Klassifikator und damit auch jede Klasse ein Attribut isAbstract. Für dieses gilt folgende Bedingung:

If true, the Classifier does not provide a complete declaration and can typically not be instantiated.

Übersetzung (von W. Kowarschick):
Falls [dieses Attribut den Wert] wahr [hat], bietet der Klassifikator keine vollständige Deklaration und kann typischerweise nicht instanziiert werden.

Interface

An interface is a kind of classifier that represents a declaration of a set of coherent public features and obligations. An interface specifies a contract; any instance of a classifier that realizes the interface must fulfill that contract.

Übersetzung (von W. Kowarschick):
Eine Schnittstelle [ein Interface] ist eine [spezielle] Art eines Klassifikators [Classifiers], der die Deklaration einer Menge von kohärenten offentlichen Eigenschaften und Verpflichtungen [im Sinne von Constraints] definiert. Eine Schnittstelle spezifiziert einen Vertrag; jedes Objekt eines Klassifikators, das die Schnittstelle realisiert, muss diesen Vertrag erfüllen.

Definitionen (von W. Kowarschick)

Klasse

miniatur|rechts|300px|UML-Klassendiagramm: Eine Klasse und ein Klassen-Template Eine Klasse dient (im Sinne des objektorienten Paradigmas) dazu, die Schnittstellen und evtl. auch eine oder gar mehrere Implementierungen von „gleichartigen“ Objekten ganz oder zumindest teilweise festzulegen.

Eine Klasse besteht aus folgenden Teilen:

• einer Klassenextension: Die Klassenextension ist eine (i. Allg. endliche) Menge, die zu jedem Zeitpunkt genau diejenigen Objekte, die der Klasse zugeordnet sind, enthält.

• einem Klassenschema (einer Klassenspezifikation): Das Klassenschema umfasst eine (endliche) Menge von Integritätsbedingungen, die alle zugehörigen Objekte (d.h. alle in der Klassenextension enthaltenen Elemente) zu jedem Zeitpunkt erfüllen müssen. Das Schema deklariert insbesondere die Methoden, die für jedes Objekt der Klassenextension jederzeit als Kommunikationsschnittstelle zur Verfügungstehen müssen.

• beliebig vielen (0, 1, 2, ...) Klassenimplementierungen: Diese implementieren die im Klassenschema deklarierten Methoden teilweise oder vollständig und garantieren dabei die stete Erfüllung aller im Klassenschema definierten Integritätsbedingungen. Unterschiedliche Implementierungen können sich in Hinblick auf Performanz-Aspekte unterscheiden.

• den Klassenmethoden (statische Methoden): Eine Klasse verhält sich wie ein spezielles Objekt) und kann daher eigene (Klassen-)Methoden und (Klassen-)Attribute enthalten. Überlicherweise gibt es zumindest Methoden zur Verwaltung der Klassenextension, d.h. zum Erzeugen (Konstruktoren) und evtl. auch zum Zerstören (Destruktoren) von zugeordneten Objekten.

Abstrakte Klasse

miniatur|rechts|300px|UML-Klassendiagramm: Abstrakte Klasse Eine Klasse, für die es keine Klassenimplementierungen gibt, die die im Klassenschema definierten Methoden vollständig implementieren, heisst abstrakte Klasse.

Schnittstelle (Interface)

miniatur|rechts|300px|UML-Klassendiagramm: Interface Eine Klasse, für die es keine Klassenimplementierung gibt, heißt Schnittstelle oder Interface.

Anmerkung

Jede Schnittstelle ist auch eine abstrakte Klasse.

Interfaces unterstützen i. Allg. auch keine Klassenmethoden. Dies wurde aber in der obigen Definition nicht explizit gefordert.

Metaklasse

miniatur|rechts|300px|UML-Klassendiagramm: Eine Metaklasse und eine Metametaklasse Eine Klasse, deren Extension zu jedem Zeitpunkt ausschließlich Klassen(objekte) enthält, heißt Metaklasse.

Metametaklasse

Eine Klasse, deren Extension zu jedem Zeitpunkt ausschließlich Metaklassen(objekte) enthält, heißt Metametaklasse.

Metametametaklasse

Und so weiter ...

Singleton-Klasse

miniatur|rechts|300px|UML-Klassendiagramm: Singleton-Klasse Eine Klasse, deren Extension genau ein Objekt enthält, heißt Singleton-Klasse oder kurz Singleton.

Subklasse

miniatur|rechts|300px|UML-Klassendiagramm: Eine Superklasse und zwei Subklassen Eine Klasse B heißt Subklasse der Klasse A, wenn die Extension von B eine Teilmenge der Extension von A ist und wenn die Integritätsbedingungen der Klasse A logisch aus den Integritätsbedingungen der Klasse B folgen:

Integritätsbedingungen(B) ⇒ Integritätsbedingungen(A)

Das heißt, jedes Objekt aus der Extension von B liegt nicht nur auch in der Extension von A, sondern erfüllt auch alle Integritätsbedingungen von A.

Siehe auch: Vererbung

Superklasse

Eine Klasse A heißt Superklasse der Klasse B genau dann wenn die Klasse B Subklasse der Klasse A ist.

Siehe auch: Vererbung

Bemerkungen

In der Definition des UML-Standards ist die Klasse ein spezieller Klassifikator. Ein Klassifikator beschreibt eine Menge von Objekten (Instanzen), die gemeinsame Eigenschaften haben. Hier klingen die Begriffe „Klassenextension“ („set of instances“) und „Integritätsbedingungen“ („features“) bereits an, sind aber recht vage gehalten. Bei der Definition des Begriffes „Klasse“ wird die Extension abermals explizit erwähnt („set of objects“), daruber hinaus wird auch explizit von „constraints“ gesprochen. Methoden und Attribute („features“ einschließlich der zugehörigen „semantics“) werden jedoch gesondert genannt, während sie in der Definition von Kowarschick als spezielle Integritätsbedingungen verstanden werden. Die Methodenimplementierungen sowie die Klassenmethoden fehlen in der UML-Definition vollkommen. Daher unterscheiden sich die beiden Definitionen von

„Classifier“ und „Class“ inhaltlich kaum, obwohl das zweite eine Spezialfall des ersten ist.

Schnittstellen werden in UML 2.3 als spezielle Klassifikatoren definiert. Kowarschick definiert sie dagegen als spezielle Klassen. Das heißt, die Definition von UML 2.3 ist etwas allgemeiner (aber auch etwas schwammiger).

Abstakte Klassen werden sowohl in UML 2.3, als auch bei Kowarschick als spezielle Klassen aufgefasst. Allerdings ist die Definition von UML 2.3 missverständlich: Selbstverständlich enthält auch die Klassenextension einer Abstrakten Klasse Elemente (Instanzen). Diese Extension kann allerdings keine Objekte enthalten, die nicht auch Element der Extension einer nicht-abstrakten Subklasse sind (da die zugehörigen Objekte sonst nicht gemäß ihrer Spezifikation verwendet werden könnten: diese würde an den unvollständigen Implementierungen der Abstrakten Klasse scheitern). Das heißt, die Extension einer Abstrakten Klasse kann keine „eigenen“ Instanzen enthalten.

Die von Kowarschick verwendenten Begriffe Klassenschema und Klassenextension haben ihren Ursprung in der Datenbankwelt: Diese Bezeichnungen betonen die Verwandschaft zwischen objektorientierten Systemen und Datenbanksystemen:

Objektorientierte Systeme	Datenbanksysteme
Klasse	Relation/Tabelle
Klassenschema	Relationenschema
Klassenextension	Extension einer Relation (= Menge aller Tupel)
Objekt	Tupel/Entität
Attribut/Zustandsvariable	Attribut

Ja, sogar die in objektorientierten Sprachen so weit verbreitete Punktnotation (myCar.maxSpeed) wurde aus der Datenbankwelt (SQL) übernommen.

Quellen

• Kowarschick, W.: Multimedia-Programmierung
• Kowarschick, W. (2002): Multimedia-Programmierung - Objektorientierte Grundlagen
• Kowarschick, W. (2002): Skriptum zur Vorlesung Multimedia Softwareentwicklung II

Siehe auch

Wikipedia: Klasse (objektorientierte Programmierung)

Dieser Artikel ist GlossarWiki-konform.