*********************************************************
** Description: R2ML2OCL ATL transformation scenario
** Author: 	Milan Milanovic <milan at milanovic.org>
** Date: 	October 10, 2006
********************************************************

This ATL scenario transforms R2ML (REWERSE I1 Markup Language) into OCL (Object Constraint Language). 
It is composed of R2ML injector (to R2ML metamodel), transformations (R2ML2OCL) and an OCL extractor 
that produces OCL documents that conform to the OCL grammar. To find more details about this 
transformation scenario, please refer to [1]-[2]. 

See also: 
	-- OCL2R2ML transformations scenario
	-- R2ML (REWERSE I1 Rule Markup Language) - http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=node/6
	-- Object Constraint Language - OMG Available Specification, Version 2.0, formal/06-05-01. 
                                        [Online] http://www.omg.org/cgi-bin/doc?formal/06-05-01

Transformation files:
---------------------
	- XML2R2ML.atl: ATL transformation that transforms an XML model that are 
                        injected from R2ML XML documents, into R2ML model.
                        
	- R2ML2OCL.atl: The core transformation, that produced an OCL model from
                        a R2ML model (instance of R2ML metamodel).

	- R2ML2OCL.xml: An ANT script that automatically executes the 2 ATL transformations (XML2R2ML and R2ML2OCL)
	                and the EBNF extractor to produce a OCL code from OCL model. It can be 
                        executed by right-clicking on it, then clicking on "Run As->Ant Build". 
                        To execute this transformation on other R2ML examples, place your R2ML models 
                        in the models/r2ml-xml folder and make necessary changes in ANT script.
Metamodel files:
----------------
	- XML.xmi: XML metamodel in MOF XMI 1.2 format (MOF-1.4). This metamodel is part of standard metamodels 
                   used with ATL. It is used when models are tranformed into XML documents or vice versa.

	- OCL.xmi: OCL metamodel in MOF XMI 1.2 format (MOF-1.4). This model represents an abstract syntax for
                   the OCL language.

	- R2ML.xmi: R2ML metamodel in MOF XMI 1.2 format (MOF-1.4). Metamodel of the R2ML language.
	
	- TCS.xmi: Textual Concrete Syntax metamodel in MOF XMI 1.2 format (MOF-1.4).
		    
	- Every metamodel have KM3 and Ecore EMF XMI 2.0 format versions.
	
Sample files:
-------------
	- Models/r2ml-xml/R2MLRule.xml: This file is R2ML rule in the R2ML XML format and is used as input example by
					this transformation scenario.
	
	- Models/ocl/m1.ocl: This file is OCL invariant after the XML injector, the R2ML2OCL transformation and
	                     the OCL EBNF extractor.                                

Other files:
------------
	- OCL.tcs: OCL textual concrete syntax

References:
-----------
[1] Milanović, M., Gašević, D., Guirca, A., Wagner, G., Devedžić, V., "Towards Sharing Rules Between OWL/SWRL and UML/OCL", Electronic Communications of the European Association of Software Science and Technology, Volume 5, 2006.
[2] Milanović, M. "Modeling rules on the Semantic Web", master thesis, GOOD OLD AI Lab, Faculty of organizational sciences, University of Belgrade.