Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!
6
Foliensatz 1.1
gebräuchliche Typen Invarianten
gebräuchliche Typen Invarianten
Beschränkung von Domänen:
●Beschränkung der Werte, die Attribut annehmen kann.
Dauer nicht länger als 4 Stunden
Beschränkung auf Einmaligkeit:
●Attribut oder Attributmenge einer Klasse für die gilt:
Für zwei unterschiedliche Instanzen dieser Klasse dürfen keine
gleichen Werte zugewiesen werden.
Zwei Studenten dürfen nicht die gleiche Matrikelnummer haben
Zeitliche Beschränkung:
●Bedingungen, die abgeleitete Modellelemente definieren
(z.B abgeleitet Attribute).
Inspektion vor oder nach dem Flug
Regeln für Existenz:
●Bestimmte Objekte / Werte müssen existieren / definiert sein.
●Bevor andere Objekte / Werte definiert / erzeugt werden können
Die Person muss in der Firma angestellt sein um entlassen werden zu können
●Beschränkung der Werte, die Attribut annehmen kann.
Dauer nicht länger als 4 Stunden
Beschränkung auf Einmaligkeit:
●Attribut oder Attributmenge einer Klasse für die gilt:
Für zwei unterschiedliche Instanzen dieser Klasse dürfen keine
gleichen Werte zugewiesen werden.
Zwei Studenten dürfen nicht die gleiche Matrikelnummer haben
Zeitliche Beschränkung:
●Bedingungen, die abgeleitete Modellelemente definieren
(z.B abgeleitet Attribute).
Inspektion vor oder nach dem Flug
Regeln für Existenz:
●Bestimmte Objekte / Werte müssen existieren / definiert sein.
●Bevor andere Objekte / Werte definiert / erzeugt werden können
Die Person muss in der Firma angestellt sein um entlassen werden zu können
Tags: Invariante, ocl
Quelle:
Quelle:
Karteninfo:
Autor: Annika
Oberthema: Informatik
Thema: Softwarekonstruktion
Schule / Uni: TU Dortmund
Veröffentlicht: 19.03.2014