Defining the semantics of rule-based Web applications through model-driven development

Joaquín Cañadas ; José Palma ; Samuel Túnez

International Journal of Applied Mathematics and Computer Science, Tome 21 (2011), p. 41-55 / Harvested from The Polish Digital Mathematics Library

Résumé

Rule languages and inference engines incorporate reasoning capabilities to Web information systems. This paper presents an approach for the specification and development of Web applications performing the usual functionalities of data management and incorporating a rule engine for reasoning capabilities. The proposed approach is based on the definition of a high-level representation of the semantics of rule-based applications through a formalism for conceptual modeling combining lightweight ontologies and production rules. These models are used as the source for a model-driven method that applies several transformations to conceptual models generating the rule-based Web application code in an automatic process. As a result, the rule-based Web application embeds a rule engine suitable for deducing information by applying an inference process. The structure of the information managed by the Web application is based on ontology classes, whereas the logical expressions applied in reasoning are obtained from production rules of the model. A rule-based Web application has been developed and evaluated using a supporting tool that implements the ideas presented in this paper.

Détail

Publié le : 2011-01-01
EUDML-ID : urn:eudml:doc:208036

Bibliographie

[000] Abdullah, M.S., Benest, I.D., Paige, R.F. and Kimble, C. (2007). Using unified modeling language for conceptual modelling of knowledge-based systems, in C. Parent, K.-D. Schewe, V.C. Storey and B. Thalheim (Eds.), 26th International Conference on Conceptual Modeling, ER 2007, Auckland, New Zealand, Lecture Notes in Computer Science, Vol. 4801, Springer-Verlag, Berlin/Heidelberg, pp. 438-453.

[001] Boley, H., Tabet, S. and Wagner, G. (2001). Design rationale for RuleML: A markup language for Semantic Web rules, in I.F. Cruz, S. Decker, J. Euzenat and D.L. McGuinness (Eds.), Proceedings of SWWS'01, The First Semantic Web Working Symposium, Stanford University, California, USA, pp. 381-401.

[002] Brachman, R.J. and Levesque, H.J. (2004). Knowledge Representation and Reasoning, Morgan Kaufmann, San Francisco, CA.

[003] Cañadas, J., Palma, J. and Túnez, S. (2009). InSCo-Gen: A MDD tool for Web rule-based applications, in M. Gaedke, M. Grossniklaus and O. Díaz (Eds.), Web Engineering: 9th International Conference, ICWE 2009, San Sebastián, Spain, Lecture Notes in Computer Science, Vol. 5648, Springer-Verlag, Berlin/Heidelberg, pp. 523-526.

[004] Ceri, S., Fraternali, P. and Matera, M. (2002). Conceptual modeling of data-intensive Web applications, IEEE Internet Computing 6(4): 20-30.

[005] Chaur G. Wu (2004). Modeling rule-based systems with EMF, Eclipse Corner Articles, http://www.eclipse.org/articles/.

[006] Dean, M., Schreiber, G., Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F. and Stein, L.A. (2004). OWL Web Ontology Language Reference, W3C Recommendation, http://www.w3.org/TR/owl-ref.

[007] del Águila, I.M., Cañadas, J., Bosch, A., Túnez, S. and Marín, R. (2003). Knowledge model of a therapy administration task applied to an agricultural domain, in V. Palade, R.J. Howlett and L.C. Jain (Eds.), Knowledge-Based Intelligent Information and Engineering Systems, 7th International Conference, KES 2003, Oxford, UK, Lecture Notes in Computer Science, Vol. 2774, Springer-Verlag, Berlin/Heidelberg, pp. 1277-1283.

[008] del Águila, I.M., Cañadas, J., Palma, J. and Túnez, S. (2006). Towards a methodology for hybrid systems software development, Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE), San Francisco, CA, USA, pp. 188-193.

[009] Diouf, M., Maabout, S. and Musumbu, K. (2007). Merging model driven architecture and Semantic Web for business rules generation, in M. Marchiori, J.Z. Pan and C. de Sainte Marie (Eds.), Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck, Austria, Lecture Notes in Computer Science, Vol. 4524, Springer-Verlag, Berlin/Heidelberg, pp. 118-132.

[010] Distante, D., Pedone, P., Rossi, G. and Canfora, G. (2007). Model-driven development of Web applications with UWA, MVC and JavaServer Faces, in L. Baresi, P. Fraternali and G.-J. Houben (Eds.), Web Engineering, 7th International Conference, ICWE 2007, Como, Italy, Lecture Notes in Computer Science, Vol. 4607, Springer-Verlag, Berlin/Heidelberg, pp. 457-472.

