Title :
The Design and Implementation of a Documentation Generator for the PRISM Language
Author_Institution :
Fac. of Cybern., Mil. Univ. of Technol., Warsaw, Poland
fDate :
June 30 2009-July 2 2009
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;
Conference_Titel :
Dependability of Computer Systems, 2009. DepCos-RELCOMEX '09. Fourth International Conference on
Conference_Location :
Brunow
Print_ISBN :
978-0-7695-3674-3
DOI :
10.1109/DepCoS-RELCOMEX.2009.29
