Documentation of micro protocols
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.
- pdf (393kb)
|Superordinated page: Year 2007|
|Go to the contact details of the person in charge of this page|
|This page in german. Diese Seite auf deutsch.|