Skip to main content
SpringerLink
Log in

A theory of data-intensive software services

  • Original Research Paper
  • Published:
Service Oriented Computing and Applications Aims and scope Submit manuscript

Abstract

We introduce Abstract State Services (AS2s) as an abstraction of data-intensive services that can be made available for use by other systems, e.g. via the web. An AS2 combines a hidden database layer with an operation-equipped view layer, and can be anything from a simple function to a full-fledged Web Information System or a Data Warehouse. We adopt the fundamental approach of Abstract State Machines to model AS2s and show that AS2s capture the fundamentals of approaches such as media types, meme media, SOA and web services excluding presentation issues. Then we show how tailored services can be extracted from available AS2s, combined with other AS2 components and personalised to user preferences.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abiteboul S, Buneman P, Suciu D (2000) Data on the Web: from relations to semistructured data and XML. Morgan Kaufmann Publishers, San Francisco

    Google Scholar 

  2. Abiteboul S, Kanellakis PC (1998) Object identity as a query language primitive. J ACM 45(5): 798–842

    Article  MATH  MathSciNet  Google Scholar 

  3. Altenhofen M, Börger E, Lemcke J (2005) An abstract model for process mediation. In: Lau K-K, Banach R (eds) Formal methods and software engineering, 7th international conference on formal engineering methods (ICFEM 2005) Lecture Notes in Computer Science, vol 3785. Springer, pp 81–95

  4. Alves A, et al (2007) Web services business process execution language, version 2.0. OASIS Standard Committee, http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html

  5. Beeri C, Milo T, Ta-Shma P (1996) On genericity and parametricity (extended abstract). In: PODS ’96: proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems (New York, NY, USA), ACM, pp 104–116

  6. Beeri C, Thalheim B (1999) Identification as a primitive of data models. In: Polle T, Ripke T, Schewe K-D (eds) Fundamentals of information systems. Kluwer, Boston, pp 19–36

    Google Scholar 

  7. Benatallah B, Casati F, Toumani F (2006) Representing, analysing and managing web service protocols. Data Knowl Eng 58(3): 327–357

    Article  Google Scholar 

  8. Binemann-Zdanowicz A, Thalheim B (2003) Modeling information services on the basis of ASM semantics. In: Börger E, Gargantini A, Riccobene E (eds) Abstract state machines. Lecture notes in computer science, vol 2589. Springer, Berlin, pp 408–410

    Google Scholar 

  9. Blass A, Gurevich J (2003) Abstract state machines capture parallel algorithms. ACM Trans Comput Logic 4(4): 578–651

    Article  MathSciNet  Google Scholar 

  10. Börger E (2007) Modeling workflow patterns from first principles. In: Parent C, Schewe K-D, Storey V, Thalheim B (eds) Conceptual modeling—ER 2007. Lecture notes in computer science, vol 4801. Springer, Berlin, pp 1–20

    Google Scholar 

  11. Börger E, Stärk R (2003) Abstract state machines. Springer, Berlin

    Book  Google Scholar 

  12. Brenner MR, Unmehopa MR (2007) Service-oriented architecture and web services penetration in next-generation networks. Bell Labs Tech J 12(2): 147–159

    Article  Google Scholar 

  13. Christensen E et al (2001) Web services description language (WSDL) 1.1 http://www.w3c.org/TR/wsdl

  14. Cox W et al (2004) Web services transaction (WS-Transaction). BEA Systems, IBM, Microsoft, http://dev2dev.bea.com/pub/a/2004/01/ws-transaction.html

  15. Feingold W, Jeyaraman R (2007) Web services coordination (WS-Coordination), version 1.1, 2007. OASIS Web Services Transaction WS-TX TC, http://docs.oasis-open.org/ws-tx/wstx-wscoor1.1-spec.pdf

  16. Goldfarb CF, Prescod P (1998) The XML handbook. Prentice Hall, New Jersey

    Google Scholar 

  17. Gómez J, Cachero C, Pastor O (2003) Modelling dynamic personalization in web applications. In: Third international conference on web engineering—ICWE 2003. LNCS, vol 2722. Springer, pp 472–475

  18. Grädel E, Gurevich Y (1995) Metafinite model theory. In: LCC ’94: selected papers from the international workshop on logical and computational complexity. Springer, London, pp 313–366

  19. Gurevich J (2000) Sequential abstract state machines capture sequential algorithms. ACM Trans Comput Logic 1(1): 77–111

    Article  MathSciNet  Google Scholar 

  20. Gurevich Y, Tillmann N (2005) Partial updates. Theor Comput Sci 336(2–3): 311–342

    Article  MATH  MathSciNet  Google Scholar 

  21. Hegner SJ (2008) Information-optimal reflections of view updates on relational database schemata. In: Hartmann S, Kern-Isberner G (eds) Foundations of information and knowledge systems—5th international symposium (FoIKS 2008). Lecture Notes in Computer Science, vol 4932. Springer, pp 112–131

  22. Kumaran S et al (2007) Using a model-driven transformational approach and service-oriented architecture for service delivery management. IBM Syst J 46(3): 513–530

    Article  Google Scholar 

  23. Ma H, Schewe K-D, Thalheim B, Wang Q (2008) Abstract state services. In: Song I-Y et al (eds) Advances in conceptual modeling—Challenges and opportunities, ER 2008 workshops. LNCS, vol 5232. Springer, pp 406–415

  24. Papazoglou MP, van den Heuvel W-J (2007) Service oriented architectures: approaches, technologies and research issues. VLDB J 16(3): 389–415

    Article  Google Scholar 

  25. Schewe K-D, Schewe B (2000) Integrating database and dialogue design. Knowl Inf Syst 2(1): 1–32

    Article  MATH  Google Scholar 

  26. Schewe K-D, Thalheim B (1993) Fundamental concepts of object oriented databases. Acta Cybernetica 11(4): 49–84

    MATH  MathSciNet  Google Scholar 

  27. Schewe K-D, Thalheim B (2005) The co-design approach to web information systems development. Int J Web Inf Syst 1(1): 5–14

    Google Scholar 

  28. Schewe K-D, Thalheim B (2005) Conceptual modelling of web information systems. Data Knowl Eng 54(2): 147–188

    Article  Google Scholar 

  29. Schewe K-D, Thalheim B (2006) Component-driven engineering of database applications. In: Stumptner M, Hartmann S, Kiyoki Y (eds) Conceptual modelling 2006—third Asia-Pacific conference on conceptual modelling (APCCM 2006). CRPIT, vol 53. Australian Computer Society, pp 105–114

  30. Schewe K-D, Thalheim B (2007) Personalisation of web information systems—a term rewriting approach. Data Knowl Eng 62(1): 101–117

    Article  Google Scholar 

  31. Schewe K-D, Thalheim B, Wang Q (2009) Customising web information systems according to user preferences. World Wide Web 12(1): 27–50

    Article  Google Scholar 

  32. Schewe K-D, Wang Q (2008) A customised ASM thesis for database transformations (submitted for publication)

  33. Tanaka Y (2003) Meme media and meme market architectures. IEEE Press, USA

    Book  Google Scholar 

  34. Thalheim B (2000) Entity-relationship modeling: foundations of database technology. Springer, Berlin

    MATH  Google Scholar 

  35. Wang Q, Schewe K-D (2007) Axiomatization of database transformations. In: Proceedings of the 14th international ASM workshop (ASM 2007) University of Agder, Norway

  36. Zhao J, Ma H (2006) ASM-based design of data warehouses and on-line analytical processing systems. J Syst Softw 79(5): 613–629

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Engineering 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. Department of Computer Science, Christian Albrechts University Kiel, Kiel, Germany

    Bernhard Thalheim

  4. PBRF Office, University of Otago, Dunedin, 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

Corresponding author

Correspondence to Klaus-Dieter Schewe.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ma, H., Schewe, KD., Thalheim, B. et al. A theory of data-intensive software services. SOCA 3, 263–283 (2009). https://doi.org/10.1007/s11761-009-0051-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11761-009-0051-x

Keywords

Search

Navigation