The power of media types

Abstract

Media types are extended views on some underlying database schema. They permit the detailed formal specification of the data used in the scenes of the story space, i.e. the definition of information portfolios for the actors, and the concretisation of pre- and postconditions for actions. In this paper we show that this leads to higher-order dynamic logic as a basis for formally reasoning about the system specification. In particular, we address the problems of static and dynamic consistency. Furthermore, it refines the level of detail for the personalisation of systems. © Springer-Verlag 2004.