Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
FAKULTAT II DEPARTMENT FUR INFORMATIK
 

Summary: FAKULT¨AT II
DEPARTMENT F¨UR INFORMATIK
Abteilung Entwicklung korrekter Systeme
Entwurf und Implementierung von Algorithmen zur Berechnung von
Petrinetz-Semantiken f¨ur Pi-Kalk¨ul-Prozesse
17. Juni 2009
Bearbeitet von: Tim Strazny
Erstgutachter: Prof. Dr. Ernst-R¨udiger Olderog
Zweitgutachter: Prof. Dr. Eike Best
Betreut von: Dipl.-Inform. Roland Meyer
Anschrift: Tim Strazny, Bloherfelder Straße 109, 26129 Oldenburg
tim.strazny@informatik.uni-oldenburg.de
Zusammenfassung
H¨aufig enthalten Computerprogramme Fehler. In kritischen F¨allen, bei denen
die Abwesenheit von Fehlern im Sinne der Spezifikation sichergestellt werden
muss, werden Programme m¨uhevoll von Hand bewiesen oder Verfahren der
automatischen Verifikation angewendet. Petrinetze, welche die Automaten-
theorie durch Nebenl¨aufigkeit verallgemeinern, bieten sich zur automatische
Verifikation an. F¨ur verteilte und dynamisch rekonfigurierbare, d.h. mobile
Systeme bietet sich mit dem -Kalk¨ul ein formales Modell an, welches mit-

  

Source: Appelrath, Hans-Jürgen - Department für Informatik, Carl von Ossietzky Universität Oldenburg

 

Collections: Computer Technologies and Information Sciences