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).

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-054

BibTeX:

@inproceedings{REWERSE-RP-2007-054,
	author = {Milan Milanović and Dragan Gašević and Adrian Giurca and Gerd Wagner and Sergey Lukichev and Vladan Devedžić},
	title = {Bridging Concrete and Abstract Syntax of Web Rule Languages},
	booktitle = {Proceedings of First International Conference on Web Reasoning and Rule Systems, Innsbruck, Austria (7th--8th June 2007)},
	year = {2007},
	volume = {4524},
	series = {LNCS},
	pages = {309--318},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-054}
}