Bridging concrete and abstract syntax of web rule languages

Authors:
Milan Milanovic;Dragan Gaševi;Adrian Giurca;Gerd Wagner;Sergey Lukichev;Vladan Devedžic
Affiliations:
FON-School of Business Administration, University of Belgrade, Serbia;School of Computing and Information Systems, Athabasca University, Canada;Institute of Informatics, Brandenburg Technical University at Cottbus, Germany;Institute of Informatics, Brandenburg Technical University at Cottbus, Germany;Institute of Informatics, Brandenburg Technical University at Cottbus, Germany;FON-School of Business Administration, University of Belgrade, Serbia
Venue:
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Year:
2007

Citing 4
Cited 0

From Object Composition to Model Transformation with the MDA

TOOLS '01 Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS39)
What Models Mean

IEEE Software
Achieving knowledge interoperability: An XML/XSLT approach

Expert Systems with Applications: An International Journal
The rule markup language: RDF-XML data model, XML schema hierarchy, and XSL transformations

INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support

Quantified Score

Hi-index	0.00

Visualization

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