Personalisation of web information systems - A term rewriting approach

Personalisation of web information systems (WISs) means customisation of the presented data content to the needs of users, restricting the available functionality to the goals and preferences of users, and tailoring the web presentation according to used devices and style options. This paper primarily concentrates on the customisation of functionality by making all those operations available to a user that are needed to achieve a specified goal, and by organising them in an action scheme called plot that is in accordance with the behavioural preferences of the user. Plots are formalised by algebraic expressions in Kleene algebras with tests (KATs). Then personalisation can be formalised as an optimisation problem with equational preference rules, for which a term rewriting approach is proposed. In a second step the approach is extended to conditional term rewriting thereby dispensing with the particular need to associate preference rules with user profiles. Finally, the approach is refined by taking content specifications via extended views and abstract programs on these views into account. This leads us to reformulating the personalisation problem in higher-order dynamic logic.

[1]  Hans Zantema,et al.  Termination Modulo Equations by Abstract Commutation with an Application to Iteration , 1997, Theor. Comput. Sci..

[2]  Dexter Kozen,et al.  Kleene algebra with tests , 1997, TOPL.

[3]  Bernhard Thalheim,et al.  An Algorithmic Approach to High-Level Personalisation of Web Information Systems , 2005, WAIM.

[4]  V. S. Subrahmanian,et al.  Deontic Action Programs , 1998, FMLDO.

[5]  H. Brown,et al.  Computational Problems in Abstract Algebra , 1971 .

[6]  Olga De Troyer,et al.  Designing Localized Web Sites , 2004, WISE.

[7]  Bernhard Thalheim,et al.  Towards a theory of consistency enforcement , 1999, Acta Informatica.

[8]  Andreas Paepcke,et al.  Power browser: efficient Web browsing for PDAs , 2000, CHI.

[9]  Hans Zantema,et al.  Basic Process Algebra with Iteration: Completeness of its Equational Axioms , 1993, Comput. J..

[10]  Gustavo Rossi,et al.  An Object Oriented Approach to Web-Based Applications Design , 1998, Theory Pract. Object Syst..

[11]  Dexter Kozen.  A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events , 1994, Inf. Comput..

[12]  Ralph Stair,et al.  Fundamentals of Information Systems , 2001 .

[13]  Paolo Merialdo,et al.  Design and Maintenance of Data-Intensive Web Sites , 1998, EDBT.

[14]  Stefano Ceri,et al.  Designing Data-Intensive Web Applications , 2002 .

[15]  Bernhard Thalheim,et al.  Entity-relationship modeling - foundations of database technology , 2010 .

[16]  D. Knuth,et al.  Simple Word Problems in Universal Algebras , 1983 .

[17]  Gustavo Rossi,et al.  Web Application Models Are More Than Conceptual Models , 1999, ER.

[18]  Olga De Troyer,et al.  WSDM: A User Centered Design Method for Web Sites , 1998, Comput. Networks.

[19]  Jörg Flum,et al.  Finite model theory , 1995, Perspectives in Mathematical Logic.

[20]  Yde Venema,et al.  Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.

[21]  Roel Wieringa,et al.  Actor-Oriented Specification of Deontic Integrity Constraints , 1991, MFDBS.

[22]  Andrew T. Campbell,et al.  The mobiware toolkit: programmable support for adaptive mobile networking , 1998, IEEE Wirel. Commun..

[23]  Cristina Cachero,et al.  Modelling Dynamic Personalization in Web Applications , 2003, ICWE.

[24]  Bernhard Thalheim,et al.  Conceptual modelling of web information systems , 2005, Data Knowl. Eng..

[25]  Sansanee Auephanwiriyakul,et al.  An active transcoding proxy to support mobile web access , 1998, Proceedings Seventeenth IEEE Symposium on Reliable Distributed Systems (Cat. No.98CB36281).

[26]  Flavius Frasincar,et al.  Hera: Development of Semantic Web Information Systems , 2003, ICWE.

[27]  Roel Wieringa,et al.  Actors, actions, and initiative in normative system specification , 1993, Annals of Mathematics and Artificial Intelligence.

[28]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[29]  Dexter Kozen,et al.  On Hoare logic and Kleene algebra with tests , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

[30]  Klaus-Dieter Schewe.  The Power of Media Types , 2004, WISE.

[31]  Bill N. Schilit,et al.  Digestor: Device-Independent Access to the World Wide Web , 1997, Comput. Networks.

[32]  Dexter Kozen.  On the Complexity of Reasoning in Kleene Algebra , 2002, Inf. Comput..

[33]  Serge Abiteboul,et al.  Object identity as a query language primitive , 1989, SIGMOD '89.

[34]  Eric A. Brewer,et al.  Adapting to network and client variation using infrastructural proxies: lessons and perspectives , 1998, IEEE Wirel. Commun..

[35]  Dexter Kozen,et al.  Kleene Algebra with Tests: Completeness and Decidability , 1996, CSL.

[36]  Bernhard Thalheim,et al.  The Co-Design Approach to Web Information Systems Development , 2005, Int. J. Web Inf. Syst..

[37]  Kouichi Ono,et al.  Annotation-based Web content transcoding , 2000, Comput. Networks.

[38]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[39]  Frank Dignum,et al.  A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation , 1996, DEON.

[40]  Gerti Kappel,et al.  Ubiquitous Web Application Development - A Framework for Understanding , 2001 .

[41]  Baoyao Zhou,et al.  Function-based object model towards website adaptation , 2001, WWW '01.