[011] Durkin, J. (1993). Expert Systems: Catalog of Applications, Intelligent Computer Systems Inc., Akron, OH.

[012] Eiter, T., Ianni, G., Krennwallner, T. and Polleres, A. (2008). Rules and ontologies for the Semantic Web, in C. Baroglio, P.A. Bonatti, J. Maluszynski, M. Marchiori, A. Polleres and S. Schaffert (Eds.), Reasoning Web, Lecture Notes in Computer Science, Vol. 5224, Springer-Verlag, Berlin/Heidelberg, pp. 1-53.

[013] Eriksson, H. (2003). Using JessTab to integrate Protege and Jess, IEEE Intelligent Systems 18(2): 43-50.

[014] Frankel, D., Hayes, P., Kendall, E. and McGuinness, D. (2004). The model driven Semantic Web, 1st International Workshop on the Model-Driven Semantic Web (MDSW2004), Monterey, CA, USA, http://www.sandsoft.com/edoc2004/FHKM-MDSWOverview.pdf.

[015] Fraternali, P., Bongio, A., Brambilla, M., Comai, S. and Matera, M. (2002). Designing Data-Intensive Web Applications, 1st Edn., Morgan Kaufmann, San Francisco, CA.

[016] Friedman-Hill, E. (2003). Jess in Action: Rule-based Systems in Java, Manning Publications, Greenwich, CT.

[017] Gasevic, D., Djuric, D. and Devedzic, V. (2006). Model Driven Architecture and Ontology Development, Springer-Verlag New York, Inc., Secaucus, NJ.

[018] Geary, D. and Horstmann, C.S. (2007). Core JavaServer Faces, 2nd Edn., Prentice Hall, Upper Saddle River, NJ.

[019] Gómez-Pérez, A., Fernández-López, M. and Corcho, O. (2004). Ontological Engineering, Springer-Verlag New York, Inc., Secaucus, NJ.

[020] Groenewegen, D.M., Hemel, Z., Kats, L.C.L. and Visser, E. (2008). WebDSL: A domain-specific language for dynamic Web applications, in G.E. Harris (Ed.), 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, Nashville, TN, USA, ACM, New York, NY, pp. 779-780.

[021] Grove, R. (2000). Internet-based expert systems, Expert Systems 17(3): 129-135. | Zbl 1031.68594

[022] Horrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B. and Dean, M. (2004). SWRL: A Semantic Web Rule Language Combining OWL and RuleML, http://www.w3.org/Submission/SWRL/.

[023] JBoss (2009a). Drools documentation, http://www.jboss.org/drools/documentation.html.

[024] JBoss (2009b). RichFaces, http://www.jboss.org/jbossrichfaces/.

[025] Karsai, G., Neema, S. and Sharp, D. (2008). Model-driven architecture for embedded software: A synopsis and an example, Science of Computer Programming 73(1): 26-38. | Zbl 1162.68402

[026] Kifer, M. (2008). Rule interchange format: The framework, in D. Calvanese and G. Lausen (Eds.), Web Reasoning and Rule Systems, Second International Conference, Karlsruhe, Germany, Lecture Notes in Computer Science, Vol. 5341, Springer-Verlag, Berlin/Heidelberg, pp. 1-11.

[027] Koch, N., Knapp, A., Zhang, G. and Baumeister, H. (2008). UML-based Web engineering. An approach based on standards, in G. Rossi, O. Pastor, D. Schwabe and L. Olsina (Eds.), Web Engineering: Modelling and Implementing Web Applications, Human-Computer Interaction Series, Springer, London, pp. 157-191.

[028] Kogut, P., Cranefield, S., Hart, L., Dutra, M., Baclawski, K., Kokar, M. and Smith, J. (2002). UML for ontology development, Knowledge Engineering Review 17(01): 61-64.

[029] Kolovos, D.S. (2007). Exeed: EXtended Emf EDitor-User Manual, http://www.eclipse.org/gmt/epsilon/doc/Exeed.pdf.

[030] Linaje, M., Preciado, J.C. and Sanchez-Figueroa, F. (2007). Engineering rich internet application user interfaces over legacy Web models, IEEE Internet Computing 11(6): 53-59.

[031] Mei, J., Bontas, E.P. and Lin, Z. (2005). OWL2Jess: A transformational implementation of the OWL semantics, in G. Chen, Y. Pan, M. Guo and J. Lu (Eds.), Parallel and Distributed Processing and Applications-ISPA 2005 Workshops, Nanjing, China, Lecture Notes in Computer Science, Vol. 3759, Springer-Verlag, Berlin/Heidelberg, pp. 599-608.

