Documentation of micro protocols

I. Fliege

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

Abstract

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.

Full paper





 

 
Go to the contact details of the person in charge of this page

 
This page in german. Diese Seite auf deutsch.