Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Ristori G., Carenini M., Vanocchi M., Moreschini P. Assisting requirement formalization by means of natural language translation. In: Formal Methods in System Design, vol. 4 (3) pp. 243 - 263. Kluwer, 1994.
A prototype assistant, NL2ACTL, is presented for the formalization of behavioural requirements for the design of reactive systems. NL2ACTL is a tool for the automatic translation of Natural Language sentences, into formulae of the action-based temporal logic ACTL. The Natural Language sentences are used to express informal requirements of reactive systems. ACTL is suitable for expressing properties of reactive systems, specified by means of process algebra terms. NL2ACTL was realized using a general development environment for Natural Language Processing and it has been interfaced with a verification environment which allows behavioural and logical properties of reactive systems to be checked.
Subject Action-based logics
Natural language
Requirements formalization
D.2.1 Requirements/Specifications. Language

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional