grundkurs theoretische informatik, folie 4.1 © 2006 g. vossen,k.-u. witt grundkurs theoretische...

Grundkurs Theoretische Informatik, Folie 4.1 © 2006 G. Vossen,K.-U. Witt

Grundkurs Theoretische Informatik

Kapitel 4

Gottfried VossenGottfried Vossen

Kurt-Ulrich WittKurt-Ulrich Witt


Endliche Maschinen und Automatennetze

Endliche Maschinen

Endliche Transducer

Beispiele für Automatennetze

Anwendungen endlicher Maschinen


Eintrittsautomat mit Ausgabe: MEintritt


„Architektur“ einer endlichen Maschine


Zustandsdiagramm für Madd


Mealy-Berechenbarkeit


Vorgehensmodell bei der Problemlösung am Beispiel Addition


Allgemeines Vorgehensmodell bei der Systementwicklung


Eintrittsautomat, modelliert als Moore-Maschine


Moore-Maschine, die das Problem teilbar3 löst


Mealy-Maschine, die das Paritätsbit anfügt


Moore-Maschine, die das Paritätsbit anfügt


Zustandsdiagramme zweier Prozesse


Zwei konkurrierende Prozesse


Eine Markierung des Beispielnetzes


Zustand des Beispielnetzes (1)

Nach Schalten der Transition P1 fordert Drucker an



Nach Schalten der Transition P1 belegt Drucker



Nach Schalten der Transitionen P2 wird fortgeführt und P2 fordert Drucker an



Nach Schalten der Transition P1 gibt Drucker frei


Drei Beispiele für das Schalten von Transitionen


Verklemmung der Prozesse P1 und P2


Netz mit toter Transition t3


Das Wolf-Ziege-Kohlkopf-Problem als Petri-Netz


Erzeuger-/Verbraucher-System (1)

Mit zwei Verbrauchern als Bedingungs-/Ereignisnetz



Mit zwei Verbrauchern als Stellen-/Transitionsnetz



als Stellen-/Transitionsnetz mit Gewichten und Kapazitäten


Grobe Sicht einer Bibliothek als Bedingungs-/Ereignisnetz


Verfeinerung des Ereignisses Bibliothekskern


Modellierung der Bibliothek als Prädikats-/Ereignisnetz


Statechart-Beispiel „Kaffeepause“


Workflow-Beispiel „Teilebeschaffung“


Workflow-Beispiel „Reisebuchung“


Workflow-Beispiel „Auswahl von Lernmaterial“

Learner

Download LO

Pay for Content

Learning

Search for content

Update UserProfile

Content Directory

latigidLO ProviderUser

Profiles

Bank


Workflow-Beispiel „Planung Konferenzreise“

Konferenzauswählen

Tutorienauswählen

Gebührberechnen

Okay

KostenChecken

Planungverwerfen

Hotelchecken

Flugpreischecken

[KonfGefunden]

/Kosten:=0

/ Budget:=1000Versuche:=1

[Kosten>Budget & Versuche<3]/Versuche++

[!KonfGefunden]

/Kosten=KonfGebühr+Reisekosten

Konferenzgebühr checken

Reisekosten checken

[Kosten>Budget& Versuche>=3]

[Kosten<=Budget]


Interaktionen in einem Service-Szenario

UDDI-Directory

Web service Provider

UDDI

WSDL

SOAP VIA

HTTP

UDDI

Client


Einzelner Anbieter in einem Service-Szenario

Anbieter

Bestellung Rechnung

ZahlungQuittung


„Vorsichtiger“ Anbieter

Bestellung Rechnung

ZahlungQuittung

?b !r ?z !q


„Gutmütiger“ Anbieter

Bestellung Rechnung

ZahlungQuittung

!r

?z

!q

!q

!q?z

!r?b


E-Commerce-Anwendung als Service-Komposition

Geschäft Bank

Anbieter 2Anbieter 1

autorisieren

okay

Be

ste

llun

g1

Qu

ittu

ng

1

Bestellung2

Quittung2

Za

hlu

ng

2

Re

chn

un

g2

Zahlu

ng1

Rechn

ung 1

kaufen

mitnehmen


Ausführung: Geschäft erhält Auftrag

!a ?o

!b1

!b2

Geschäft

. . . ?a !o

?r1

Bank

. . .

?b1 !r1

Anbieter 1

. . . ?b2

Anbieter 2!q2

!r2

. . .


Autorisierungsaufforderung geht bei Bank ein

a

!a ?o

!b1

!b2

Geschäft

. . . ?a !o

?r1

Bank

. . .

?b1 !r1

Anbieter 1

. . . ?b2

Anbieter 2!q2

!r2

. . .


Autorisierungsaufforderung wird verarbeitet

!a ?o

!b1

!b2

Geschäft

. . . ?a !o

?r1

Bank

. . .

?b1 !r1

Anbieter 1

. . . ?b2

Anbieter 2!q2

!r2

. . .


Konversation zu späterem Zeitpunkt

q2

b1 b2

r2 r1

!a ?o

!b1

!b2

Geschäft

. . . ?a !o

?r1

Bank

. . .

?b1 !r1

Anbieter 1

. . . ?b2

Anbieter 2!q2

!r2

. . .


Transducer als Web Service

?k !m

Kunden_Betreuung

Teil Anzahl

Datenbank_Geschäft

Bestand

. . .

Bestandsauffüllung

!a

!b 1

!b2

!b 1

!b2

?o

?q 1

?q2

?q 1

?q2

kaufen

mitnehmen

autorisieren

okay

Bestellung1

Quittung 1

Bestellung2

Quittung2


Das Wolf-Ziege-Kohlkopf-Problem als endlicher Automat


Ende Kapitel 4Ende Kapitel 4

grundkurs theoretische informatik, folie 4.1 © 2006 g. vossen,k.-u. witt grundkurs theoretische...

Documents