Entwurf, Entwicklung und Implementierung von Hochleistungskommunikationsprotokollen auf einer parallelen Controller-Architektur mittels Petri-Netzen

@inproceedings{Engel1993EntwurfEU,
  title={Entwurf, Entwicklung und Implementierung von Hochleistungskommunikationsprotokollen auf einer parallelen Controller-Architektur mittels Petri-Netzen},
  author={Christian Engel},
  booktitle={Kommunikation in Verteilten Systemen},
  year={1993}
}
Zur direkten Herleitung einer Protokollimplementierung aus einer formalen Spezifikation existieren derzeit kaum Verfahren, bei denen man eine fur Hochleistungsprotokolle adaquat leistungsstarke und zuden korrekte Implementierung erhalt. In diesem Papier wird eine Methode gezeigt, die eine geradlinige Herleitung der Implementierung aus der Spezifikation erlaubt. Auf allen Stufen und Schritten werden als Beschreibungsmittel hohere Petri-Netze verwendet. Eine geeignete parallele Architektur fur… CONTINUE READING

Topics from this paper.