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.