@article {356,
	title = {NL2 Alloy: A tool to generate alloy from NL constraints},
	journal = {Journal of Digital Information Management},
	volume = {10},
	year = {2012},
	note = {Export Date: 10 July 2014},
	month = {2012},
	pages = {365 - 372},
	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{\textquoteright}s standard SBVR in translation of NL to formal languages. The NL2Alloy approach is also implemented as an Eclipse plugin.},
	keywords = {Alloy, Natural language, NL2OCL, SBVR, UML},
	url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84874825931\&partnerID=40\&md5=a6062c119677b77912bbf70d219d1132},
	author = {Bajwa, I.S. and Bordbar, B. and Lee, M. and Anastasakis, K.}
}
@article {207,
	title = {On automated generation of Diagnosers in fault tolerant Service Oriented Architectures},
	journal = {Journal of Digital Information Management},
	volume = {7},
	year = {2009},
	note = {Export Date: 10 July 2014},
	month = {2009},
	pages = {336 - 342},
	abstract = {One of the key stages of the development of a fault tolerant Service Oriented Architecture is the creation of Diagnosers, which monitors the system{\textquoteright}s behavior to identify the occurrence of failure. This paper presents a Model Driven Development (MDD) approach to the automated creation of the Diagnosing Services and integrating them into the system. The outline of the method is as follows. BPEL models of the services are transformed to Deterministic Automaton with Unobservable Event representations using the MDD transformations. Then, relying on Discrete Event System techniques Diagnosers Automaton for the Deterministic Automaton representations are created automatically. Finally, the Diagnosers Automaton is transformed into a new BPEL representation, which is integrated into the original architecture. The proposed approach is implemented as an Oracle JDevlopers plugin. To evaluate the presented method, a case study involving a Right-First-Time failure scenario motivated by telecom application is used.},
	keywords = {Business process execution language, Oracle JDevlopers, Web services},
	url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-79960673085\&partnerID=40\&md5=01e27ad877cad334f9f50bb5f59cbeff},
	author = {Alodib, M. and Bordbar, B. and Majeed, B.}
}
