First-order logic and automated theorem proving
First-order logic and automated theorem proving
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Communications of the ACM
Generating Natural Language under Pragmatic Constraints
Generating Natural Language under Pragmatic Constraints
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Natural Language Generation in Artificial Intelligence and Computational Linguistics
Natural Language Generation in Artificial Intelligence and Computational Linguistics
Type-Driven Suppression of Redundancy in the Generation of Inference-Rich Reports
Proceedings of the 6th International Workshop on Natural Language Generation: Aspects of Automated Natural Language Generation
Customizing RST for the Automatic Production of Technical Manuals
Proceedings of the 6th International Workshop on Natural Language Generation: Aspects of Automated Natural Language Generation
From formal specifications to natural language: a case study
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Planning text for advisory dialogues: capturing intentional and rhetorical information
Computational Linguistics
Automatic generation of on-line documentation in the IDAS project
ANLC '92 Proceedings of the third conference on Applied natural language processing
A semantically-derived subset of English for hardware verification
ACL '99 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics
| Hi-index | 0.00 |
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Statecharts with particular focus on the correctness of the result in the sense that the document will present all and only the facts corresponding to the design being documented.Our approach is to translate the Statechart into a propositional formula, then translate this formula into a natural language report. In the later translation pragmatic effects arise due to the way the information is presented. Whereas such effects can be difficult to quantify, we account for them within an abstract framework by applying a series of transformations on the structure on the report while preserving soundness and completeness of the logical content. The result is an automatically generated hypertext report that is both logically correct and, to a relatively high degree of confidence, free of misleading implicatures.