01644nas a2200229   4500008004100000245006000041210005900101260000900160300001400169490000700183520098400190653001001174653002101184653001101205653000901216653000801225100001601233700001601249700001201265700002001277856011701297       2012                        eng d00aNL2 Alloy: A tool to generate alloy from NL constraints0 aNL2 Alloy A tool to generate alloy from NL constraints  c2012  a365 - 3720 v103 aIn 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.10aAlloy10aNatural language10aNL2OCL10aSBVR10aUML1 aBajwa, I.S.1 aBordbar, B.1 aLee, M.1 aAnastasakis, K.  uhttp://www.scopus.com/inward/record.url?eid=2-s2.0-84874825931&partnerID=40&md5=a6062c119677b77912bbf70d219d113201687nas a2200193   4500008004100000245009100041210006900132260000900201300001400210490000600224520102100230653004001251653002201291653001701313100001501330700001601345700001501361856011701376       2009                        eng d00aOn automated generation of Diagnosers in fault tolerant Service Oriented Architectures0 aautomated generation of Diagnosers in fault tolerant Service Ori  c2009  a336 - 3420 v73 aOne of the key stages of the development of a fault tolerant Service Oriented Architecture is the creation of Diagnosers, which monitors the system'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.10aBusiness process execution language10aOracle JDevlopers10aWeb services1 aAlodib, M.1 aBordbar, B.1 aMajeed, B.  uhttp://www.scopus.com/inward/record.url?eid=2-s2.0-79960673085&partnerID=40&md5=01e27ad877cad334f9f50bb5f59cbeff