Video
Create Note
Dear user,
with the manuscript function you'll be able to create your own digital lecture manuscript.
However, in order to link all your notes with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
with the manuscript function you'll be able to create your own digital lecture manuscript.
However, in order to link all your notes with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Add a New Marker
Dear user,
with the marker function you'll be able to create your own digital time markers.
However, in order to link all your markers with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
with the marker function you'll be able to create your own digital time markers.
However, in order to link all your markers with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Tag this content
Please enable javascript to use this function.
Dear user,with the tagging function you'll be able to add taggs to videos.
However, in order to link all your tags with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Tags added to this content
No tags have been added to this content so far.
Add Link to this content
Please enable javascript to use this function.
Dear user,with the links function you'll be able to add links to other resources to this content.
However, in order to link all your links with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Links added to this content
No links have been added to this content so far.
Zu meinen Videolisten hinzufügen
Dear user,
with the playlist function you'll be able to create your own lecture video playlists.
However, in order to link all your playlists with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
with the playlist function you'll be able to create your own lecture video playlists.
However, in order to link all your playlists with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Playlists
This content is not used in any playlist.
123143153163173183193253273783793804914924931468153515421552156815691570157216701676170317041812181318152086219722082210221322142248265326632745278628362866293329452982300430153038308130953096314031533214328232833404342235773635391139894000400240534078408440854086408840894091414341444146415241534270427142724273427543834384438545994607460846124633463846394640464146424643466047284729473047314738474147424743474747484761476347644765476649455040
Lecture Structure
- Kamnat b l v Mark Mmoso Pßw Pn nt Home mm Duran unev s ae Manu (00:00:01)
- Phasenmodell (00:00:02)
- Fachliche Phasen (Design) (00:05:14)
- durchgefühn (00:05:14)
- 1 Business Engineers (00:05:14)
- Design Phasen werden v (00:05:14)
- Meilensteine werden verwendet um Synchron sationspunkte (00:05:14)
- Beteiligung der de nierten Rollen und der Interak ionen (00:05:14)
- Identifikation der Rollen Struktur (00:05:15)
- Verhaltensschnittstelle (00:05:16)
- Strukturelle Kompatibilität (00:05:17)
- Der Verkäufer entscheidet und sendet diese an den (00:05:17)
- Verkäufer an die sich dieser halten kann aber nicht muss (00:05:17)
- Dieser leitet die Anfrage an den Verkäufer weiter (00:05:17)
- Dazu stellt er e nen Antrag (Participation request) an den (00:05:17)
- Bieter muss vor dem Bieten akzeptiert werden (00:05:17)
- Erster Ansatz Work ow Module (00:05:18)
- Verhaltenskompatibillt t ist erforderlich (00:05:18)
- Es muss auch das Verhalten der Prozesse berücksichtigt werden (00:05:18)
- Zwei Workflow Module (00:05:19)
- Strukturelle Kompatibilität (00:05:25)
- empfangen (00:05:25)
- Der Seller könnte also Nachrichten e (00:05:25)
- DerAuktionsser ice sendet ke ne Empfehlungs Nachrichten zum (00:05:25)
- Beispiel (00:05:25)
- Strukturelle Kompatibilität Alle Nachrichten die gesendet werden können können auch (00:05:42)
- Eas3 (00:05:42)
- Q3se (00:05:42)
- gesendet werden (00:05:42)
- Alle Nachrichten die empfangen werden können können auch (00:05:42)
- empfangen werden (00:05:42)
- Strukturelle Kompatibilität (00:06:18)
- empfangen (00:06:18)
- Beispiel (00:06:18)
- Ef tel AHSGIZI Workflow Module (00:06:19)
- Verhaltenskompatibilität ist erforderlich (00:06:19)
- Zwei Workflow Module (00:06:20)
- Verhaltenskompatibilität Workflow Module (00:08:11)
- Dissertation Axel Martens 2003 (00:08:11)
- Prozessen genauer Nachrichtenspeicher (00:08:11)
- Kommunikationsstellen repräsentieren lnteraktionen zwischen (00:08:11)
- Kommunikationsstellen (00:08:11)
- Work ow Module sind Work ow Netze angereichert um spezielle (00:08:11)
- beschrieben einer spezielle Klasse von Petri Ne czen (00:08:11)
- Workflow Module (00:08:12)
- Work ow Module spezi ziert (00:08:12)
- Prozesse des Auktionshauses und des Verkäufers werden durch (00:08:12)
- Beispiel (00:08:12)
- Bei diesem Ansatz wird nur Kompatibilität untersucht keine (00:08:12)
- Hinweis (00:08:12)
- Work ow Module (00:08:12)
- Beispiel Workflow Module (00:08:13)
- Work ow Module Ansatz (00:24:29)
- das result erende Won ow Netz sound st (00:24:29)
- D e erhaltensbeschre bungen der Partner sind kompatibel wenn (00:24:29)
- Korrektheit (00:24:29)
- Module (00:24:29)
- Das resultierende Netz ist nicht strukturell sound (00:24:29)
- Kom patibilität (00:25:35)
- Kom patibilität Beobachtung (00:25:44)
- verändenen (00:25:44)
- l ÄJ VViL H vecaacue l Yrecge ec re= r= ec rec awep X I A (00:25:44)
- stellen resultiert (00:25:44)
- Kom patibilität Veränderung des (00:25:52)
- u a omqs vu (00:26:08)
- sum (00:26:09)
- n cht notwend g (00:26:09)
- Hinwe s (00:26:09)
- entsprechenden Rolle ist passen die Orchestrierungen (00:26:09)
- Ansatz (00:26:09)
- 5an (00:26:10)
- CUIA (00:26:10)
- A muwa Sw u (00:26:12)
- Implementierung von Choreographien (00:27:50)
- sum saw (00:28:23)
- Implementierung von Choreographien (00:28:24)
- Verhalten und I Orchestrierungen (00:30:12)
- Implementierung von Choreographien Zentrale Fragen (00:30:13)
- Gesamtbild für Verhaltensbeschre bungen und private Prozesse (00:30:13)
- Ansatz (00:30:13)
- Welche formalen Kriterien müssen erfüllt sein damit ein privater (00:30:13)
- Verhalten und I Orchestrierungen (00:30:15)
- Konsistenz K0 SiSt6nZ (Consistency) Binäre Relation auf Prozessmodellen (00:34:46)
- Hinweis (00:34:46)
- Simulation Bisimulation (00:34:46)
- Beispiele für Konsistenz Relationen (00:34:46)
- Konsistenz Relation darf nicht zu restriktiv sein (00:34:46)
- Kompatibilität muss erhalten bleiben (00:34:46)
- Was ei e KOnSiSt6l 1Z Re aÜOl l ef fÜ eI l ITIUSS (00:34:46)
- Verhalten und I Orchestrierungen (00:36:37)
- Konsistenz Konsistenz (Consistency) (00:36:49)
- Hinweis (00:36:49)
- Trace equivalence trace inclusion (00:36:49)
- Beispiele für Konsistenz Relationen (00:36:49)
- Kompatibilität muss erhalten bleiben (00:36:49)
- W38 ei e KODSÜSIQDZ Re aÜOn eI fÜ eI l ITIUSS (00:36:49)
- Diskussion Konsistenz (00:36:50)
- Konsistenz K0nSiSt6nZ (Consistency) Binäre Relation auf Prozessmodellen (00:36:53)
- Hinweis (00:36:53)
- Simulation Bisimulation (00:36:53)
- Beispiele für Konsistenz Relationen (00:36:53)
- Kompatibilität muss erhalten bleiben (00:36:53)
- W38 eine Konsistenz Relation eI fÜ el 1 FTIUSS (00:36:53)
- Diskussion Konsistenz (00:36:54)
- J sem LJ (00:37:28)
- Mögliche Konsistenzkriterien (00:44:13)
- N un betf mhtet (00:44:13)
- S3 speichert Empfehlung und basiert Entscheidung auf Daten (00:44:13)
- S1 folgt immer der Empfehlung des Auktionsdienstes (00:44:13)
- Public to Private Ansatz U d66 (165 AI 1S tZeS (00:44:23)
- Konsistenz wird anhand einer Vererbungs Beziehung de niert (00:44:23)
- Hinweise (00:44:23)
- Jeder Teilnehmer ist für die Realisierung einer Partition zuständig (00:44:23)
- Choreographie abgestimmt und als öffentlicher Work ow de niert (00:44:23)
- P2P Ansatz SC II i 6 des Af lSatZeS (00:45:45)
- work ow) der die entsprechende Partition realisiert (00:45:45)
- 3 Jeder Teilnehmer de nie t einen privaten Work ow (private (00:45:45)
- öffentliche Teilwork ows (public parts de nieren behavioural (00:45:45)
- 2 Dieser wird anhand der Teilnehmer partitionien erzeugt werden (00:45:45)
- Work ow (public workflow) de n ert (00:45:45)
- P2P Ansatz Einordnung Verhaltens sind kompatibel (00:46:26)
- P2P Ansatz) (00:46:26)
- (verwende (00:46:26)
- P rivate (00:46:26)
- Work ow Module) (00:46:26)
- Subconrractor (00:46:26)
- Conrracror (00:46:26)
- (verwende (00:46:26)
- P2P Ansatz (00:47:16)
- beschrieben werden (00:47:16)
- durch Sequenzdiagramm (00:47:16)
- Einfache Interaktion kann (00:47:16)
- (Subcontractor) (00:47:16)
- Spezi kation an Hersteller (00:47:16)
- Bestellung und genaue (00:47:16)
- Beispiel (00:47:16)
- P2P Ansatz Schritt 1 Öffentlicherworkflow (00:47:46)
- P2P Ansatz (00:48:53)
- beschrieben werden (00:48:53)
- durch Sequenzdiagramm (00:48:53)
- Einfache Interaktion kann (00:48:53)
- (Subcontractor) (00:48:53)
- Spezi kation an Hersteller (00:48:53)
- Bestellung und genaue (00:48:53)
- sendet (00:48:53)
- Käufer (00:48:53)
- Beispiel (00:48:53)
- P2P Ansatz Schritt 1 Öffentlicherworkflow (00:49:05)
- P2P Ansatz Schritt 2 Öffentlicher Work ow wird partitioniert (00:49:43)
- P2P Ansatz Schritt 1 Öffentlicherwork ow (00:50:04)
- P2P Ansatz Schritt 2 Öffentlicher Work ow wird partitioniert (00:50:37)
- Öffentlicher Teilworkflow 1 Ansatz (00:50:38)
- nebenläu g (00:50:38)
- ff Vlri (00:50:38)
- Kostenaufstellung (00:50:38)
- Contractor (00:50:38)
- Teilwork ows (00:50:38)
- durch Zusammenfügen der (00:50:38)
- Kommunikationsrichtung erst (00:50:38)
- Methoden werden mit Transitionen (00:50:38)
- Ablauf der Teilnehmer (00:50:38)
- P2P Ansatz Schritt 1 Öffentlicherwork ow (00:51:21)
- P2P Ansatz Schritt 2 Öffentlicher Work ow wird partitioniert (00:51:35)
- Öffentlicher Teilworkflow 1 Ansatz (00:51:36)
- Kostenaufstellung (00:51:36)
- Contractor (00:51:36)
- Teilwork ows (00:51:36)
- durch Zusammenfügen der (00:51:36)
- Methoden werden mit Transitionen (00:51:36)
- Ablauf der Teilnehmer (00:51:36)
- Öffentlicher Teilworkflow 2 (00:52:20)
- lnterorganisations Workflow (00:52:33)
- Privater Workflow (00:53:34)
- Privater Workflow Situation (00:56:30)
- j nd ordev 1 pe@ =@mf SUDCONYQCKOFre@ewe = mev pmCe pec v@ m Ä Jmc 55 5x 5(3 9me = Mn v v (00:56:30)
- Schritt Private Workflows (00:56:44)
- Antwort (00:56:44)
- Wie kann sichergestellt werden dass lokale Erweiterungen die (00:56:44)
- Aktivität n wer ien wegprojizier1 (00:57:02)
- Namensgebung Die in der Subklasse x neu hinzu kommenden (00:57:02)
- 1 Projection nher tance (00:57:02)
- Vererbungsbeziehungif (00:57:02)
- Spezialisierung des öffentlichen Work ows ist (00:57:02)
- Bisimulation Bisimilar (00:59:37)
- Teilnehmer sind nach außen hin nicht sichtbar (00:59:37)
- Branching Bisim ar (00:59:37)
- Fall unterscheidbar ist (00:59:37)
- simulieren können d h ihr extern sichtbares Verhalten in keinem (00:59:37)
- Projection lnheritance (01:00:35)
- Transformationen ( (01:05:11)
- 7 0 Q O (01:05:11)
- der Schleife das Token an die Ausgangsstelle zurückkehrt (01:05:11)
- Einfügen eines Schleifen Teilnetzes so dass nach Beendigung (01:05:11)
- Projection lnheritance (01:06:29)
- Transformationen ( (01:06:40)
- 7 0 I1 o (01:06:40)
- N2 ist durch LOOP Transformation aus N0 entstanden (01:06:40)
- der Schleife das Token an die Ausgangsstelle zurückkehrt (01:06:40)
- Einfügen eines Schleifen Teilnetzes so dass nach Beendigung (01:06:40)
- Qi144 3 b (01:06:42)
- Privater Workflow Verfeinerung Contractor Mehrere lokale Aktivitäten werden eingefügt z B kann (01:07:58)
- Privater Prozess ist konsistent zu öffentlichem Teilwork ow (01:07:58)
- Die Reihenfolge der extern sichtbaren Aktivitäten bleibt erhalten (01:07:58)
- co ecynput mehrfach ausgeführt werden bevor die Spezi kation (01:07:58)
- Transformationen ( Transformationsoperationen die branching bisimilarity (01:08:04)
- 770 ) di) (01:08:05)
- N2 ist durch LOOP Transformation aus N0 entstanden (01:08:05)
- der Schleife das Token an die Ausgangsstelle zurückkehrt (01:08:05)
- Einfügen eines Schleifen Teilnetzes so dass nach Beendigung (01:08:05)
- Bisimulation Bisimilar (01:08:08)
- Teilnehmer sind nach außen hin nicht sichtbar (01:08:08)
- Neue in der Subklasse eingefügte private Aktivitäten der (01:08:08)
- Branch ng Bisimilar (01:08:08)
- Fall unterscheidbar ist (01:08:08)
- simulieren können d h ihr extem sichtbares Verhalten in keinem (01:08:08)
- Privater Workflow Situation (01:08:09)
- hana eywucr 1f=@ sr rm = v ß g= S W @f@a = @ m @ v rx (01:08:09)
- il o C0nlf3C 0fÄ p@= f @@ mpmoe wn w T ? SW = @= SI wm subtonlvact r e E (01:08:09)
- Privater Workflow (01:08:11)
- festgelegten Verhaltens (01:08:11)
- Lokale unverdächtige Änderung des ver raglich (01:08:11)
- Kosteninformation bei der Spezi kation berücksichtigt (01:08:11)
- Contractor fügt eine weitere Stelle cs ein so dass (01:08:11)
- Schritt Private Workflows (01:09:04)
- Aktiv tät n werden wegprojiziert (01:09:04)
- Wonr ow x ist eine Verfeinerung von y falls für alle Ausführungen (01:09:04)
- Projection nher tance (01:09:04)
- Vererbungsbeziehungif (01:09:04)
- Transformationen ( Transformationsoperationen die branching bisimilarity (01:09:06)
- Privater Workflow Verfeinerung COI7 fI CfOf Mehrere lokale Aktivitäten werden eingefügt z B kann (01:09:13)
- Transformationen ( (01:11:10)
- Transformationen ( Transformationsoperationen die bfanching bisimilarity (01:11:11)
- Schritt Private Workflows (01:11:12)
- Privater Workflow (01:11:14)
- Interorganisations Workflow HiI 1WeiS (01:13:02)
- fä (01:13:02)
- Verfeinerung der öffentlichen Teilwork ows (01:13:02)
- Jeder Teilnehmer realisiert private Work ows als (01:13:02)
- Bisimulation Bisimilar (01:13:03)
- Branching Bisimilar (01:13:03)
- Fall unterscheidbar ist (01:13:03)
- simul eren können d h ihr extem sichtbares Verhalten in keinem (01:13:03)
- Transformationen ( Transformationsoperationen die branching bisimilarity (01:13:04)
- Privater Workflow Verfeinerung Contractor (01:13:05)
- Privater Workflow (01:16:39)
- Privater Workflow Verfeinerung Contractor (01:16:47)
- rfo v V V epa eJ ? (01:16:47)
- C0 (l al (0f L 1P r re are csA V coHec m u 3 check @ f y m O p epa ejh (01:16:47)
- Privater Workflow (01:16:48)
- Anwendung 3 der Transformationen DÜSKUSSÜOFI (01:16:52)
- Beispiel electronic bookstore (01:17:13)
- Shipper liefert Bücher an Kunden (01:17:13)
- Verlag liefen Bücher an Shipper (01:17:13)
- Kunden bestellen Bücher (01:17:13)
- Weitere Rollen (01:17:13)
- Sch Public WF Öffentlicherworkflow (01:17:18)
- Cu tomef Bookslnre Publlsh r smppef (01:17:19)
- lnterorg Workflow (01:17:20)
- Uunnrm eques vm reu (01:17:21)
- C stomef Bookslore Publ shel smwef (01:17:22)
- Schritt Public WF (01:17:23)
- Cnstomef Bookslore Publlsbef smwef (01:17:40)
- mnf m 4 sf eques (01:18:48)
- lnterorg Workflow (01:18:49)
- Interorg Workflow (01:18:50)
- lnterorg Workflow (01:18:51)
- Beispiel Kunde (01:18:58)
- Bookstore (01:19:01)
- Weitere Öffentliche Workflows (01:19:02)
- Private Workflows BO0KStOl e Projektionsvererbung (01:19:03)
- Privater Workflow Publisher (01:19:07)
- Private Workflows BOOKSIOFG Projektionsvererbung (01:19:08)
- Privater Workflow Publisher (01:19:21)
- Privater Workflow (01:19:23)
- ÜY 1BW ( ) r aa (01:19:24)
- Diskussion P2P Ansatz (01:19:25)
- Korrektheitskriterium (01:19:25)
- Work ows (01:19:25)
- Öffentlicher Work ow Öffentliche Teilwork ows Private (01:19:25)
- Forma er umfassender Ansatz der Konzepte klar de niert und (01:19:25)
- Diskussion P2P (01:19:26)
- Diskussion P2P Ansatz (01:22:25)
Keyword
Please enable javascript to use this function.
Please enable javascript to use this function.