Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

Formale Spezifikation von Systemen: Unterschied zwischen den Versionen

K (Kategorisiert, Formatiert)
Zeile 1: Zeile 1:
 +
__NOTOC__
 
{{KlausurBox|titel=Prüfungsprotokolle|klausurliste=
 
{{KlausurBox|titel=Prüfungsprotokolle|klausurliste=
 
<!-- Bitte hier als Liste einfügen. -->
 
<!-- Bitte hier als Liste einfügen. -->
Zeile 11: Zeile 12:
  
 
== Inhalt ==
 
== Inhalt ==
(Von der Website geklaut)
+
''Von der Website des veranstaltenden Lehrstuhls:'' Diese Basis-LV der Theoretischen Informatik führt in die formale Spezifikation von Systemen und damit in grundlegende Probleme und Methoden der theoretischen Informatik ein. Vorrangig werden hierbei Datentyp- und Prozessspezifikation von Softwaresystemen behandelt. Eine durchgänige praxisorientierte Fallstudie aus dem Bereich Logistik dient zur Veranschaulichung und Illustration der vermittelten theoretischen Konzepte.
 
Diese Basis-LV der Theoretischen Informatik führt in die formale Spezifikation von Systemen und damit in grundlegende Probleme und Methoden der theoretischen Informatik ein. Vorrangig werden hierbei Datentyp- und Prozessspezifikation von Softwaresystemen behandelt. Eine durchgänige praxisorientierte Fallstudie aus dem Bereich Logistik dient zur Veranschaulichung und Illustration der vermittelten theoretischen Konzepte.
 
  
 
Im ersten Teil werden zur formalen Modellierung von Prozessen Petrinetze eingeführt, die hier exemplarisch für eine Vielzahl von Prozessmodellierungstechniken vorgestellt werden. Es werden mathematische Methoden sowohl zur Analyse als auch zur Strukturierung und Komposition von Prozessen behandelt. Dabei werden Petrinetze zunächst unabhängig von der Datenmodellierung behandelt.
 
Im ersten Teil werden zur formalen Modellierung von Prozessen Petrinetze eingeführt, die hier exemplarisch für eine Vielzahl von Prozessmodellierungstechniken vorgestellt werden. Es werden mathematische Methoden sowohl zur Analyse als auch zur Strukturierung und Komposition von Prozessen behandelt. Dabei werden Petrinetze zunächst unabhängig von der Datenmodellierung behandelt.
Zeile 22: Zeile 21:
  
 
Die in dieser LV erworbenen Kenntnisse sind in vielen anderen Haupstudiums-LV's auch ausserhalb des Studiengebiets THI erfolgreich anwendbar. Sie bilden insbesondere für Schwerpunktsetzungen in den Studiengebieten SSG, PSS, DIS, KI und BKS eine sinnvolle und wichtige Ergänzung.
 
Die in dieser LV erworbenen Kenntnisse sind in vielen anderen Haupstudiums-LV's auch ausserhalb des Studiengebiets THI erfolgreich anwendbar. Sie bilden insbesondere für Schwerpunktsetzungen in den Studiengebieten SSG, PSS, DIS, KI und BKS eine sinnvolle und wichtige Ergänzung.
 
  
 
== Tipps und nützliche Infos ==
 
== Tipps und nützliche Infos ==
Zeile 28: Zeile 26:
 
Wer mit TheGI2 keine grossen Probleme gehabt hat, ist hier ganz richtig. Die Uebungsblaetter sind nicht so schwer, und Referate (zwei pro Gruppe) muss man frueher oder spaeter sowieso halten. Im zweiten Teil wird der Stoff aus TheGI 2 wiederholt (recht ausfuehrlich) und noch vertieft, man muss sich den Stoff nicht selbst nochmal ansehen. Die Vorlesung ist recht kurzweilig, Prof. Ehrig war wesentlich lockerer, als ich ihn aus meiner TheGI2-Zeit in Erinnerung habe.
 
Wer mit TheGI2 keine grossen Probleme gehabt hat, ist hier ganz richtig. Die Uebungsblaetter sind nicht so schwer, und Referate (zwei pro Gruppe) muss man frueher oder spaeter sowieso halten. Im zweiten Teil wird der Stoff aus TheGI 2 wiederholt (recht ausfuehrlich) und noch vertieft, man muss sich den Stoff nicht selbst nochmal ansehen. Die Vorlesung ist recht kurzweilig, Prof. Ehrig war wesentlich lockerer, als ich ihn aus meiner TheGI2-Zeit in Erinnerung habe.
  
Fuer den Petrinetz-Teil gibt es ein Script, das ich aber nur fuer mein Referat benoetigt habe - hier stehen die Beweise ausfuehrlich drin, waehrend sie in der VL eher kurz angesprochen werden. Es gibt eine Buchempfehlung fuer den zweiten Teil, aber da habe ich nicht reingesehen. Teilweise ist auch das TheGI2-Buch noch hilfreich.
+
Für den Petrinetz-Teil gibt es ein Skript, das ich aber nur für mein Referat benoetigt habe - hier stehen die Beweise ausführlich drin, während sie in der VL eher kurz angesprochen werden. Es gibt eine Buchempfehlung für den zweiten Teil, aber da habe ich nicht reingesehen. Teilweise ist auch das TheGI2-Buch noch hilfreich.
  
 
== Weblinks ==
 
== Weblinks ==
Zeile 35: Zeile 33:
  
 
== Persönliche Kommentare ==
 
== Persönliche Kommentare ==
: (Nicht unterschriebene Kommentare werden gelöscht!)
+
<center>''Nicht unterschriebene Kommentare werden gelöscht!''</center>
 +
 
 
Klasse, hat mir viel Spass gemacht! FelixB
 
Klasse, hat mir viel Spass gemacht! FelixB
  
 
[[Kategorie:Lehrveranstaltungen]]
 
[[Kategorie:Lehrveranstaltungen]]
 
[[Kategorie:„von der Website geklaute“ Artikel]]
 
[[Kategorie:„von der Website geklaute“ Artikel]]
 
+
[[Kategorie: Informatik]]
__NOTOC__
 

Version vom 24. Februar 2013, 13:43 Uhr

Formale Spezifikation von Systemen ist eine Basisveranstaltung im Fachgebiet TFS (Studiengebiet THI) im Informatik-Hauptstudium.

Inhalt

Von der Website des veranstaltenden Lehrstuhls: Diese Basis-LV der Theoretischen Informatik führt in die formale Spezifikation von Systemen und damit in grundlegende Probleme und Methoden der theoretischen Informatik ein. Vorrangig werden hierbei Datentyp- und Prozessspezifikation von Softwaresystemen behandelt. Eine durchgänige praxisorientierte Fallstudie aus dem Bereich Logistik dient zur Veranschaulichung und Illustration der vermittelten theoretischen Konzepte.

Im ersten Teil werden zur formalen Modellierung von Prozessen Petrinetze eingeführt, die hier exemplarisch für eine Vielzahl von Prozessmodellierungstechniken vorgestellt werden. Es werden mathematische Methoden sowohl zur Analyse als auch zur Strukturierung und Komposition von Prozessen behandelt. Dabei werden Petrinetze zunächst unabhängig von der Datenmodellierung behandelt.

Zu Beginn des zweiten Teils werden die in TheGI 2 behandelten algebraischen Strukturen kurz wiederholt. Darauf aufbauend werden dann Konzepte der algebraischen Spezifikation von Datentypen aus Sicht von Systemen vorgestellt (Korrektheit, Parameterisierung, First Order Logik - Spezifikation). Bei der algebraischen Spezifikation von nicht parametrisierten Datentypen stehen in dieser Veranstaltung Probleme der Semantik und Korrektheit im Vordergrund, die mit Methoden der Algebra und Logik analysiert werden. Die Parametrisierung von Datentypen ist ein wesentlicher Schritt im Hinblick auf die Modellierung generischer Softwaresysteme und Softwarekomponentenkonzepte.

Für weitergehende Perspektiven wird am Ende der LV ein Ausblick auf die Integration von algebraischen Spezifikationen mit Petrinetzen im Rahmen von algebraischen High-Level Netzen gegeben.

Die in dieser LV erworbenen Kenntnisse sind in vielen anderen Haupstudiums-LV's auch ausserhalb des Studiengebiets THI erfolgreich anwendbar. Sie bilden insbesondere für Schwerpunktsetzungen in den Studiengebieten SSG, PSS, DIS, KI und BKS eine sinnvolle und wichtige Ergänzung.

Tipps und nützliche Infos

Wer mit TheGI2 keine grossen Probleme gehabt hat, ist hier ganz richtig. Die Uebungsblaetter sind nicht so schwer, und Referate (zwei pro Gruppe) muss man frueher oder spaeter sowieso halten. Im zweiten Teil wird der Stoff aus TheGI 2 wiederholt (recht ausfuehrlich) und noch vertieft, man muss sich den Stoff nicht selbst nochmal ansehen. Die Vorlesung ist recht kurzweilig, Prof. Ehrig war wesentlich lockerer, als ich ihn aus meiner TheGI2-Zeit in Erinnerung habe.

Für den Petrinetz-Teil gibt es ein Skript, das ich aber nur für mein Referat benoetigt habe - hier stehen die Beweise ausführlich drin, während sie in der VL eher kurz angesprochen werden. Es gibt eine Buchempfehlung für den zweiten Teil, aber da habe ich nicht reingesehen. Teilweise ist auch das TheGI2-Buch noch hilfreich.

Weblinks

Persönliche Kommentare

Nicht unterschriebene Kommentare werden gelöscht!

Klasse, hat mir viel Spass gemacht! FelixB