Abstract State Services

A Theory of Web Services
  • Hui Ma
  • Klaus-Dieter Schewe
  • Bernhard Thalheim
  • Qing Wang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5232)


Abstract State Services (ASSs) have been introduced recently as an abstraction of web services that exploit the fundamental approach of Abstract State Machines. An ASS combines a hidden database layer with an operation-equipped view layer, and can be a simple function, a data warehouse or a full-fledged Web Information System (WIS). In this paper we provide a language for ASSs, and show how ASSs capture all these instantiations of “services”.


Logic Program Data Warehouse Database Schema Business Process Modelling Notation Abstract State Machine 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Benatallah, B., Casati, F., Toumani, F.: Representing, Analysing and Managing Web Service Protocols. Data and Knowledge Engineering 58(3), 327–357 (2006)CrossRefGoogle Scholar
  2. 2.
    Ma, H., Schewe, K.D., Thalheim, B., Wang, Q.: Composing Personalised Services on top of Abstract State Services (submitted for publication)Google Scholar
  3. 3.
    Schewe, K.-D., Thalheim, B.: Conceptual Modelling of Web Information Systems. Data and Knowledge Engineering 54(2), 147–188 (2005)CrossRefGoogle Scholar
  4. 4.
    Gurevich, J.: Sequential Abstract State Machines Capture Sequential Algorithms. ACM Transactions on Computational Logic 1(1), 77–111 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)CrossRefzbMATHGoogle Scholar
  6. 6.
    Wang, Q., Schewe, K.D.: Axiomatization of Database Transformations. In: Prinz, A., Börger, E. (eds.) ASM 2007, University of Agder, Norway (2007)Google Scholar
  7. 7.
    Altenhofen, M., Börger, E., Lemcke, J.: An Abstract Model for Process Mediation. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 81–95. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. 8.
    Zhao, J., Ma, H.: ASM-based Design of Data Warehouses and On-line Analytical Processing Systems. Journal of Systems and Software 79(5), 613–629 (2006)CrossRefGoogle Scholar
  9. 9.
    Börger, E.: Modeling Workflow Patterns from First Principles. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 1–20. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  10. 10.
    Tanaka, Y.: Meme Media and Meme Market Architectures. IEEE Press, Wiley-Interscience, USA (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Hui Ma
    • 1
  • Klaus-Dieter Schewe
    • 2
  • Bernhard Thalheim
    • 3
  • Qing Wang
    • 4
  1. 1.School of Mathematics, Statistics and Computer ScienceVictoria University of WellingtonWellingtonNew Zealand
  2. 2.Information Science Research CentrePalmerston NorthNew Zealand
  3. 3.Institute of Computer ScienceChristian-Albrechts-University KielKielGermany
  4. 4.Massey UniversityPalmerston NorthNew Zealand

Personalised recommendations