FORMAL SPECIFICATIONS BUILDING FROM SPECIFICATIONS WRITTEN IN NATURAL LANGUAGE

Alain-Jérôme Fougères (1, 2)

1 M3M - Laboratoire Mécatronique 3M - Méthodes, Modèles , Métiers
2 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)

Making specifications is taking more and more time; every day an enormous quantity of pages which, for the most part, is written in natural language. However the need to reduce the time needed in the development of the services is a priority. One method is to formalise the maximum number of specifications received. With this in mind, we will try to demonstrate the possibility of a certain automation in the passage from the informal to the formal, by means of methods and proven tools, available to assist an expert in specifications. For this end we propose a process of formalisation which relies on an intermediary representation of the specifications with the formalism of conceptual graphs before arriving at a formal description in Z of the initial specification.

Mots clés: Knowledge Representation; Natural Language Processing; Formal Specification; Conceptual Graph

Domaines: Ingénierie assistée par ordinateur

Alain-Jérôme Fougères. FORMAL SPECIFICATIONS BUILDING FROM SPECIFICATIONS WRITTEN IN NATURAL LANGUAGE. HCP'99, Sep 1999, Brest, France. pp.225-232. ⟨hal-00570367⟩