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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-74984-4_10 | SDL Forum |
Keywords | Field | DocType |
complete micro protocol description,micro protocol,micro protocol design,micro protocol library,micro protocol description element,automated generation,sdl design specification,micro protocol entity,augmented micro protocol design,micro protocol service,sdl design,communication system | Software engineering,Reuse,Computer science,Communications system,Protocol design,Documentation,Design specification,Structuring,Distributed computing | Conference |
Volume | ISSN | ISBN |
4745 | 0302-9743 | 3-540-74983-7 |
Citations | PageRank | References |
2 | 0.42 | 8 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ingmar Fliege | 1 | 27 | 2.82 |
Reinhard Gotzhein | 2 | 465 | 71.44 |