Skip to main content
SpringerLink
Log in
Book cover

International Conference on Conceptual Modeling

ER 2008: Advances in Conceptual Modeling – Challenges and Opportunities pp 406–415Cite as

Abstract State Services

A Theory of Web Services

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 5232))

Abstract

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”.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Benatallah, B., Casati, F., Toumani, F.: Representing, Analysing and Managing Web Service Protocols. Data and Knowledge Engineering 58(3), 327–357 (2006)

    Article  Google Scholar 

  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. Schewe, K.-D., Thalheim, B.: Conceptual Modelling of Web Information Systems. Data and Knowledge Engineering 54(2), 147–188 (2005)

    Article  Google Scholar 

  4. Gurevich, J.: Sequential Abstract State Machines Capture Sequential Algorithms. ACM Transactions on Computational Logic 1(1), 77–111 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  5. Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)

    Book  MATH  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  10. Tanaka, Y.: Meme Media and Meme Market Architectures. IEEE Press, Wiley-Interscience, USA (2003)

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Mathematics, Statistics and Computer Science, Victoria University of Wellington, Wellington, New Zealand

    Hui Ma

  2. Information Science Research Centre, Palmerston North, New Zealand

    Klaus-Dieter Schewe

  3. Institute of Computer Science, Christian-Albrechts-University Kiel, Kiel, Germany

    Bernhard Thalheim

  4. Massey University, Palmerston North, New Zealand

    Qing Wang

Authors
  1. Hui Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Klaus-Dieter Schewe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bernhard Thalheim
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Qing Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. College of Information Science and Technology, Drexel University, USA

    Il-Yeol Song

  2. Dep. of Information Technologies & Systems - Escuela Superior de Informática, University of Castilla-La Mancha, Alarcos Research Group- Institute of Information Technologies & Systems, Ciudad Real, Spain

    Mario Piattini

  3. School of Engineering and Information Technology, Deakin University, 221 Burwood Highway, Vic, 3125, Australia

    Yi-Ping Phoebe Chen

  4. Clausthal University of Technology, Julius-Albert-Str. 4, 38678, Clausthal-Zellerfeld, Germany

    Sven Hartmann

  5. Dipartimento di Elettronica, Informatica e Sistemistica, Alma Mater Studiorum – Università di Bologna, P.O. Box, Italy

    Fabio Grandi

  6. Department of Software and Computing Systems, University of Alicante, Spain

    Juan Trujillo

  7. Department of Information Science and Media Studies, University of Bergen, Fosswinckelsgate 6, 5007, Bergen, Norway

    Andreas L. Opdahl

  8. Istituto di Ricerche sulla Popolazione e Politiche Sociali, CNR, Via Nizza 128, 00198, Roma, Italy

    Fernando Ferri  & Patrizia Grifoni  & 

  9. IRPPS-CNR, Rome, Italy

    Maria Chiara Caschera

  10. Universit Paris1 Panthon Sorbonne, CRI, 90 Rue de Tolbiac, 75013, Paris

    Colette Rolland

  11. Portland State University, USA; Indiana University, USA University of British Columbia, Canada; Hill-Rom Company, USA University of British Columbia, Canada; Deloitte Consulting, P.O. Box, USA

    Carson Woo

  12. Centre de Recherche en Informatique, Université Paris 1 Panthéon-Sorbonne, 90 rue de Tolbiac, 75013, Paris

    Camille Salinesi

  13. Université Libre de Bruxelles, Belgium

    Esteban Zimányi

  14. Naval Academy Research Institute, Brest Naval, France

    Christophe Claramunt

  15. Technische Universiteit Eindhoven, PO Box 513, NL-5600 MB, Eindhoven, The Netherlands

    Flavius Frasincar

  16. Technische Universiteit Eindhoven, P.O. Box 513, NL 5600 MB, Eindhoven, The Netherlands

    Geert-Jan Houben

  17. IMRU-FUNDP, University of Namur, Namur, Belgium

    Philippe Thiran

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ma, H., Schewe, KD., Thalheim, B., Wang, Q. (2008). Abstract State Services. In: Song, IY., et al. Advances in Conceptual Modeling – Challenges and Opportunities. ER 2008. Lecture Notes in Computer Science, vol 5232. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87991-6_48

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-87991-6_48

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-87990-9

  • Online ISBN: 978-3-540-87991-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation