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).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ATLAS Transformation Language (ATL), http://www.sciences.univ-nantes.fr/lina/atl
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)
Bézivin, J.: On the unification power of models. Software and System Modeling 4(2), 171–188 (2005)
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)
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)
Ginsberg, A.: RIF Use Cases and Requirements, W3C Working Draft, http://www.w3.org/TR/rif-ucr (2006)
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)
Jovanović, J., Gašević, D.: XML/XSLT-Based Knowledge Sharing. Expert Systems with Applications 29(3), 535–553 (2005)
Kurtev, I., Bézivin, J., Aksit, M.: Technological Spaces: an Initial Appraisal, CoopIS, DOA’2002, Industrial track (2002)
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)
Miller, J., Mukerji, J. (eds.): MDA Guide Version 1.0.1, OMG (2003)
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.)
MOF QVT Final Adopted Specification, OMG document 05-11-01, (2005)
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)
The REWERSE I1 Rule Markup Language (R2ML), http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=node/6 (2006)
Seidewitz, E.: What Models Mean, IEEE Software, pp. 26–32 (2003)
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)
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/
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Milanović, M., Gašević, D., Giurca, A., Wagner, G., Lukichev, S., Devedžić, V. (2007). Bridging Concrete and Abstract Syntax of Web Rule Languages. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds) Web Reasoning and Rule Systems. RR 2007. Lecture Notes in Computer Science, vol 4524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72982-2_25
Download citation
DOI: https://doi.org/10.1007/978-3-540-72982-2_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72981-5
Online ISBN: 978-3-540-72982-2
eBook Packages: Computer ScienceComputer Science (R0)