Modeling information services on the basis of ASM semantics

  • Authors:
  • Aleksander Binemann-Zdanowicz;Bernhard Thalheim

  • Affiliations:
  • Computer Science Institute, Brandenburg University of Technology at Cottbus, Cottbus, Germany;Computer Science Institute, Brandenburg University of Technology at Cottbus, Cottbus, Germany

  • Venue:
  • ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.