Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Sommer 2024    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Veranstaltung

Modelle für Geschäftsprozesse und Services

  • Funktionen:

Grunddaten

Veranstaltungsart Vorlesung SWS 3.00
Veranstaltungsnummer 23145 Semester SS 2019
Sprache Deutsch Studienjahr
Hyperlink Stud.IP Lehrveranstaltung nicht mit Stud.IP synchronisiert

Belegung über StudIP

Es gibt keine Informationen zu einem Belegungsverfahren.

Module

1150730 Ergänzende Themen im Themenbereich Informationssysteme
1150780 Ausgewählte Themen im Themenbereich Informationssysteme
1150960 Modelle für Geschäftsprozesse und Services

Termine Gruppe: [unbenannt] iCalendar Export für Outlook

  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook
Mo. 09:00 bis 11:00 woch 01.04.2019 bis 08.07.2019  A.-Einstein-Str. 22 - SR 109, A.-Einstein-Str. 22 Raumplan Wolf findet statt    
Einzeltermine anzeigen
iCalendar Export für Outlook
Do. 15:00 bis 17:00 ungerWoch 11.04.2019 bis 04.07.2019  A.-Einstein-Str. 22 - SR 101, A.-Einstein-Str. 22 Raumplan Wolf findet statt    
Gruppe [unbenannt]:
 

Verantwortliche Person

Verantwortliche Person Zuständigkeit
Prof. Dr. rer. nat. habil. Karsten Wolf

Studiengänge

Studiengang/Abschluss/Prüfungsversion Semester Teilnahmeart
Electrical Engineering, Master (2018) 1. - 3. Semester wahlobligatorisch
Visual Computing, Master (2014) 1. - 3. Semester wahlobligatorisch

Zuordnung zu Einrichtungen

Fakultät für Informatik und Elektrotechnik (IEF)

Inhalt

Kommentar

• Kenntnisse zu Sprachen und Modellierungstechniken f¨ur Geschäftsprozese
und Services
• Ueberblick über existierende Techniken und Werkzeuge
• Kenntnis leistungsfähiger Algorithmen und Datenstrukturen
• Einblick in die praktische Nutzbarmachung theoretischer Erkenntnisse

Literatur

• werden in der ersten Veranstaltung des Semesters bekanntgegeben

Lerninhalte

Das Modul führt in Modelle zur formalen Beschreibung von Geschäftsprozessen,
Workflows und Services ein. Es zeigt Möglichkeiten zur Generierung
von Modellen aus praxisrelevanten Beschreibungssprachen und stellt Methoden
zur Lösung wichtiger Probleme auf der Basis formaler Modelle
vor.
Inhalte
• Geschäftsprozesse,Workflows, Ereignisgesteuerte Prozessketten, Aktivitätsdiagramme
• Petrinetze, Workflownetze
• Techniken für Workflownetze: Soundness und ihre Verifikation
• Services und service-orientierte Architekturen
• Die Sprache BPEL und ihre Semantik
• Offene Workflownetze
• Bedienbarkeit und ihre Verifikation
• Bedienungsanleitungen, Public Views und ihre Generierung
• Austauschbarkeit und Migration



Zugehörige weitere Veranstaltung
Nr. Veranstaltungsart Beschreibung SWS
23145 Übung Modelle für Geschäftsprozesse und Services 1.00

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SS 2019 , Aktuelles Semester: Sommer 2024