Bridging Concrete and Abstract Syntax of Web Rule Languages

Abstract

Abstract. This paper proposes a solution for bridging abstract and concrete syntax of a Web rule language by using model transformations. Current specifications of Web rule languages such as Semantic Web Rule Language (SWRL) define its abstract syntax (e.g., EBNF notation) and concrete syntax (e.g., XML schema) separately. Although the recent research in the area of Model-Driven Engineering demonstrates that such a separation of two types of syntax is a good practice (due to the complexity of languages), one should also have tools that check validity of rules written in a concrete syntax with respect to the abstract syntax of the rule language. In this study, we use analyze the REWERSE I1 Rule Markup Language (R2ML) whose abstract syntax is defined by using metamodeling, while its textual concrete syntax is defined by using XML schema. We bridge this gap by a bi-directional transformation defined in a model transformation language (i.e., ATL).

Model-Driven Engineering of Service-Oriented Systems

“…However, this initiative is still under-development and without final adopted specification (W3C RIF, 2009). In this area, two major initiatives preceded RIF -RuleML (RuleML, 2009) and REWERSE Rule Markup Language (R2ML) (Milanović, Gašević, Giurca, Wagner & Devedžić, 2008). While both initiatives supported all four abovementioned types of rules, R2ML made an explicit step toward an integration with the rule modeling initiatives.…”