Documentation of micro protocols

I. Fliege

Technical Report 358/07, Department of Computer Science, University of Kaiserslautern, 2007


This document is a tutorial describing the documentation of micro protocols specified in SDL. Additional formal comments in the SDL specification enable an automatic documentation of the protocol behavior, interfaces, data types and the provided service. The documentation algorithm analyses the state machine to extract a typical behavior of the protocol. Comments that are provided by the developers give further information and help to build a comprehensible description to the acquired scenarios. Additionally, the algorithm builds an accessibility graph by taking all possible states and messages into account. From this graph the provided service of micro protocols can be extracted.



Zu den Kontaktdetails des Verantwortlichen dieser Seite

This page in english. Diese Seite auf englisch.