Flexibles Design von Hochleistungsprotokollen mittels höherer Petri-Netze

Zur direkten Herleitung einer Protokollimplementierung aus einer formalen Spezifikation existieren derzeit kaum Verfahren, die eine fur Hochleistungsprotokolle adaquat leistungsstarke Implementierung erzeugen. In diesem Papier werden eine Implementierungssprache, die auf hoheren Petri-Netzen basiert und eine dedizierte parallele Controller-Architektur vorgestellt. Sie ermoglichen eine geradlinige Implementierung eines Hochleistungsprotokolles aus einer formalen Spezifikation. Da das Markenspiel von Petri-Netzen inharent parallele Ausfuhrungen aufweist, gewinnt man leicht parallele Implementierungen. Dieses Softwarekonzept wird beispielhaft am eXpress Transfer Protocol (XTP) vorgestellt. Insbesondere in einer Designphase, in der die Protokollarchitektur noch sehr variabel ist (wie bei XTP), aber auch in Hinblick auf die sich rasch andernden Anforderungen neuer Anwendungen sind Software-Ansatze reinen Hardware-Losungen vorzuziehen.