NL2 Alloy: A Tool to Generate Alloy from NL Constraints
Imran Sarwar Bajwa, Behzad Bordbar, Mark Lee, Kyriakos Anastasakis
Journal of Digital Information Management, Vol. 10, No. 6, 2012.
DOI: 
Link: http://dline.info/fpaper/jdim/v10i6/2.pdf
Abstract:
In this paper, we present a novel approach to generate Alloy code from Natural Language (NL) constraints. The proposed research is basically an extension of two projects, NL2OCL and UML2Alloy.Our method uses Natural Language Processing (NLP) and Model Transformation (MT) to transform constraints expressed in NL to Alloy. We do not directly transform NL to Alloy, instead we use multiple intermediate translations such as NL2SBVR and SBVR2OCL and finally OCL2Alloy. Such intermediate translations help us to monitor the whole process of translation and produce intermediate artifacts such as OCL constraints, which can be used for documentation purposes. and ensure that actual semantics of NL have been transformed to Alloy. The generated Alloy code can then be used to check if the original NL constraints are consistent. We also introduce the use of OMG's standard SBVR in translation of NL to formal languages. The NL2Alloy approach is also implemented as an Eclipse plugin.