Model Transformations to Bridge Concrete and Abstract Syntax of Web Rule Languages
Computer Science and Information Systems, Tome 6 (2009) no. 2.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

This paper presents a solution to bridging the abstract and concrete syntax of a Web rule languages by using model transforma-tions. Current specifications of Web rule languages such as Semantic Web Rule Language (SWRL) or RuleML define their abstract syntax (e.g., metamodel) and concrete syntax (e.g., XML schema) separately. Although the recent research in the area of Model-Driven Engineering (MDE) 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 the REWERSE I1 Rule Markup Language (R2ML), SWRL, and Object Constraint Language (OCL), whose abstract syntax is defined by using metamodeling, while their textual concrete syntax is defined by using ei-ther XML/RDF schema or Extended Backus-Naur Form (EBNF) syntax. We bridge this gap by a bi-directional transformation defined in a model transformation language (ATLAS Transformation Language, ATL). This transformation allowed us to discover a number of issues in both web rule language metamodels and their corresponding concrete syntax, and thus make them fully compatible. This solution also enables for sharing web rules between different web rule languages.
Keywords: rules, MDE, syntax, transformations, languages, R2ML, OCL, SWRL
@article{CSIS_2009_6_2_a3,
     author = {Milan Milanovi\'c and Dragan Ga\v{s}evi\'c and Adrian Giurca and Gerd Wagner and Sergey Lukichev and Vladan Deved\v{z}i\'c},
     title = {Model {Transformations} to {Bridge} {Concrete} and {Abstract} {Syntax} of {Web} {Rule} {Languages}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {6},
     number = {2},
     year = {2009},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2009_6_2_a3/}
}
TY  - JOUR
AU  - Milan Milanović
AU  - Dragan Gašević
AU  - Adrian Giurca
AU  - Gerd Wagner
AU  - Sergey Lukichev
AU  - Vladan Devedžić
TI  - Model Transformations to Bridge Concrete and Abstract Syntax of Web Rule Languages
JO  - Computer Science and Information Systems
PY  - 2009
VL  - 6
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2009_6_2_a3/
ID  - CSIS_2009_6_2_a3
ER  - 
%0 Journal Article
%A Milan Milanović
%A Dragan Gašević
%A Adrian Giurca
%A Gerd Wagner
%A Sergey Lukichev
%A Vladan Devedžić
%T Model Transformations to Bridge Concrete and Abstract Syntax of Web Rule Languages
%J Computer Science and Information Systems
%D 2009
%V 6
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2009_6_2_a3/
%F CSIS_2009_6_2_a3
Milan Milanović; Dragan Gašević; Adrian Giurca; Gerd Wagner; Sergey Lukichev; Vladan Devedžić. Model Transformations to Bridge Concrete and Abstract Syntax of Web Rule Languages. Computer Science and Information Systems, Tome 6 (2009) no. 2. http://geodesic.mathdoc.fr/item/CSIS_2009_6_2_a3/