What Constitutes a Service on the Web?

Towards a Theory of Services
Part of the Texts & Monographs in Symbolic Computation book series (TEXTSMONOGR)

Abstract

There are many approaches to modelling and development of service-oriented systems, but there is still no convincing answer to what a (software) service is. In this chapter, we discuss the various attempts to develop a theory of services, identify aspects that have already been addressed and extract gaps. This leads us to propose the BDCM2 framework capturing behaviour, description, contracting, monitoring and mediation. For the behavioural model, we refer to the two-layer model of Abstract State Services (AS2s) capturing functional aspects of data-intensive Web services. The model of service mediators permits building complex applications, in which parts are realised by services. Furthermore, we highlight the decisive role of service ontologies for supporting the location of services as well as the capture of contractual aspects by means of service-level agreements (SLAs). Finally, we conclude that a contract is only as good as the means to monitor the agreements. While part of the research has already reached a promising level of maturity, some aspects are still in an infant state.

References

  1. 1.
    Akkiraju, R., et al.: Web service semantics: WSDL-S. http://www.w3c.org/Submission/WSDL-S (2005)
  2. 2.
    Alonso, G., et al. (eds.): Web Services: Concepts, Architectures and Applications. Springer, Berlin (2003)Google Scholar
  3. 3.
    Alves, A., et al.: Web services business process execution language, version 2.0. OASIS Standard Committee. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html (2007)
  4. 4.
    Arsanjani, A., Ghosh, S., Allam, A., Abdollah, T., Ganapathy, S., Holley, K.: SOMA: a method for developing service-oriented solutions. IBM Syst. J. 47(3), 377–396 (2008)CrossRefGoogle Scholar
  5. 5.
    Baader, F., et al. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)Google Scholar
  6. 6.
    Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. Data Knowl. Eng. 58(3), 327–357 (2006)CrossRefGoogle Scholar
  7. 7.
    Bergholtz, M., Andersson, B., Johannesson, P.: Abstraction, restriction, and cocreation: three perspectives on services. In: Trujillo, J., et al. (eds.) Advances in Conceptual Modeling – Applications and Challenges. Lecture Notes in Computer Science, vol. 6413, pp. 107–116. Springer, Berlin/Heidelberg (2010)CrossRefGoogle Scholar
  8. 8.
    Bergholtz, M., Andersson, B., Johannesson, P.: Towards a model of services based on co-creation, abstraction and restriction. In: Jeusfeld, M.A., Delcambre, L.M.L., Ling, T.W. (eds.) Conceptual Modeling – Proceedings of the 30th International Conference (ER 2011). Lecture Notes in Computer Science, vol. 6998, pp. 476–485. Springer, Berlin/Heidelberg (2011)Google Scholar
  9. 9.
    Bergholtz, M., Andersson, B., Johannesson, P.: Towards a model of services based on co-creation, abstraction and rights distribution. In: Thalheim, B., et al. (eds.) Correct Software in Web Applications. Springer, Vienna (2015, in this volume)Google Scholar
  10. 10.
    Blass, A., Gurevich, J.: Abstract state machines capture parallel algorithms. ACM Trans. Comput. Log. 4(4), 578–651 (2003)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Bosa, K., Chelemen, R., Vleju, M.B.: A formal model of client-cloud interaction. In: Thalheim, B., et al. (eds.) Correct Software in Web Applications. Springer, Vienna (2015, in this volume)Google Scholar
  12. 12.
    Christensen, E., et al.: Web services description language (WSDL) 1.1. http://www.w3c.org/TR/wsdl (2001)
  13. 13.
    Erl, T.: SOA: Principles of Service Design. Prentice Hall Press, Upper Saddle River (2007)Google Scholar
  14. 14.
    Fensel, D., Bussler, C.: The web service modeling framework WSMF. Electron. Commer. Res. Appl. 1(2), 113–137 (2002)CrossRefGoogle Scholar
  15. 15.
    Fensel, D., et al.: Enabling Semantic Web Services. Springer, Berlin (2007)CrossRefGoogle Scholar
  16. 16.
    Ferrario, R., Guarino, N., Fernández-Barrera, M.: Towards an ontological foundation for services science: the legal perspective. In: Sartor, G., Casanovas, P., Biasiotti, M., Fernández-Barrera, M. (eds.) Approaches to Legal Ontologies. Law, Governance and Technology, vol. 1, pp. 235–258. Springer, Netherlands (2011)CrossRefGoogle Scholar
  17. 17.
    Geerts, G.L., McCarthy, W.E.: An ontological analysis of the economic primitives of the extended-REA enterprise information architecture. Int. J. Account. Inf. Syst. 3(1), 1–16 (2002)CrossRefGoogle Scholar
  18. 18.
    Gómez, J., Cachero, C., Pastor, O.: Modelling dynamic personalization in web applications. In: Third International Conference on Web Engineering – ICWE 2003. Lecture Notes in Computer Science, vol. 2722, pp. 472–475. Springer, Berlin/Heidelberg (2003)Google Scholar
  19. 19.
    Gurevich, J.: Sequential abstract state machines capture sequential algorithms. ACM Trans. Comput. Log. 1(1), 77–111 (2000)MathSciNetCrossRefGoogle Scholar
  20. 20.
    Hohfeld, W.N.: Fundamental legal conceptions as applied in legal reasoning. Yale Law J. 23, 710–770 (1913)CrossRefGoogle Scholar
  21. 21.
    Hruby, P.: Model-Driven Design of Software Applications with Business Patterns. Springer, New York (2006)Google Scholar
  22. 22.
    Keller, U., Lausen, H., Stollberg, M.: On the semantics of functional descriptions of web services. In: Proceedings of the 3rd European Semantic Web Conference – ESWC 2006 (2006)Google Scholar
  23. 23.
    Lampesberger, H., Rady, M.: Monitoring of client-cloud interaction. In: Thalheim, B., et al. (eds.) Correct Software in Web Applications. Springer, Vienna (2015, in this volume)Google Scholar
  24. 24.
    Lusch, R.F., Vargo, S.L., Wessels, G.: Toward a conceptual foundation for service science: contributions from service-dominant logic. IBM Syst. J. 47(1), 5–14 (2008)CrossRefGoogle Scholar
  25. 25.
    Ma, H., Schewe, K.D., Thalheim, B., Wang, Q.: Abstract state services. In: Song, I.Y., et al. (eds.) Advances in Conceptual Modeling – Challenges and Opportunities, ER 2008 Workshops. Lecture Notes in Computer Science, vol. 5232, pp. 406–415. Springer, Berlin/Heidelberg (2008)Google Scholar
  26. 26.
    Ma, H., Schewe, K.D., Thalheim, B., Wang, Q.: A theory of data-intensive software services. SOCA 3(4), 263–283 (2009)CrossRefGoogle Scholar
  27. 27.
    Ma, H., Schewe, K.D., Wang, Q.: An abstract model for service provision, search and composition. In: Kirchberg, M., et al. (eds.) Services Computing Conference - APSCC 2009, pp. 95–102. IEEE Asia Pacific (2009)Google Scholar
  28. 28.
    Ma, H., Schewe, K.D., Thalheim, B., Wang, Q.: A formal model for the interoperability of service clouds. SOCA 6(3), 189–205 (2012)CrossRefGoogle Scholar
  29. 29.
    McCarthy, W.E.: The REA accounting model: a generalized framework for accounting systems in a shared data environment. Account. Rev. 57(3), 554–578 (1982)Google Scholar
  30. 30.
    O’Sullivan, J., Edmond, D., Ter Hofstede, A.: What is a service? Towards accurate description of non-functional properties. Distrib. Parallel Databases 12(2–3), 117–133 (2002)MATHCrossRefGoogle Scholar
  31. 31.
    Papazoglou, M.P., van den Heuvel, W.J.: Service-oriented design and development methodology. Int. J. Web Eng. Tech. 2(4), 412–442 (2006)CrossRefGoogle Scholar
  32. 32.
    Papazoglou, M.P., van den Heuvel, W.J.: Service oriented architectures: approaches, technologies and research issues. VLDB J. 16(3), 389–415 (2007)CrossRefGoogle Scholar
  33. 33.
    Preist, C.: A conceptual architecture for semantic web services. In: McIlraith, S.A., Plexousakis, D., van Harmelen F. (eds.) The Semantic Web – ISWC 2004. Lecture Notes in Computer Science, vol. 3298, pp. 395–409. Springer, Berlin/Heidelberg (2004)CrossRefGoogle Scholar
  34. 34.
    Rady, M.: Parameters for service level agreements generation in cloud computing: a client-centric vision. In: Castano, S., et al. (eds.) Advances in Conceptual Modeling – ER 2012 Workshops. Lecture Notes in Computer Science, vol. 7518, pp. 13–22. Springer, Berlin/Heidelberg (2012)Google Scholar
  35. 35.
    Rady, M.: Generating an excerpt of a service level agreement from a formal definition of non-functional aspects using owl. J. Univers. Comput. Sci. 20(3), 366–384 (2014)MathSciNetGoogle Scholar
  36. 36.
    Sampson, S.E., Froehle, C.M.: Foundations and implications of a proposed unified services theory. Prod. Oper. Manag. 15(2), 329–343 (2006)CrossRefGoogle Scholar
  37. 37.
    Schewe, K.D., Thalheim, B.: Conceptual modelling of web information systems. Data Knowl. Eng. 54(2), 147–188 (2005)CrossRefGoogle Scholar
  38. 38.
    Schewe, K.D., Wang, Q.: A customised ASM thesis for database transformations. Acta Cybernetica 19(4), 765–805 (2010)MATHMathSciNetGoogle Scholar
  39. 39.
    Schewe, K.D., Wang, Q.: A formal model for service mediators. In: Trujillo, J., et al. (eds.) Advances in Conceptual Modeling - Applications and Challenges (ER 2010 Workshops). Lecture Notes in Computer Science, vol. 6413, pp. 76–85. Springer, Berlin/Heidelberg (2010)Google Scholar
  40. 40.
    Schewe, K.D., Wang, Q.: Preferential refinements of abstract state machines for service mediators. In: Muccini, H., Tang, A. (eds.) Proceedings of QSIC 2012, pp. 158–166. IEEE CPS, Xi’an (2012)Google Scholar
  41. 41.
    Simple Object Access Protocol (SOAP): http://www.w3c.org/TR/soap
  42. 42.
    Stollberg, M., Cimpian, E., Mocan, A., Fensel, D.: A semantic web mediation architecture. In: Proceedings CSWWS 2006 (2006)CrossRefGoogle Scholar
  43. 43.
    Universal Description, Discovery and Integration (UDDI): http://www.uddi.org
  44. 44.
    Web Ontology Language (OWL): http://www.w3c.org//OWL/
  45. 45.
    Zeithaml, V.A., Parasuraman, A., Berry, L.L.: Problems and strategies in services marketing. J. Mark. 49(2), 33–46 (1985)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Software Competence Center HagenbergHagenbergAustria
  2. 2.Christian Doppler Laboratory for Client-Centric Cloud ComputingJohannes Kepler University LinzHagenbergAustria
  3. 3.Research School of Computer ScienceThe Australian National UniversityCanberraAustralia

Personalised recommendations