EinfÃ¼hrung in die Informatik II UML - Technische UniversitÃ¤t MÃ¼nchen

Weitere Magazine

Empfehlungen

Info

Einschub: Formale Methoden vs Modellierung Die Modellierungssprache UML ist nicht exakt. Die Notation istnicht formal begründet, d.h. es gibt keine formale Grammatik für dieNotation. Also kann das Metamodell nicht mathematisch exakt sein. Die Idee einer exakten Entwurfssprache ist das zentrale Thema desGebietes Formale Methoden im Hauptstudium, wo Entwürfe miteiner auf einem Kalkül basierenden Technik mathematischbeschrieben werden (auch mathematische Spezifikation genannt). Mathematische Spezifikationen sind exakt und unmißverständlich:– Man kann z.B. beweisen, dass ein Programm eine mathematische Spezifikationerfüllt (Wir werden dazu Entwurf durch Verträge und den Zusicherungs-Kalkül von Hoare benutzen).– Es gibt aber keine Möglichkeit zu beweisen, dass eine mathematischeSpezifikation die Anforderungen an ein Informatik-System erfüllt.⇒ mehr im HauptstudiumCopyright 2004 Bernd Brügge Einführung in die Informatik II: TUM Sommersemester 2004 8
UML-Klassendiagramm: Notation anhand einesBeispielsAuftragempfangsdatumistVorausbezahltanzahl: Stringpreis: Geldausführen()abschließen()*1nameaddresseKundekreditwürdigkeit():String{ W e n nA uftrag.Kunde.k redit w ürdigkeit"g eri ng", d a n n mußA uftrag.i stVorausbezahlt trues ein}1P ositionen*FirmenkundePrivatkundeAuftragspositionmenge: Integerpreis: GeldistGeliefert: Booleanunternehmensnamekreditwürdikgeitkreditlimiterinnern()kreditkartennr*1Produkt*Ve rkäufer{kreditwü rdigkeit() = = ge ri n g}0..1AngestellterCopyright 2004 Bernd Brügge Einführung in die Informatik II: TUM Sommersemester 2004 9
Seite 1 und 2: Einführung in die Informatik IIUML
Seite 3 und 4: Zur Wiederholung Ein System kann al
Seite 5 und 6: UML ist eine Sprache UML ist eine M
Seite 7: UML: Notation und Metamodell UML is
Seite 13 und 14: Sichtbarkeit in UML In UML gibt es
Seite 15 und 16: Sichtbarkeitssymbole in UML-Klassen
Seite 17 und 18: UML-Syntax von ParameternRichtung N
Seite 19 und 20: Arten von UML-Operationen Anfrage (
Seite 21 und 22: Operationen in Programmiersprachen
Seite 23 und 24: Assoziationen in UML (Beispiel){ We
Seite 25 und 26: Rollen in UML (Beispiel)Auftrag{ We
Seite 27 und 28: Multiplizitäten in UML (Beispiel){
Seite 29 und 30: Modellierung von Einschränkungen m
Seite 31 und 32: Formale Einschränkungen in UML: OC
Seite 33 und 34: Benutzer von Klassendiagrammen Die
Seite 35 und 36: Warum diese Unterscheidung?Der Kund
Seite 37 und 38: Welche Anwendungsklassen sehen Sie
Seite 39 und 40: Drei Arten von Implementierern Klas
Seite 41 und 42: Erstellung von Informatik-Systemen:
Seite 43 und 44: Klassendiagramme sind immer Teile v
Seite 45 und 46: Spezifikationsmodell Das Spezifikat
Seite 47 und 48: Entwicklungsaktivitäten sind Model
Seite 49 und 50: Die Benutzer des Spezifikationsmode
Seite 51 und 52: Private Schnittstelle (private inte
Seite 53 und 54: Je nach Modell haben Assoziationen
Seite 55 und 56: Einschub: Was ist der Unterschied z
Seite 57 und 58: Weitere UML-Diagrammarten Klassendi
Seite 59 und 60:
Anwendungsfall Ein Anwendungsfall b
Seite 61 und 62:
Modellieren wir doch mal das Proble
Seite 63 und 64:
Leider benutzen wir die Klasse ganz
Seite 65 und 66:
Organisatorisches: Interaktive Lehr
Seite 67 und 68:
Fragen 5/4/2004 Warum haben wir das
Seite 69 und 70:
Akteur Definition Akteur (actor): D
Seite 71 und 72:
Vom abstrakten Szenario zum Anwendu
Seite 73 und 74:
Beziehungen zwischen Anwendungsfäl
Seite 75 und 76:
Beispiel für Funktionale Dekomposi
Seite 77 und 78:
Wann wende ich die Enthält-Beziehu
Seite 79 und 80:
Erweitert- Beziehung zwischen Anwen
Seite 81 und 82:
Wie finde ich teilnhmende Objekte/K
Seite 83 und 84:
Substantiv-Verb AnalyseNach dem Erf
Seite 85:
Zusammenfassung der wichtigsten Kon
Alle anzeigen

EinfÃ¼hrung in die Informatik II UML - Technische UniversitÃ¤t MÃ¼nchen

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?