Personalisation of web information systems - A term rewriting approach

Data and Knowledge Engineering

Volumn 62, Issue 1, 2007, Pages 101-117

  Schewe, Klaus Dieter ^a   Thalheim, Bernhard ^b  

^a MASSEY UNIVERSITY   (New Zealand)

^b UNIVERSITY OF KIEL   (Germany)

Author keywords

Adaptivity; Dynamic logic; Kleene algebra; Personalisation; Term rewriting; Web information system

Indexed keywords

ADAPTIVE ALGORITHMS; ALGEBRA; DATA REDUCTION; FORMAL LOGIC; OPTIMIZATION; PROBLEM SOLVING; WORLD WIDE WEB;

ADAPTIVITY; DYNAMIC LOGIC; KLEENE ALGEBRAS WITH TESTS (KAT); WEB INFORMATION SYSTEM; WEB INFORMATION SYSTEMS (WIS);

INFORMATION SYSTEMS;

EID: 34247135973     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2006.07.007     Document Type: Article

References (43)

1. S. Abiteboul, P. Kanellakis, Object identity as a query language primitive, in: Proceedings of SIGMOD 1989, ACM, 1989.
2. Angin O., Campbell A.T., Kounavis M.E., and Liao R.R.-F. The Mobiware toolkit: Programmable support for adaptive mobile networking. IEEE Personal Communications 5 4 (1998) 32-43
3. Atzeni P., Gupta A., and Sarawagi S. Design and maintenance of data-intensive web-sites. Proceedings of EDBT'98. LNCS vol. 1377 (1998), Springer-Verlag, Berlin 436-450
4. H. Bharadvaj, A. Joshi, S. Auephanwiriyakul, An active transcoding proxy to support mobile web access, in: Proceedings of 17th IEEE Symposium on Reliable Distributed Systems, 1998.
5. T. Bickmore, B. Schilit, Digestor: Device independent access to the World Wide Web. Available from: http://www.fxpal.com/papers/bic97/, 1997.
6. O. Buyukkokten, H.G. Molina, A. Paepcke, T. Winograd, Power browser: Efficient web browsing for PDAs. Available from: http://dbpubs.stanford.edu:8090/pub/showDoc.Fulltext, 1999.
7. Ceri S., Fraternali P., Bongio A., Brambilla M., Comai S., and Matera M. Designing Data-Intensive Web Applications (2003), Morgan Kaufmann, San Francisco
8. J. Chen, B. Zhou, J. Shi, H. Zhang, Q. Wu, Functional-based object model towards website adapation, in: Proceedings of the 10th International Conference on the World Wide Web (Hong Kong, China, 2001). Available from: http://www10.org/cdrom/papers/296/.
9. De Troyer O., and Casteleyn S. Designing localized web sites. Web Information Systems - WISE 2004. LNCS vol. 3306 (2004), Springer-Verlag 547-558
10. De Troyer O., and Leune C. WSDM: A user-centered design method for web sites. Computer Networks and ISDN Systems, in: Proceedings of the 7th International WWW Conference (1998), Elsevier 85-94
11. Dignum F., Meyer J.-J.C., Wieringa R., and Kuiper R. A modal approach to intentions commitments and obligations: Intention plus commitment yields obligation. In: Brown M.A., and Carmo J. (Eds). DEON 1996. Workshops in Computing (1996), Springer 80-97
12. Ebbinghaus H.-D., and Flum J. Finite Model Theory (1999), Springer-Verlag, Berlin Heidelberg
13. Eiter T., and Subrahmanian V.S. Deontic action programs. In: Polle T., Ripke T., and Schewe K.-D. (Eds). Fundamentals of Information Systems (1999), Kluwer Academic Publishers 37-54
14. Elgesem D. The modal logic of agency. Nordic Journal of Philosophical Logic 2 (1997) 1-48
15. A. Finkelstein, A. Savigni, G. Kappel, W. Retschitzegger, E. Kimmerstorfer, W. Schwinger, T. Hofer, B. Pröll, C. Feichtner, Ubiquitous web application development - A framework for understanding, in: Proceedings of 6th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2002) (Orlando, Florida, USA, 2002), pp. 431-438.
16. Fokkink W., and Zantema H. Basic process algebra with iteration: Completeness of its equational axioms. The Computer Journal 37 4 (1994) 259-268
17. Fokkink W., and Zantema H. Termination modulo equations by abstract commutation with an application to iteration. Theoretical Computer Science 177 2 (1997) 407-423
18. Fox A., Gribble S.D., Chawathe Y., and Brewer E.A. Adapting to network and client variation using active proxies: Lessons and perspectives. IEEE Personal Communication 5 4 (1998) 10-19
19. Gómez J., Cachero C., and Pastor O. Modelling dynamic personalization in web applications. Third International Conference on Web Engineering - ICWE 2003. LNCS vol. 2722 (2003), Springer-Verlag 472-475
20. Harel D., Kozen D., and Tiuryn J. Dynamic Logic (2000), The MIT Press, Cambridge (MA), USA
21. Hoare C.A.R. An axiomatic basis for computer programming. Communications of the ACM 12 10 (1969) 576-580
22. M. Hori, G. Kondoh, K. Ono, S. Hirose, S. Singhal, Annotation-based web content transcoding. Available from: http://www9.org/w9cdrom/169/169.html, 2001.
23. Houben G.-J., Barna P., Frasincar F., and Vdovjak R. HERA: Development of semantic web information systems. Third International Conference on Web Engineering - ICWE 2003. LNCS vol. 2722 (2003), Springer-Verlag 529-538
24. G. Kappel, W. Retschitzegger, E. Kimmerstorfer, B. Pröll, W. Schwinger, T. Hofer, Towards a generic customisation model for ubiquitous web applications, in: Proceedings of the 2nd International Workshop on Web Oriented Software Technology, Malaga, Spain, 2002, pp. 79-104.
25. Kleene S.C. Representation of events in nerve sets and finite automata. Annals of Mathematics Studies 34 (1956) 3-41
26. Knuth D.E., and Bendix P.B. Simple word problems in universal algebras. Computational Problems in Abstract Algebra (1970), Pergamon Press, Oxford, UK 263-297
27. Kozen D. A completeness theorem for Kleene algebras and the algebra of regular events. Information and Computation 110 2 (1994) 366-390
28. Kozen D. Kleene algebra with tests. ACM Transactions on Programming Languages and Systems 19 3 (1997) 427-443
29. Kozen D. On Hoare logic and Kleene algebra with tests. Logic in Computer Science (1999), IEEE Computer Society 167-172
30. Kozen D. On the complexity of reasoning in Kleene algebra. Information and Computation 179 2 (2002) 152-162
31. Kozen D., and Smith F. Kleene algebra with tests: Completeness and decidability. Computer Science Logic. LNCS vol. 1258 (1996), Springer-Verlag 244-259
32. Nute D. Defeasible Deontic Logic (1997), Kluwer Academic Publishers
33. Rossi G., Schwabe D., and Lyardet F. Web application models are more than conceptual models. Advances in Conceptual Modeling. In: Chen P., et al. (Ed). LNCS vol. 1727 (1999), Springer-Verlag, Berlin 239-252
34. Schewe K.-D. The power of media types. Proceedings WISE 2004: Web Information Systems Engineering. LNCS (2004), Springer-Verlag
35. Schewe K.-D., and Thalheim B. Towards a theory of consistency enforcement. Acta Informatica 36 2 (1999) 97-141
36. Schewe K.-D., and Thalheim B. An algorithmic approach to high-level personalisation of web information systems. In: Fan W., Wu Z., and Yang J. (Eds). Web Age Information Management - WAIM 2005. LNCS vol. 3739 (2005), Springer-Verlag 737-742
37. Schewe K.-D., and Thalheim B. The co-design approach to web information systems development. International Journal on Web Information Systems 1 1 (2005) 5-14
38. Schewe K.-D., and Thalheim B. Conceptual modelling of web information systems. Data and Knowledge Engineering 54 2 (2005) 147-188
39. Schwabe D., and Rossi G. An object oriented approach to web-based application design. TAPOS 4 4 (1998) 207-225
40. Thalheim B. Entity-Relationship Modeling: Foundations of Database Technology (2000), Springer-Verlag
41. UWA Consortium. The UWA approach to modeling ubiquitous web applications, in: Proceedings of the IST mobile and wireless telecommunications summit 2002 (Thessaloniki, Greece, 2002).
42. Wieringa R., and Meyer J.-J.C. Actor-oriented specification of deontic integrity constraints. In: Thalheim B., Demetrovics J., and Gerhardt H.-D. (Eds). Mathematical Fundamentals of Database Systems (MFDBS 1991). LNCS vol. 495 (1991), Springer-Verlag 89-103
43. Wieringa R., and Meyer J.-J.C. Actors, actions, and initiative in normative system specification. Annals of Mathematics and Artificial Intelligence 7 1-4 (1993) 289-346