About the journal

• Home page
• Contact information
• Aims and scope
• Indexing information
• Editorial policies
• ComSIS consortium
• Journal boards
• Managing board

For authors

• Information for contributors
• Paper submission
• Article submission through OJS
• Copyright transfer form
• Download section

For readers

• Forthcoming articles
• Current issue
• Archive

For reviewers

• View and review submissions

News

• Journal's Facebook page
• Calls for special issues
• New issue notification

UDC 004.423.2, DOI: 10.2298/csis0902047M

Model Transformations to Bridge Concrete and Abstract Syntax of Web Rule Languages

Milan Milanović¹, Dragan Gašević², Adrian Giurca³, Gerd Wagner³, Sergey Lukichev³ and Vladan Devedžić¹

1. GOOD OLD AI Laboratory, FON-School of Business Administration, University of Belgrade
   Serbia
   milan@milanovic.org, devedzic@etf.bg.ac.yu
2. School of Computing and Information Systems, Athabasca University
   Canada
   dgasevic@acm.org
3. FInstitute of Informatics, Brandenburg Technical University at Cottbus
   Germany
   Giurca@tu-cottbus.de, G.Wagner@tu-cottbus.de, lukichev@tu-cottbus.de

Abstract

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.

Key words

rules, MDE, syntax, transformations, languages, R2ML, OCL, SWRL

Digital Object Identifier (DOI)

https://doi.org/10.2298/csis0902047M

Publication information

Volume 6, Issue 2 (December 2009)
Year of Publication: 2009
ISSN: 2406-1018 (Online)
Publisher: ComSIS Consortium

Full text

Available in PDF
Portable Document Format

How to cite

Milanović, M., Gašević, D., Giurca, A., Wagner, G., Lukichev, S., Devedžić, V.: Model Transformations to Bridge Concrete and Abstract Syntax of Web Rule Languages. Computer Science and Information Systems, Vol. 6, No. 2, 47-85. (2009), https://doi.org/10.2298/csis0902047M