NL2 Alloy: A tool to generate alloy from NL constraints

I.S. Bajwa, Behzad Bordbar, M. Lee, K. Anastasakis

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)


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.
Original languageEnglish
Pages (from-to)365-372
Number of pages8
JournalJournal of Digital Information Management
Issue number6
Publication statusPublished - 1 Dec 2012

Bibliographical note

Copyright 2013 Elsevier B.V., All rights reserved.


Dive into the research topics of 'NL2 Alloy: A tool to generate alloy from NL constraints'. Together they form a unique fingerprint.

Cite this