Sharing OCL constraints by using web rules

Milan Milanović, Dragan Gašević, Adrian Giurca, Gerd Wagner, Vladan Devedžić

Research output: Contribution to journalArticleResearchpeer-review


This paper presents an MDE-based approach to interchanging rules between the Object Constraint Language (OCL) and REWERSE I1 Rule Markup Language (R2ML). The R2ML tends to be a standard rule markup language by following up the W3C initiative for Rule Interchange Format (RIF). The main benefit of this approach is that the transformations between languages are completely based on the languages' abstract syntax (i.e., metamodels) and in this way we keep the focus on the language concepts rather than on technical issues caused by different concrete syntax. In the current implementation, we have supported translation of the OCL invariants into the R2ML integrity rules. While most of the OCL expression could be represented in the R2ML and other rule languages, we have also identified that collection operators could only be partially supported in other rule languages (e.g., SWRL).

Original languageEnglish
JournalElectronic Communications of the EASST
Publication statusPublished - 2008
Externally publishedYes


  • ATL
  • EBNF
  • MDE
  • Model transformations
  • MOF
  • OCL
  • R2ML
  • RIF
  • SWRL
  • UML
  • XML

Cite this