Bridging Concrete and Abstract Syntax of Web Rule Languages

  • Milan Milanović
  • Dragan Gašević
  • Adrian Giurca
  • Gerd Wagner
  • Sergey Lukichev
  • Vladan Devedžić
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4524)

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ATLAS Transformation Language (ATL), http://www.sciences.univ-nantes.fr/lina/atl
  2. Bézivin, J.: From Object Composition to Model Transformation with the MDA. In: Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, Santa Barbara, USA, pp. 350–355 (2001)Google Scholar
  3. Bézivin, J.: On the unification power of models. Software and System Modeling 4(2), 171–188 (2005)CrossRefGoogle Scholar
  4. Boley, H.: The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. In: INAP 2001. LNCS (LNAI), vol. 2543, pp. 5–22. Springer, Heidelberg (2003)Google Scholar
  5. Gandhe, M., Finin, T., Grosof, B.: SweetJess: Translating DamlRuleML to Jess. In: Proceedings of the International Workshop on Rule Markup Languages for Business Rules on the Semantic Web at 1st International Semantic Web Conference, the Sardinia, Italy (2002)Google Scholar
  6. Ginsberg, A.: RIF Use Cases and Requirements, W3C Working Draft, http://www.w3.org/TR/rif-ucr (2006)
  7. Horrocks I., Patel-Schneider, P. F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML, W3C Member Submission, http://www.w3.org/Submission/SWRL (2004)
  8. Jovanović, J., Gašević, D.: XML/XSLT-Based Knowledge Sharing. Expert Systems with Applications 29(3), 535–553 (2005)CrossRefGoogle Scholar
  9. Kurtev, I., Bézivin, J., Aksit, M.: Technological Spaces: an Initial Appraisal, CoopIS, DOA’2002, Industrial track (2002)Google Scholar
  10. Milanović, M., Gašević, D., Guirca, A., Wagner, G., Devedžić, V.: On Interchanging between OWL/SWRL and UML/OCL. In: Proceedings of 6th Workshop on OCL for (Meta-)Models in Multiple Application Domains (OCLApps) at the 9th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genoa, Italy, pp. 81–95 (2006)Google Scholar
  11. Miller, J., Mukerji, J. (eds.): MDA Guide Version 1.0.1, OMG (2003)Google Scholar
  12. Meta Object Facility (MOF) Core, v2.0, OMG Document formal/06-01-01,http://www.omg.org/cgi-bin/doc?formal/2006-01-01 (2005.)
  13. MOF QVT Final Adopted Specification, OMG document 05-11-01, (2005)Google Scholar
  14. Meta Object Facility (MOF) 2.0 XMI Mapping Specification, v2.1, OMG Document formal/2005-09-01, http://www.omg.org/cgi-bin/doc?formal/2005-09-01 (2005)
  15. The REWERSE I1 Rule Markup Language (R2ML), http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=node/6 (2006)
  16. Seidewitz, E.: What Models Mean, IEEE Software, pp. 26–32 (2003)Google Scholar
  17. Simons, A.J.H.: The Theory of Classification, Part 17: Multiple Inheritance and the Resolution of Inheritance Conflicts. Journal of Object Technology 4(2), 15–26 (2005)Google Scholar
  18. Wagner, G., Giurca, A., Lukichev, S.: R2ML: A General Approach for Marking-up Rules. In: Bry, F., Fages, F., Marchiori, M., Ohlbach, H. (eds.) Proceedings of Dagstuhl Seminar 05371, Principles and Practices of Semantic Web Reasoning (2005), http://drops.dagstuhl.de/opus/volltexte/2006/479/

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Milan Milanović
    • 1
  • Dragan Gašević
    • 2
  • Adrian Giurca
    • 3
  • Gerd Wagner
    • 3
  • Sergey Lukichev
    • 3
  • Vladan Devedžić
    • 1
  1. 1.FON-School of Business Administration, University of BelgradeSerbia
  2. 2.School of Computing and Information Systems, Athabasca UniversityCanada
  3. 3.Institute of Informatics, Brandenburg Technical University at CottbusGermany

Personalised recommendations