The Design and Implementation of a Documentation Generator for the PRISM Language

Author

Dworak, Hugo

Author_Institution

Fac. of Cybern., Mil. Univ. of Technol., Warsaw, Poland

fYear

2009

fDate

June 30 2009-July 2 2009

Firstpage

91

Lastpage

98

Abstract

PRISM is a tool for formal modelling and analysis of systems which exhibit random or probabilistic behaviour. Having developed a documentation generator for its language, we explain the design and the corresponding implementation of our extension to PRISM. The paper consists of a study of the unobtrusive enhancements to the parser of the original code base in order to construct software analogous to Javadoc. On the basis of our findings, one could follow the same pattern to build similar tools for other specification or programming languages. Furthermore, we describe the resulting software, which can facilitate the research within the field of the dependability of computer systems.

Keywords

grammars; software tools; specification languages; system documentation; PRISM language; documentation generator; formal modelling; parser; probabilistic behaviour; programming language; random behaviour; software dependability; specification language; system analysis; Automatic logic units; Cascading style sheets; Computer languages; Cybernetics; Documentation; Formal verification; Java; Military computing; Probabilistic logic; Programming profession; Evaluation of software dependability; Software tools for dependability and maintenance analysis; System modelling for dependability;

fLanguage

English

Publisher

ieee

Conference_Titel

Dependability of Computer Systems, 2009. DepCos-RELCOMEX '09. Fourth International Conference on

Conference_Location

Brunow

Print_ISBN

978-0-7695-3674-3

Type

conf

DOI

10.1109/DepCoS-RELCOMEX.2009.29

Filename

5261015