Automated generation of micro protocol descriptions from SDL design specifications

Authors:
Ingmar Fliege;Reinhard Gotzhein
Affiliations:
Computer Science Department, University of Kaiserslautern, Kaiserslautern, Germany;Computer Science Department, University of Kaiserslautern, Kaiserslautern, Germany
Venue:
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Year:
2007

Citing 6
Cited 1

Using projections for the detection of anomalous behaviors

SDL'03 Proceedings of the 11th international conference on System design
Micro protocol design: the SNMP case study

SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Model-Driven development with SDL – process, tools, and experiences

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
SPT – the SDL pattern tool

SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
A flexible micro protocol framework

SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
ConTraST – a configurable SDL transpiler and runtime environment

SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles

Model-driven construction of embedded applications based on reusable building blocks: an example

SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles

Quantified Score

Hi-index	0.00

Visualization

Abstract

A micro protocol is a ready-to-use, self-contained, distributed component that supports structuring of complex communication systems, and reuse of well proven elementary communication solutions. Micro protocol designs can be formally specified with SDL. For documentation purposes and effective reuse, these SDL designs are augmented by further description elements, for instance, typical scenarios capturing the micro protocol service and the interaction of micro protocol entities. In this paper, we show how these additional description elements can be generated from an augmented micro protocol design specification. We have devised a tool that creates a PDF file, containing the complete micro protocol description with graphical elements and a link to the SDL design specification. Our approach enhances the maintenance of micro protocol libraries, and supports the consistency of micro protocol description elements and SDL designs.