Modeling Information Services on the Basis of ASM Semantics

Operational semantics for database systems is still an open research area. Moreover, the development of appropriate operational semantics for challenging applications becomes crucial and indispensible. Such applications are, for instance, internet applications which can be modeled on the basis of SiteLang.