| ********************************************************* |
| ** Description: OCL2R2ML ATL transformation scenario |
| ** Author: Milan Milanovic <milan at milanovic.org> |
| ** Date: October 10, 2006 |
| ******************************************************** |
| |
| This ATL scenario transforms OCL (Object Constraint Language) into R2ML (REWERSE I1 Markup Language). |
| It is composed of OCL EBNF injector (to OCL metamodel), transformations (OCL2R2ML) and an R2ML extractor |
| that produces XML documents that conform to the R2ML syntax defined by REWERSE I1 group. To find more |
| details about this transformation scenario, please refer to [1]-[2]. |
| |
| See also: |
| -- R2ML2OCL 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: |
| --------------------- |
| - R2ML2XML.atl: ATL transformation that transforms an R2ML model into an |
| an XML models with R2ML syntax elements. |
| |
| - OCL2R2ML.atl: The core transformation, that produced an R2ML model from |
| a OCLmodel (instance of OCLmetamodel). |
| |
| - OCL2R2ML.xml: An ANT script that automatically executes the 2 ATL transformations, |
| EBNF injector to produce OCL model from OCL file, and a XML extractor |
| to produce R2ML XML documents from R2ML model. It can be |
| executed by right-clicking on it, then clicking on "Run As->Ant Build". |
| To execute this transformation on other SWRL examples, place your OCL invariant files |
| in the models/ocl 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. |
| |
| - Every metamodel have KM3 and Ecore EMF XMI 2.0 format versions. |
| |
| Sample files: |
| ------------- |
| - Models/ocl/m1.ocl: This file is simple OCL invariant and is used as input example by |
| this transformation scenario. |
| |
| - Models/r2ml-xml/R2MLRule.xml: This file is R2ML rule in the R2ML XML format after executing OCL EBNF injector, |
| the OCL2R2ML transformation, the R2ML2XML transformation and XML extractor. |
| |
| Other files: |
| ------------ |
| - OCL-ebnfinjector.jar: OCL EBNF injector that is used to translate OCL code into OCL model. |
| |
| 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. |
