Paraphraser for Albert II requirements specifications

Abstract

The objective of this work is to develop and implement an interactive program to paraphrase a part of a specification written using the Albert II language. The result is a text in English generated under two forms according to the persan concerned with this text. If he is familiar with the AlbertII language, the text can be just the paraphrase of the formai semantic of the specification, without adding any information to it. In this case, the objective of such a text is to facilitate the revision of the specification by taking off all the comments automatically provided by the editor of the language (e.g. headings of different sections of the specification). If the persan concerned with the generated text is a non-expert one, the program gives the analyst the possibility to provide more information to explicit the real semantics of his specification (significant names and/ or definitions for abjects). In the two cases, the result of the paraphrasing process can be generated in an independent file, or with the specification by inserting the paraphrase of an abject as a comment of this abject. This resulting file is generated under two formats : a Text ASCII format, or a Hypertext format. The part of specification handled by the program includes the following Albert abjects: basic types, constructed types, operations on types, societies and agents declarations, state components and actions of agents.

Date of Award	1998
Original language	English
Supervisor	Éric Dubois (Supervisor)