Semantics for Smart Services

  • Charles Petrie
  • Axel Hochstein
  • Michael Genesereth
Part of the Service Science: Research and Innovations in the Service Economy book series (SSRI)


In this chapter, the notion of Smart Services is developed based on the concept of semantics and by borrowing ideas from existing planning techniques known from the AI domain. The motivation behind Smart Services is the creation of efficient and effective service systems self-adapting to a constantly changing environment. A major prerequisite for achieving this goal is a semantic description of the considered service system. Different standards and techniques evolved over the past years and can be applied to address this problem. Based on ideas borrowed from situational calculus, different planning techniques can then derive executable plans for achieving certain goals within the service system. Finally, an example from the Web Service domain is used in order to demonstrate the approach. Results show that this approach is promising to increase the level of automation for certain service systems and thereby creates a notion of Smart Services.


Service Science Service Systems Semantics Situation Calculus AI planning Smart Services 


  1. Apte, U., and Nath, H. (2007). Size, Structure and Growth of the U.S. Information Economy. Managing in the Information Economy, 1–28.Google Scholar
  2. Brogi, A., Canal, C., Pimentel, E., and Vallecillo, A. (2004). Formalizing Web Service Choreographies. Electronic Notes in Theoretical Computer Science, 105, 73–94.CrossRefGoogle Scholar
  3. Decker, G., Puhlmann, F., and Weske, M. (2006). Formalizing Service Interactions. Proceedings of Business Process Management, 4102, 414–419.CrossRefGoogle Scholar
  4. Duschka, O., Genesereth, M., and Levy, A. (2000). Recursive Query Plans for Data Integration. Journal of Logic Programming, 43(1), 49–73.MathSciNetCrossRefzbMATHGoogle Scholar
  5. Finzi, A., Pirri, F., and Reiter, R. (2000). Open World Planning in the Situation Calculus. Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence, 754–760.Google Scholar
  6. Gorrieri, R., Guidi, C., and Lucchi, R. (2005). Reasoning About Interaction Patterns in Choreography. Formal Techniques for Computer Systems and Business Processes, 3670, 333–348.CrossRefGoogle Scholar
  7. Jones, S. (2005). Toward an Acceptable Definition of Service. IEEE Software, 22(3), 87–93.CrossRefGoogle Scholar
  8. Kotler, P. (1999). Marketing Management: Analysis, Planning, Implementation, and Control. Australia: Prentice Hall College Div.Google Scholar
  9. Kratochvíl, M., and Carson, C. (2005). Growing Modular: Mass Customization of Complex Products, Services and Software. Berlin: Springer.Google Scholar
  10. Levitt, T. (1976). Industrialization of Service. Harvard Business Review, 5, 1976.Google Scholar
  11. Lusch, R., and Vargo, S. (2006). The Service-Dominant Logic of Marketing. Armonk, NY: M.E. Sharpe.Google Scholar
  12. Petrie, C. (2008). Collective Work. IEEE Internet Computing, 12(2), 94–96.CrossRefGoogle Scholar
  13. Petrie, C. (2009). Planning Process Instances with Web Services. Proceedings of the 11th International Conference on Enterprise Information Systems.Google Scholar
  14. Petrie, C., and Bussler, C. (2008). The Myth of Open Web Services: The Rise of the Service Parks. IEEE Internet Computing, 12(3), 95–96.CrossRefGoogle Scholar
  15. Petrie, C., Margaria, T., Lausen, H., and Zaremba, M. (2008). Semantic Web Services Challenge: Results from the First Year. Berlin: Springer.Google Scholar
  16. Sheth, A., Verma, K., and Gomadam, K. (2006). Semantics to Energize the Full Services Spectrum. Communications of the ACM, 49(7), 55–61.CrossRefGoogle Scholar
  17. Shvaiko, P., and Euzenat, J. (2005). A Survey of Schema-Based Matching Approaches. Journal on Data Semantics, 4, 146–171.Google Scholar
  18. Spohrer, J., Maglio, P., Bailey, J., and Gruhl, D. (2007). Steps Toward a Science of Service Systems. Computer, 40(1), 71–77.CrossRefGoogle Scholar
  19. Spohrer, J., Vargo, S, Caswell, N., and Maglio, P. (2008). The Service System Is the Basic Abstraction of Service Science. Proceedings of the 41st Annual Hawaii International Conference on System Sciences, 104.Google Scholar
  20. Womack, J., and Jones, D. (2005). Lean Consumption. Harvard Business Review, 3, 58–68.Google Scholar

Copyright information

© Springer Science and Business Media, LLC 2011

Authors and Affiliations

  • Charles Petrie
  • Axel Hochstein
    • 1
  • Michael Genesereth
  1. 1.Computer Science DepartmentStanford UniversityStanfordUSA

Personalised recommendations