@PhdThesis{duepublico_mods_00000751,
  author = 	{Hintelmann, J{\"o}rg},
  title = 	{Entwurfsbegleitende Leistungsanalyse f{\"u}r SDL-basiertes Design multimedialer Internet-Transportsysteme},
  keywords = 	{Modellgest{\"u}tzte Leistungsanalyse; Kommunikationsprotokolle; SDL; QSDL; QUEST; SDL-basierter Entwurfsproze{\ss}; Internet Stream Protocol; Multimedia-Transportsystem; Performance-Analyse; Protokoll-Design},
  abstract = 	{Neben der funktionalen Korrektheit von komplexen Kommunikationssystemen spielt eine ausreichende Performance dieser Systeme eine immer wichtigere Rolle. Dabei ist es notwendig, Performance-Aspekte bereits in fr{\"u}hen Entwurfsphasen und nicht erst nach der Implementierung der Systeme  zu ber{\"u}cksichtigen.Die vorliegende Arbeit pr{\"a}sentiert eine Methodik zur entwurfsbegleitenden, modellgest{\"u}tzten Leistungsanalyse von Kommunikationsprotokollen, die mit Hilfe der Sprache SDL formal spezifiziert wurden. Die vorgestellte Methodik verwendet dazu Beschreibungsmechanismen, Verfahren und Werkzeuge, die bereits im Entwurfsproze{\ss} dieser Systeme verwendet werden.F{\"u}r die wichtigsten Implementierungsans{\"a}tze von Kommunikationsprotokollen werden Performance-Bausteine vorgestellt und deren Verwendung erl{\"a}utert. Die Tragf{\"a}higkeit der entwickelten Methodik wird durch eine gro{\ss}e Fallstudie im Kontext von Reservierungsprotokollen zur Unterst{\"u}tzung von Multimedia-Anwendungen im Internet demonstriert. Dabei werden nicht nur die informellen Angaben der vorhandenen RFCs in formale SDL-Beschreibungen umgesetzt, sondern auch als existent vorausgesetzte Ressource-Management-Funktionen entwickelt und analysiert. Die vorliegende Arbeit schlie{\ss}t so die bisher bestehende L{\"u}cke im SDL-basierten Entwurfsproze{\ss} verteilter reaktiver Systeme und erm{\"o}glicht die modellgest{\"u}tzte Betrachtung von Performance-Aspekten in den fr{\"u}hen Phasen des Entwurfsprozesses.},
  url = 	{https://duepublico2.uni-due.de/receive/duepublico_mods_00000751},
  file = 	{:https://duepublico2.uni-due.de/servlets/MCRZipServlet/duepublico_mods_00000751:TYPE},
  language = 	{de}
}