Assisting Requirement Formalization by Means of Natural Language Translation


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 actionbased temporal logic ACTL. The Natural Language sentences are used to express informal requirements of reactive systems… (More)
DOI: 10.1007/BF01384048


14 Figures and Tables


Citations per Year

80 Citations

Semantic Scholar estimates that this publication has 80 citations based on the available data.

See our FAQ for additional information.