Reasoning about web information systems using story algebras

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3255, Issue , 2004, Pages 54-66

  Schewe, Klaus Dieter ^a   Thalheim, Bernhard ^b  

^a MASSEY UNIVERSITY   (New Zealand)

^b UNIVERSITY OF KIEL   (Germany)

Author keywords

Kleene algebra; Navigation; Personalisation; Process algebra; Web information system

Indexed keywords

INFORMATION SYSTEMS; NAVIGATION; WORLD WIDE WEB;

HOARE LOGIC; KLEENE ALGEBRAS; ORIENTED PROCESS; PERSONALISATION; PROCESS ALGEBRAS; WEB INFORMATION SYSTEMS;

ALGEBRA;

EID: 35048892118     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30204-9_4     Document Type: Article

References (16)

1. ATZENI, P., GUPTA, A., AND SARAWAGI, S. Design and maintenance of dataintensive web-sites. In Proceeding EDBT'98, vol. 1377 of LNCS. Springer-Verlag, Berlin, 1998, pp. 436-450.
2. BARESI, L., GARZOTTO, F., AND PAOLINI, P. From web sites to web applications: New issues for conceptual modeling. In ER Workshops 2000, vol. 1921 of LNCS. Springer-Verlag, Berlin, 2000, pp. 89-100.
3. BINEMANN-ZDANOWICZ, A., KASCHEK, R., SCHEWE, K.-D., AND THALHEIM, B. Context-aware web information systems. In Conceptual Modelling 2004 - First Asia-Pacific Conference on Conceptual Modelling (Dunedin, New Zealand, 2004), S. Hartmann and J. Roddick, Eds., vol. 31 of CRPIT, Australian Computer Society, pp. 37-48.
4. BONIFATI, A., CERI, S., FRATERNALI, P., AND MAURINO, A. Building multidevice, content-centric applications using WebML and the W3I3 tool suite. In ER Workshops 2000, vol. 1921 of LNCS. Springer-Verlag, Berlin, 2000, pp. 64-75.
5. CERI, S., FRATERNALI, P., BONGIO, A., BRAMBILLA, M., COMAI, S., AND MATERA, M. Designing Data-Intensive Web Applications. Morgan Kaufmann, San Francisco, 2003.
6. DÜSTERHÖFT, A., AND THALHEIM, B. SiteLang: Conceptual modeling of internet sites. In Conceptual Modeling - ER 2001, H. S. K. et al., Ed., vol. 2224 of LNCS. Springer-Verlag, Berlin, 2001, pp. 179-192.
7. FEYER, T., KAO, O., SCHEWE, K.-D., AND THALHEIM, B. Design of data-intensive web-based information services. In Proceedings of the 1st International Conference on Web Information Systems Engineering (WISE 2000), Q. Li, Z. M. Ozsuyoglu, R. Wagner, Y. Kambayashi, and Y. Zhang, Eds. IEEE Computer Society, 2000, pp. 462-467.
8. HAREL, D., KOZEN, D., AND TIURYN, J. Dynamic Logic. The MIT Press, Cambridge (MA), USA, 2000.
9. HOARE, C. A. R. An axiomatic basis for computer programming. Communications of the ACM 12, 10 (1969), 576-580.
10. KOZEN, D. On Kleene algebra and closed semirings. In Mathematical Fundamentals of Computer Science (1990), pp. 26-47.
11. KOZEN, D. A completeness theorem for Kleene algebras and the algebra of regular events. Information & Computation 110, 2 (1994), 366-390.
12. KOZEN, D. Kleene algebra with tests. ACM Transactions on Programming Languages and Systems 19, 3 (1997), 427-443.
13. KOZEN, D. On Hoare logic and Kleene algebra with tests. In Logic in Computer Science (1999), pp. 167-172.
14. Rossi, G., SCHWABE, D., AND LYARDET, F. Web application models are more than conceptual models. In Advances in Conceptual Modeling, P. C. et al., Ed., vol. 1727 of LNCS. Springer-Verlag, Berlin, 1999, pp. 239-252.
15. SCHEWE, K.-D., KASCHEK, R., WALLACE, C., AND MATTHEWS, C. Modelling web-based banking systems: Story boarding and user profiling. In Advanced Conceptual Modeling Techniques: ER 2002 Workshops (2003), vol. 2784 of LNCS, Springer-Verlag, pp. 427-439.
16. SCHEWE, K.-D., AND THALHEIM, B. Modeling interaction and media objects. In Natural Language Processing and Information Systems: 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, M. Bouzeghoub, Z. Kedad, and E. Métais, Eds., vol. 1959 of LNCS. Springer-Verlag, Berlin, 2001, pp. 313-324.