Basiskonzepte

Transcription

Basiskonzepte

Digitally signed by Mario
Jeckle
Reason: I am the author
of this document
Location: www.jeckle.de
Date: 2004.06.09
21:07:55 +02'00'
Verhaltensdiagramme
3.2 Use-Case-Diagramm
3.3 Aktivitätsdiagramm
3.4 Zustandsautomat
Prof. Mario Jeckle
Fachhochschule Furtwangen
[email protected]
http://www.jeckle.de
Fachhochschule Furtwangen, Sommersemester 2004
Use-Case-Diagramm
Dient
• Darstellung von externem Verhalten des Systems
• Darstellung aus Nutzersicht
• Darstellung von Reaktion des Systems auf Ereignisse in
der Umwelt
jeckle.de
Antwort auf die Frage:
Was soll das System leisten?
M. Jeckle: 3.2 Use-Case-Diagramm. Fachhochschule Furtwangen, Sommersemester 2004
2
Use-Case-Analyse
Analysergebnis kann textuell oder graphisch dargestellt
werden.
jeckle.de
UML Use-Case-Diagramm zeigt extern sichtbares
Verhalten von:
•
•
•
•
•
Elementen
Klassen
Schnittstellen
Knoten
etc.
3
Use Case
Kapselt in sich geschlossene Sammlung von Aktionen mit
spezifischer Reihenfolge:
•
•
•
•
•
Auslöser/Initiator
Schritte
Sonderfälle
Akteure
Ergebnis
jeckle.de
OHNE
• Klassen
• Operationen
4
Use-Case-Diagramm
Vorteile:
jeckle.de
• Übersichtlichkeit, da wenige Notationselemente
• Leicht verständlich auch für Laien
• Überblick über das System und Einbettung in den
Kontext
• Klare Systemabgrenzung
5
Use-Case-Diagramm – Ein Beispiel
Einweihungsfeier
Tanzen
«Vorbedingung»
{Kühlschrank geplündert}
extension points
Nachschub
Trinken
«extend»
Gast
extension points
Nachschub
«extend»
Unterhalten
Nachschub ordern
Essen
Feier auflösen
jeckle.de
«include»
Gastgeber
Gäste
hinausbegleiten
«include»
Feier abrupt beenden
Polizei
6
Notationselemente
Das Use-Case-Diagramm verfügt über folgende
Notationselemente:
jeckle.de
•
•
•
•
•
Use Case
System
Akteur
include-Beziehung
extend-Beziehung
7
Use Case = Anwendungsfall
Darstellung durch eine Ellipse, die entweder den UseCase-Namen enthält oder unter der der Name steht
U se-C ase-N am e
jeckle.de
U se-C ase-N am e
8
Use Case
• Beschreibt eine Reihe von Aktionen, die nacheinander
ein Verhalten formen
• Wird immer von einem Akteur ausgelöst
• Hat immer ein Ergebnis
• Kann gleichzeitig mehrfach instanziiert werden
• Spiegelt funktionales Verhalten wieder – interne
Abläufe sind irrelevant
jeckle.de
Anfrage/Trigger
Ergebnis
Akteur
Ausführung
der Anfrage
Use-Case
9
Use Case
Mehrere Use Cases können auch in Beziehung gesetzt
werden:
1. Authentifizierung starten
Standardauthentifizierung
Benutzer
Chipkartenauthentifizierung
Fingerabdruckauthentifizierung
2. Chipkarte durchziehen
3. Chip ID verifizieren
4.
-
jeckle.de
2. Benutzername eingeben
2. Identifizierung starten
4. Identifizierung bestätigen
2. Benutzername eingeben
3. Fingerabdruck scannen
4.
-
• Aus zwei Abläufen wird einer modelliert
• Generalisierung und Spezialisierung sind möglich, wenn im
Basis Use Case allgemeines Verhalten definiert wird
10
System
Darstellung erfolgt durch ein Rechteck, dessen Kanten
die Systemgrenzen darstellen
jeckle.de
Systemname
11
System
jeckle.de
• Realisiert und etabliert das im Use Case beschriebene
Verhalten
• Kann Klasse, Schnittstelle, Komponente, Subsystem
sein
• Ist im Use-Case-Diagramm nicht zwingend nötig
12
System
Person
Essen & trinken
jeckle.de
Schlafen
«interface»
Übertragbar
Adressangabe
Übertragungskonfiguration
Bewegen
Klasse
Versand
Schnittstelle
«component»
Auftragsabwicklung
Auftrag aufgeben
Auftragsstatistik
erstellen
Auftrag anehmen
Komponente
13
Akteur
Darstellung als „Strichmännchen“
jeckle.de
Name des Akteurs
14
Akteur
• Repräsentiert die Rolle, die von außen mit dem System
interagiert
• Steht in ständigem Signal- und Datenaustausch mit
Use Case
• Beteiligung des Akteurs an Use Case wird durch binäre
Assoziation dargestellt
(gerichtete) Assoziation
jeckle.de
Testament erstellen
Notar
Gericht
(binäre)
Assoziation
Use-Case
Name des Akteurs
Erblasser
15
System
Richtungsfunktion der Assoziation, Rollen und
Multiplizitäten sind möglich
Z ahler
1
Diskothek
Eintritt zahlen
1
0..*
1
1
Essen und trinken
Musik hören
jeckle.de
Besucher
16
include-Beziehung
Darstellung durch Abhängigkeitsbeziehung mit
Stereotyp include von abhängigem, importiertem Use
Case zu unabhängigem, inkludiertem Use Case
jeckle.de
« in c lu d e »
17
include-Beziehung
• Zeigt, daß ein Use Case das Verhalten eines anderen
importiert
A
«include»
B
jeckle.de
• Use Case darf durch mehrere andere Use Cases
inkludiert werden
• Verhalten wird immer inkludiert – nicht optional
Kundendaten
ändern
«include»
«include»
Berechtigung
prüfen
Kundendaten
anzeigen
18
extend-Beziehung
Darstellung durch eine Abhängigkeitsbeziehung mit
Stereotyp extend vom erweiternden Use Case zu
erweitertem Use Case
jeckle.de
«extend »
19
extend-Beziehung
Zeigt, daß Verhalten eines Use Cases durch anderen Use
Case erweitert werden kann aber nicht muss
extension points:
Festnahme
Personenkontrolle
durchlaufen
«extend»
Passagier
festnehmen
jeckle.de
Passagier
Grenzpolizist
20
extend-Beziehung
Erweiterungspunkt:
• hier kann Verhalten eines Use Case erweitert werden
• Use Case kann mehrere Erweiterungspunkte haben
• Darstellung durch eigenen, durch „extension Point“
bezeichneten Abschnitt im Use Case
jeckle.de
extension points
Name [: Freitext]
extension points
Leibesvisitation
Metalldetektion : prüfen auf
gefährliche Gegenstände
Gepäckprüfung : parallel zur
Personenprüfung
Use-Case-Name
Personenkontrolle durchführen
21
extend-Beziehung
Die Auswertung einer extend-Beziehung:
B
«extend»
A
Condition: {x}
extension point: EP1
1.
2.
3.
4.
«extend»
extension points
EP1
EP2
Condition: {y}
extension point: EP2
1.
}
C
2.
EP1
{x erfüllt}
[ja]
[nein]
3.
EP2
{y erfüllt}
[ja]
[nein]
}
jeckle.de
4.
1.
2.
3.
22
jeckle.de
3.3 Das Aktivitätsdiagramm
M. Jeckle: 3.3 Aktivitätsdiagramm. Fachhochschule Furtwangen, Sommersemester 2004
23
Aktivitätsdiagramm
Dient Darstellung von Abläufen im System inklusive
Nebenläufigkeiten oder alternativen
Entscheidungswegen
jeckle.de
Wie realisiert das System bestimmtes Verhalten?
24
Aktivitätsdiagramm
jeckle.de
Umfasst
• Rahmen und Regeln für Verhaltensabläufe
• Start- und Endpunkte
• Verzweigungen
• Bedingungen
25
Aktivitätsdiagramm
Modellieren von Aktivitäten:
• Aktivität = Menge an potenziellen Abläufen zur Laufzeit,
selten trivial
jeckle.de
• Abläufe = z.B. Geschäftsprozesse, Methoden von
Klassen,Visualisieren von Systemprozessen
26
Aktivitätsdiagramm - Elemente
Die Elemente sind
jeckle.de
• Eine nichtleere Menge von Aktivitäten
• Aktionen; Einzelschritt der durchlaufen wird
• Objektknoten; repräsentiert beteiligte Daten oder
Gegenstände
• Kontrollelemente zur Ablaufsteuerung zwischen
Aktionen oder Objektknoten
• Verbindende Kanten
27
Aktivitätsdiagramm
möglicher Ablauf
Aktivität
Einladung bekommen
Aktivitätsname
Einladung
Datum prüfen
Objektknoten
Aktion
[Zeit
vorhanden]
Kante
Lust auf Feier
prüfen
[keine Zeit]
Bedingung
[keine Lust]
[Lust
vorhanden]
Kontrollknoten
jeckle.de
Feier absagen
Zur Feier
zusagen
28
Das Tokenkonzept
jeckle.de
• Dient der verbesserten Darstellung nebenläufiger Abläufe
• Token =
• „Marke“, legt Abarbeitungsposition des Ablaufs fest
• Tokenwanderung durch Aktivität bedeutet Abarbeitung
läuft
• in einer Abarbeitung können mehrere Tokens
vorkommen
• werden im Aktivitätsdiagramm nicht graphisch
dargestellt
29
Verwendung Token
jeckle.de
•
•
•
•
•
•
•
Abarbeiten von Aktionen
Verzweigung und Vereinigung
Parallelabarbeitung und Synchronisation
Objektflüsse
Verweildauer
Bedingte und gewichtete Abarbeitung
Start und Ende von Abläufen
30
jeckle.de
Notationselemente
•
•
•
•
•
•
•
•
•
Die Notationselemente des Aktivitätsdiagramms sind
zahlreich:
Aktion
Strukturierter Knoten
Aktivität
Mengenverarbeitungsbereich
Objektknoten
Schleifenknoten
Kanten
Entscheidungsknoten
Kontrollelemente
Parametersatz
Unterbrechungsbereich
Exception-Handler
Aktivitätsbereich
31
Aktion
Darstellung durch ein Rechteck mit abgerundeten
Ecken mit Namen oder Text zur Operation
jeckle.de
Aktionsname
Einladung
verschicken
32
Aktion
•
•
•
•
•
Aufruf von Verhalten oder Bearbeitung von Daten
Einzelschritt der Aktivität
Zentrales Element des Aktivitätsdiagramms
Über Kanten mit anderen Elemente verbunden
Um Aktion starten zu können, müssen auf allem
eingehenden Kanten Token angeboten sein
jeckle.de
Cocktail trinken
Glas
[voll]
trinken
Glas
[leer]
33
Aktion
Vor- und Nachbedingung:
«localPrecondition»
Vorbedingung
sind bei Aktionsstart oder -ende
Bedingungen zu beachten, können
diese als Notizzettel notiert werden
«localPrecondition»
unbeliebter Mitarbeiter
jeckle.de
Aktionsname
«localPostcondition»
Nachbedingung
Mobbing
«localPostcondition»
Mitarbeiter hat gekündigt
34
Aktion
Signale und Ereignisse:
Soderformen der Aktion;
SendSignalAction und
Reparatur
ausgeführt
sende Signal
jeckle.de
AcceptEcentAction
empfange
Ereignis
erster Gast
trifft ein
Bierfass
anzapfen
35
Aktivität
• Darstellung durch großes Rechteck mit abgerundeten
Ecken
• Mögliche Parameter als Objektknoten auf
Aktivitätsgrenze
Name
«precondition»
«postcondition»
Eingangsparameter 1
Ausgangsparameter
jeckle.de
Eingangsparameter 2
36
Aktivität
• Besteht aus Folge von Aktionen und Elementen
• Schachtelung möglich:
• Vorteil für Lesbarkeit und Übersichtlichkeit
• Kennzeichnung durch Harke rechts unten
Speisen zubereiten
Zutaten
jeckle.de
Speisen zubereiten
Kochen
Würzen
Dekorieren
37
Objektknoten
Darstellung durch ein Rechteck
jeckle.de
Typ des
Objektknotens
Getränk
38
Objektknoten
jeckle.de
• Repräsentiert Ausprägungen eines bestimmten Typs in
der Aktivität
• Logisches Gerüst um Daten und Werte zu
transportieren
• Ist Ergebnis von vorangegangener Aktion
• Ist Eingabe für folgende Aktion
• Führt ein Pfeil von Aktion zu Objektknoten: Ausprägung
von Typ des Objektknoten ist Ergebnis der Aktion
Cocktail mixen
Cocktail
39
Objektknoten
Objektknoten akzeptier Daten von Token nur, wenn die
Daten typkompatibel zum Objektknoten sind
C o c k ta il
jeckle.de
a lk o h o lfre ie r
C o c k ta il
a lk o h o lh a ltig e r
C o c k ta il
40
Kanten
• Darstellung durch Pfeil mit Namen
• Ist gerichteter Übergang zwischen Knoten
jeckle.de
N a m e
41
Kanten
jeckle.de
Es gibt zwei Sorten von Kanten
a) Kontrollfluss:
Kante zwischen zwei Aktionen oder
zwischen Aktion und Kontrollelement.
Token tragen hier keine Daten und
dienen nur Aktionsausführung
Kontrollflüsse
42
Kanten
b) Objektfluss:
Kante mit mindestens einem
Objektknoten.
Kante trägt Token, der Daten zu oder von
Objektknoten transportiert.
jeckle.de
O b je k tflü s s e
43
Kanten
Möglichkeiten:
• Belegung der Kante mit Bedingungen
[Bedingung]
Bier
[Menge > 2 Liter]
torkeln
• Sortierung von Datentoken um Reihenfolge auf Kante
festzulegen
jeckle.de
«selection»
Spezifikation
Pin-Name
Pin-Name
44
Kanten
• Gewichtung der Kanten um zu sehen, wie viele Token
für einen Ablauf benötigt werden
{weight=n}
{weight=2}
Person
heiraten
jeckle.de
• Sprungmarken zur Unterbrechung von Kanten um
Übersichtlichkeit zu wahren
n
n
45
Kontrollelemente
Zur Ablaufsteuerung gibt es mehrere Kontrollelemente:
jeckle.de
Startknoten
Endknoten
Verzweigungsknoten
Parallelisierungsknoten
Verbindungsknoten
Synchronisationsknoten
46
jeckle.de
Kontrollelemente
• Startknoten:
Startpunkt des Ablaufs bei
Aktivierung von Aktivitäten
• Endknoten:
a) für Aktivitäten; beendet
gesamte Aktivität
b) für Kontrollflüsse; markiert
Ablaufende
• Verzweigungsknoten:
spaltet Kante in mehrere
Alternativen
• Verbindungsknoten:
führt Kanten unsynchronisiert
zusammen
47
Kontrollelemente
• Synchronisationsknoten: vereint eingehende Abläufe zu
einem gemeinsamen Ablauf
jeckle.de
• Parallelisierungsknoten:
ein eingehender Ablauf wird in
mehrere parallele Abläufe geteilt
48
Parametersatz
jeckle.de
Darstellung:
49
Parametersatz
• Dient der typhomogenen Gruppierung von Ein- und
Ausgabeparametern von Objektknoten
jeckle.de
• Kennzeichnung durch einen Rahmen um die zu
gruppierenden Pins
50
Parametersatz
• Legt fest, daß an allen Pins eines Satzes Datentoken
anliegen müssen
• Ein Parametersatz bedient eine Aktion pro Aufruf
jeckle.de
• XOR Beziehung zwischen Parametersätzen
51
Darstellung:
jeckle.de
Unterbrechungskante
52
• Umschließt eine oder mehrere Aktionen
jeckle.de
• Verlässt man Bereich über Unterbrechungskante:
• Unterbrechen von sämtlichen Aktionen im
Bereich, alle vorhandenen Token werden
verworfen
• Aktivitätsablauf wird an Zielknoten fortgesetzt
53
Käufer
Zigaretten kaufen
Marke wählen
Fehlermeldung
anzeigen
Geld
zurückgeben
Verfügbarkeit
überprüfen
Automat
[nicht
verfügbar]
Zigaretten
ausgeben
Abbruchknopf
gedrückt
Geld zählen
jeckle.de
Zigaretten
entnehmen
Zigarettenmarke
Geld einwerfen
Geld
Wechselgeld
entnehmen
[verfügbar]
[Geld < 3€]
Wechselgeld
berechnen
[Geld >= 3€]
54
Exception-Handler
Darstellung:
E in g a b e k n o te n
A k tio n
jeckle.de
E x c e p tio n Typ
E x c e p tio n H a n d le r
55
Exception-Handler
• Bearbeitungselement für Ausnahmen, die bei
Aktionsausführung auftreten
• Bei Auftreten von Exception: Prüfung ob ExceptionHandler vorhanden ist
• Exception-Handler ist dann für die Exception passend,
wenn Datentoken von Aktion kompatibel zu Typ des
Eingabeknotens des Exception-Handler ist
jeckle.de
distance
time
Durchschnittsgeschwindigkeit
berechnen
DivisionByZeroException
Reaktion auf
Exception
average
speed
56
Aktivitätsbereich
jeckle.de
Bereichsname
Darstellung durch Rechteck, das in zwei Teile unterteilt
wird
57
Aktivitätsbereich
Aktivität wird in Bereiche mit gemeinsamen
Eigenschaften unterteilt, wie z.B.:
jeckle.de
•
•
•
•
•
Standort
Abteilung
Rolle
Verantwortlichkeit
Subsystem
58
Aktivitätsbereich
Es gibt verschiedene Aktivitätsbereiche:
a) Mehrdimensionale Aktivitätsbereiche
Dimensionsname
Entwicklung
Marketing
Mitarbeiter
Manager
Partition 4
Person
Partition 2 Partition 1
Dimensionsname
jeckle.de
Partition 3
Abteilung
59
Aktivitätsbereiche
b) Hierarchische Aktivitätsbereiche
Person
Dimensionsname
Partitionsname
jeckle.de
Unterpartition
Manager
Unterpartition
Mitarbeiter
Entwicklung
Vertrieb
60
Aktivitätsbereiche
jeckle.de
Partitionsname
«external»
c) Aktivitätsbereiche für externe Aktionen
«external»
(Partitionsname)
Aktion
61
Darstellung durch Rechteck mit abgerundeten Ecken
und unterbrochener Linienführung
jeckle.de
S c h lü s s e lw o rt
62
• Strukturierung durch Gruppierung der Elemente
• Darstellung als speziellen Knoten in Kontrollfluss
Schlüsselwort
jeckle.de
isolated = true
• Modellierung von Zugriffskontrollen auf gemeinsam
genutzte Elemente bei Nebenläufigkeiten
63
Darstellung:
jeckle.de
Schlüsselw ort
64
jeckle.de
• Übergang von Aktionssammlung in Einzelelemente und
wieder zurück
• Interne Weitergabe von Elementen oder Positionen der
Sammlung
• Mengenverarbeitung iteriert über alle enthaltenen
Elemente
• Kennzeichnung der Elemente, in welcher Reihenfolge
sie abgearbeitet werden:
• Iterativ = Sequenzielle Abarbeitung
• Parallel = Abarbeitung findet nebenläufig statt
• Stream = Elemente werden der
Mengenverarbeitung kontinuierlich zur Verfügung
gestellt
65
V e k to r 1
7
1
5
V e k to r 2
1
10
4
( )
( )
7
p a r a ll e l
V e k to r 3
3
0
-5
1
1
5
.51
.7
( )
10
4
3
4
.
.1 0
1
.
K o m p o n e n te n
a d d ie r e n
.
8
8
0
.
.
-5
-5
0
3
K o m p o n e n te n
s u b t r a h ie r e n
5
jeckle.de
5
. .
E r g e b n is v e k to r
5
( .. )
66
Schleifenknoten
• Darstellung:
fo r
w h ile
jeckle.de
do
• Stellt Schleifen in Aktion dar
• Ist spezieller, strukturierter Knoten
67
Schleifenknoten
jeckle.de
Wird in drei Bereiche unterteilt:
a) for-Bereich:
erster Knotenbereich, wird genau einmal durchlaufen. Enthält Aktionen,
Kanten, Kontrollelemente.
b) while-Bereich:
auch Testbereich; prüft ob und wie
oft Schleifenrumpf durchlaufen wird.
Hat Boolesche Variable als Ergebnis.
c) do-Bereich:
Schleifenrumpf, optional. Bei
Ausführung müssen
Tokenvorschriften beachtet werden.
68
Entscheidungsknoten
Darstellung:
if
then
else if
jeckle.de
else
Bereich mit Bedingungsprüfung
Bereich mit den auszuführenden Aktionen
Bereich mit Bedingungsprüfung, wird nur
ausgeführt, falls davorliegende
Bedingungsprüfung scheitert
Bereich mit auszuführenden Aktionen, der
aktiviert wird, wenn kein anderer Bereich
die geprüften Bedingungen erfüllt hat
69
Entscheidungsknoten
•
jeckle.de
•
Darstellung von Entscheidungen mit Einfach- oder
Mehrfachauswahl
Wird in vier Bereiche unterteilt:
a) if-Bereich:
erster Knotenbereich. Enthält
Aktivitätselemente für Bedingungsprüfung
Ergebnis ist Boolesche Variable.
b) Then-Bereich:
Elemente hängen von Bedingungsprüfung
ab. Wenn aktiviert, endet
Entscheidungsknoten und Token werden
vernichtet.
70
jeckle.de
Entscheidungsknoten
c) else-if-Bereich:
wie if-Bereich. Möglichkeit Prüfung in
Reihenfolge zu schalten und zu
schachteln.
d) else-Bereich:
wird ausgeführt, wenn if- und elseif-Bereich mit „false“ enden. Ist
immer der letzte Bereich im
Entscheidungsknoten.
71
3.4 Zustandsautomat
jeckle.de
3.4 Der Zustandsautomat
M. Jeckle: 3.4 Zustandsautomat. Fachhochschule Furtwangen, Sommersemester 2004
72
3.4 Zustandsautomat
Zustandsautomat
Dient Modellierung von Verhalten von Classifiern durch
Zustände und Übergängen zwischen Zuständen
jeckle.de
„Wie verhält sich das System in einem bestimmten
Zustand bei gewissen Ereignissen?“
73
3.4 Zustandsautomat
Zustandsautomat
B a n k a u to m a t (v e r e in fa c h t)
0 ..*
1
K o n to s ta n d
ü b e rp rü fe n
1
1
0 ..1
G e ld a b h e b e n
B ankkunde
1
A u t h e n t if iz ie r e n
[ K a r t e = k e in e B a n k k a r t e ] /
K a rte a u s g e b e n
K a rte
e in g e f ü h r t
s m A u t h e n t if iz ie r e n
[K a rte =
B a n k k a rte ]
k o rre k te B a n k k a rte
jeckle.de
e n try / K a rte p rü fe n
[ P in =
r ic h t ig ]
P in
e in g e g e b e n
[ G ü lt ig k e it
= g ü lt ig ]
P in c o d e - E in g a b e
[ P in =
f a ls c h ] /
#++
[ G ü lt ig k e it = a b g e la u f e n ] /
B a n k k a r t e e in z ie h e n
A b b ru c h
a b g e b ro c h e n / B a n k k a rte
ausgeben
[# < 3 ]
[# > = 3 ] /
B a n k k a r t e e in z ie h e n
74
3.4 Zustandsautomat
Zustandsautomat
• Mit dem Zustandsautomat wird die Darstellung gut lesund nachvollziehbar.
• Beschreibungsmöglichkeiten:
jeckle.de
• Natürlichsprachlich
• Aktivitätsdiagramme
• Zustandsautomaten
75
3.4 Zustandsautomat
Notationselemente
jeckle.de
•
•
•
•
•
•
•
•
Einfacher Zustand
Transition
Start- und Endzustand
Zustandsautomat
Pseudozustände
Region
Spezialisierung
Protokollzustandsautomat
76
3.4 Zustandsautomat
Einfacher Zustand
Darstellung:
alternativ
Z u s ta n d
jeckle.de
Z u s ta n d
e n try / A k tiv itä t
e x it / A k tiv itä t
d o / A k tiv itä t
T rig g e r [G u a rd ] / A k tiv itä t
T rig g e r [G u a rd ] / d e fe r
e n try / A k tiv itä t
e x it / A k tiv itä t
d o / A k tiv itä t
T rig g e r [G u a rd ] / A k tiv itä t
T rig g e r [G u a rd ] / d e fe r
77
3.4 Zustandsautomat
Einfacher Zustand
• Bildet Situation ab, in deren Verlauf spezielle
Bedingungen gelten
jeckle.de
• Auch Situationen mit lang andauernder Aufgabe können
als Zustände modelliert werden
78
3.4 Zustandsautomat
Einfacher Zustand
jeckle.de
Regeln für Zustände:
• Wenn Zustand Endpunkt einer durchlaufenen Transition
ist, wird er betreten
• Wenn Transition durchlaufen ist, die von ihm weg führt,
wird Zustand verlassen
• Wird aktiv bei Betreten (Eintrittsaktivität) und inaktiv
bei Verlassen (Austrittsaktiviät)
• Andauernde Aktivität folgt auf Eintrittsaktivität
• Kann Menge an verzögerbaren Triggern enthalten
79
3.4 Zustandsautomat
Transition
• Darstellung durch gerichtete, beschriftete Kante
jeckle.de
Trigger [Guard] / Aktivität
• Beschriftung enthält:
• Trigger als Auslösung der Transition
• Guard als Ducrhlaufbedingung der Transition
• Aktivität die beim Durchlauf ausgeführt wird
80
3.4 Zustandsautomat
Transition
• Schafft Übergang von Ausgangs- zu Zielzustand
• Wenn Ausgangs- und Zielzustand gleich erfolgt die
Selbsttransition
eingeschaltet
jeckle.de
aus
eingeschaltet
Selbsttransition
an
81
3.4 Zustandsautomat
Startzustand
• Darstellung durch einen ausgefüllten Kreis
Trigger / Aktivität
jeckle.de
Zustand
• Ist Startpunkt für Betreten des Zustandsautomats
• Von ihm aus wird der erste Zustand erreicht, da
• Transitionstrigger nicht vorhanden oder gleich
dem Trigger des Classifiers
• Bedingung der Transition leer
• Maximal eine abgehende Transition vorhanden
sein darf
82
3.4 Zustandsautomat
Endzustand
• Darstellung durch zwei Kreise, wobei der innere
ausgefüllt ist
jeckle.de
• Ende der Abarbeitung des Zustandsautomats
• Keine Ausführung von Aktivitäten mehr
• Keine ausgehenden Transitionen
83
3.4 Zustandsautomat
Zustandsautomat
• Darstellung durch Rechteck, in dem ein Fünfeck in der
linken oberen Ecke platziert ist
jeckle.de
sm Bezeichnung
• Beschreiben das Verhalten von Classifiern
• Graph mit Knoten und Kanten
84
3.4 Zustandsautomat
Zustandsautomat
• Knoten des Zustandsautomats:
• Einfache Zustände, Start- und Endzustand
jeckle.de
• Als Kantentyp kommen hier nur Transitionen vor
85
3.4 Zustandsautomat
Pseudozustände
Hiervon gibt es zehn, die folgendermaßen dargestellt
werden:
jeckle.de
Startzustand
Gabelung
Entscheidung
Vereinigung
Kreuzung
Terminator
H
H*
flache Historie
tiefe Historie
Austrittspunkt
Eintrittspunkt
86
jeckle.de
3.4 Zustandsautomat
Pseudozustände
Startzustand:
Festlegung des ersten Zustands der
im Zustandsautomat aktiviert
werden soll
Kreuzung:
Zusammenfassung mehrerer Transitionen
oder Aufteilung von einer auf mehrere
Transitionen
Entscheidung:
siehe Kreuzung. Erfolgt aber dynamisch.
Terminator:
Unterscheidung ob Durchlaufen des
Zustandsautomats erfolgreich oder ob
Abbruch der Ausführung
87
3.4 Zustandsautomat
Pseudozustände
Gabelung und Vereinigung: Aufteilung einer eingehenden
Transition auf mehrere, parallele
Verhaltensbeschreibungen
jeckle.de
Ein- und Austrittspunkt:
Betreten oder Verlassen von
Zustandsautomat und
Zustandshierarchien
Flache und tiefe Hierarchie: Speichern des letzten aktiven
Zustands eines Zustandsautomats
88
3.4 Zustandsautomat
Region
• Darstellung durch eine senkrechte gestrichelte Linie
• Beschreibt parallele Abläufe
Zustand
jeckle.de
Region1
Region2
89
3.4 Zustandsautomat
Spezialisierung
Darstellung:
jeckle.de
{extended}
90
jeckle.de
3.4 Zustandsautomat
Spezialisierung
• Strukturelle Spezialisierung eines Classifiers durch
Hinzufügen von Operationen oder Attributen
• Abbildung des Verhaltens des spezialisierten Classifiers
durch Zustandsautomat
• Keine Modellierung neuer Zustandsautomaten; nur
Darstellung der benötigten Änderungen des Verhaltens
• Änderungen bei
• Regionen
• Zuständen
• Transitionen
91
3.4 Zustandsautomat
Darstellung wie Zustandsautomat mit zusätzlichem
Schlüsselwort protocol
jeckle.de
sm Zustandsautomat {protocol}
92
3.4 Zustandsautomat
jeckle.de
• Protokolltransition ist eine Transition im
• Unterscheidet sich durch Elemente von „normalem“
Zustandsautomat:
• Vorbedingung =
wie Guard bei Transition
• Operation =
Auslösen von Zustandsübergängen
• Nachbedingung = Erfüllung des Zielzustandes
[Vorbedingung] Operation / [Nachbedingung]
93

Basiskonzepte

Transcription

Similar documents

Technical Report as PDF - Institut für Informatik

Use-Case-Diagramm

Altova UModel 2016

Masterarbeit - WWW-Docs for TU

endpunkt uml diagramm

3 Prozesse und Threads

UML – Das Aktivitätsdiagramm

Einführung in UML

Computeranimation