Reasoning About Web Information Systems Using Story Algebras

As web information systems (WIS) tend to become large, it becomes decisive that the underlying application story is well designed. Such stories can be expressed by a process algebra. In this paper we show that such WIS-oriented process algebras lead to many-sorted Kleene algebras with tests, where the sorts correspond to scenes in the story space. As Kleene algebras with tests subsume propositional Hoare logic, they are an ideal candidate for reasoning about the story space. We show two applications for this: (1) the personalisation of the story space to the preferences of a particular user, and (2) the satisfaction of particular information needs of a WIS user.

[1]  Klaus-Dieter Schewe,et al.  Modelling Web-Based Banking Systems: Story Boarding and User Profiling , 2002, ER.

[2]  Bernhard Thalheim,et al.  SiteLang: Conceptual Modeling of Internet Sites , 2001, ER.

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

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

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

[6]  Bernhard Thalheim,et al.  Context-Aware Web Information Systems , 2004, APCCM.

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

[8]  Bernhard Thalheim,et al.  Design of data-intensive Web-based information services , 2000, Proceedings of the First International Conference on Web Information Systems Engineering.

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

[10]  Dexter Kozen,et al.  On Kleene Algebras and Closed Semirings , 1990, MFCS.

[11]  Stefano Ceri,et al.  Building Multi-device, Content-Centric Applications Using WebML and the W3I3 Tool Suite , 2000, ER.

[12]  Dexter Kozen.  On Hoare logic and Kleene algebra with tests , 2000, TOCL.

[13]  Luciano Baresi,et al.  From Web Sites to Web Applications: New Issues for Conceptual Modeling , 2000, ER.

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

[15]  Bernhard Thalheim,et al.  Modeling Interaction and Media Objects , 2000, NLDB.

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