TY - GEN
T1 - Bridging concrete and abstract syntax of web rule languages
AU - Milanović, Milan
AU - Gašević, Dragan
AU - Giurca, Adrian
AU - Wagner, Gerd
AU - Lukichev, Sergey
AU - Devedžić, Vladan
PY - 2007
Y1 - 2007
N2 - 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 Il 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).
AB - 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 Il 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).
UR - http://www.scopus.com/inward/record.url?scp=38149121584&partnerID=8YFLogxK
M3 - Conference Paper
AN - SCOPUS:38149121584
SN - 354072981X
SN - 9783540729815
T3 - Lecture Notes in Computer Science
SP - 309
EP - 318
BT - Web Reasoning and Rule Systems - First International Conference, RR 2007, Proceedings
PB - Springer
T2 - 1st International Conference on Web Reasoning and Rule Systems, RR 2007
Y2 - 7 June 2007 through 8 June 2007
ER -