[032] Mellor, S., Clark, A. and Futagami, T. (2003). Model-driven development-Guest editors' introduction, IEEE Software 20(5): 14-18.

[033] Moreno, N., Meliá, S., Koch, N. and Vallecillo, A. (2008). Addressing new concerns in model-driven Web engineering approaches, in J. Bailey, D. Maier, K.-D. Schewe, B. Thalheim and X.S. Wang (Eds.), Web Information Systems Engineering-WISE 2008, 9th International Conference, Auckland, New Zealand, Lecture Notes in Computer Science, Vol. 5175, Springer-Verlag, Berlin/Heidelberg pp. 426-442.

[034] Moreno, N., Romero, J.R. and Vallecillo, A. (2008). An overview of model-driven Web engineering and the MDA, in G. Rossi, O. Pastor, D. Schwabe and L. Olsina (Eds.), Web Engineering: Modelling and Implementing Web Applications, Human-Computer Interaction Series, Springer, London, pp. 353-382.

[035] Nalepa, G.J. and Ligęza, A. (2010). The HeKatE methodology. Hybrid engineering of intelligent systems, International Journal of Applied Mathematics and Computer Science 20(1): 35-53, DOI: 10.2478/v10006-010-0003-9. | Zbl 1300.93078

[036] Object Management Group (2003a). MDA Guide Version 1.0.1, OMG document: omg/2003-06-01.

[037] Object Management Group (2003b). Meta Object Facility (MOF) 2.0 Core Specification, OMG document: ptc/03-1004.

[038] Object Management Group (2008). Semantics of Business Vocabulary and Business Rules (SBVR), http://www.omg.org/spec/SBVR/1.0.

[039] Object Management Group (2009a). Ontology Definition Metamodel (ODM), http://www.omg.org/spec/ODM/1.0/.

[040] Object Management Group (2009b). Production Rule Representation (PRR), http://www.omg.org/spec/PRR/1.0/.

[041] O'Connor, M.J., Knublauch, H., Tu, S.W., Grosof, B.N., Dean, M., Grosso, W.E. and Musen, M.A. (2005). Supporting rule system interoperability on the Semantic Web with SWRL, in Y. Gil, E. Motta, V.R. Benjamins and M.A. Musen (Eds.), International Semantic Web Conference, ISWC 2005, Galway, Ireland, Lecture Notes in Computer Science, Vol. 3729, Springer-Verlag, Berlin/Heidelberg, pp. 974-986.

[042] Paptaxiarhis, V., Tsetsos, V., Karali, I. and Stamotopoulos, P. (2009). Developing rule-based Web applications: Methodologies and tools, Handbook of Research on Emerging Rule-based Languages and Technologies: Open Solutions and Approaches, IGI Global, Hershey, PA, pp. 371-392.

[043] Ribarić, M., Gašević, D., Milanović, M., Giurca, A., Lukichev, S. and Wagner, G. (2007). Model-driven engineering of rules for Web services, in R. Lämmel, J. Visser and J. Saraiva (Eds.), Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, Lecture Notes in Computer Science, Vol. 5235, Springer-Verlag, Berlin/Heidelberg, pp. 377-395.

[044] Russell, S.J. and Norvig, P. (1995). Artificial Intelligence: A Modern Approach, Prentice-Hall, Inc., Upper Saddle River, NJ. | Zbl 0835.68093

[045] Schmidt, D.C. (2006). Guest editor's introduction: Model-driven engineering, Computer 39(2): 25-31.

[046] Schreiber, G., Akkermans, H., Anjewierden, A., de Hoog, R., Shadbolt, N., de Velde, W.V. and Wielinga, B. (2000). Knowledge Engineering and Management: The CommonKADS Methodology, MIT Press, Cambridge, MA.

[047] Wagner, G. (2002). How to design a general rule markup language?, in R. Tolksdorf and R. Eckstein (Eds.) XML Technologien für das Semantic Web-XSW 2002, Proceedings zum Workshop, 24-25 Juni 2002, Berlin, Lecture Notes in Informatics, Vol. 14, GI, Bonn, pp. 19-37.

[048] Wagner, G., Giurca, A. and Lukichev, S. (2006). A usable interchange format for rich syntax rules integrating OCL, RuleML and SWRL, Proceedings of the Workshop on Reasoning on the Web (RoW2006), Edinburgh, UK.