Z-Based Agents for Service Oriented Computing

  • Ioan Alfred Letia
  • Anca Marginean
  • Adrian Groza
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4504)


Ensuring reliability and adaptability of web services represents one of the main prerequisites for a larger acceptance of web services technology. We present an agent based framework to model the global behavior of atomic e-service and their composition using Z. We consider failures associated with web services and we try to handle runtime exceptions through formal methods for specification and verification of a composite service. In addition, our framework enforces the quality of services, in terms of answer time, by providing Z-agents responsible for these aspects.


Multiagent System Description Logic Domain Ontology Composite Service Business Rule 
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.
    Singh, M.P., Huhns, M.N.: Service-Oriented Computing: Semantics, Processes, Agents. John Wiley and Sons, Chichester (2005)Google Scholar
  2. 2.
    Issarny, V., et al.: Developing ambient intelligent systems: A solution based on Web Services. Automated Software Engineering 12, 101–137 (2005)CrossRefGoogle Scholar
  3. 3.
    W3C: Web Services Description Language (WSDL) version 2.0 part 1: Core language. Technical report, W3C (21 February 2005), available at
  4. 4.
    Bultan, T., et al.: Conversation specification: A new approach to design and analysis of e-service composition. In: 12th International World Wide Web Conference (WWW’2003), Budapest, Hungary, pp. 403–410 (2003)Google Scholar
  5. 5.
    Booth, D., et al.: Web services architecture. Technical report, W3C (8 August 2003), available at
  6. 6.
    Paurobally, S., Jennings, N.R.: Protocol engineering for web services conversations. Int J. Engineering Applications of Artificial Intelligence 18, 237–254 (2005)CrossRefGoogle Scholar
  7. 7.
    Jacky, J.: The way of Z - Practical Programming with Formal Methods. Cambridge University Press, Cambridge (1998)Google Scholar
  8. 8.
    Lenzerini, M., et al.: Automatic Composition of E-services That Export Their Behavior. In: Orlowska, M.E., et al. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43–58. Springer, Heidelberg (2003)Google Scholar
  9. 9.
    Zeng, L., et al.: Quality driven web service composition. In: 12th International World Wide Web Conference (WWW’2003), Budapest, Hungary, pp. 411–421 (2003)Google Scholar
  10. 10.
    Morini, S., Ricci, A., Viroli, M.: Integrating a MAS coordination infrastructure with web services. In: Workshop on Web-Services and Agent-based Engineering at AAMAS, New York, NY, USA (2004)Google Scholar
  11. 11.
    Negri, A., et al.: Agents for e-Business Applications. In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems, Hakodate, Japan, pp. 907–914. ACM Press, New York (2006)CrossRefGoogle Scholar
  12. 12.
    Pistore, M., et al.: Planning and monitoring web service composition. In: ICAPS04, Workshop on Planning and Scheduling for web and grid Services, Whistler, Canada (2004)Google Scholar
  13. 13.
    Maamar, Z., Benatallah, B., Mansoor, W.: Service chart diagrams - description application. In: 12th International World Wide Web Conference (WWW’2003), Budapest, Hungary (2003)Google Scholar
  14. 14.
    Hoenicke, J., Olderog, E.R.: Combining specification techniques for processes, data and time. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, pp. 245–266. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  15. 15.
    Albert, P., Henocque, L., Kleiner, M.: A constrained object model for configuration based workflow composition. In: Business Process Management Workshops, pp. 102–115 (2005)Google Scholar
  16. 16.
    Stein, S., Jennings, N.R., Payne, T.R.: Flexible provisioning of service workflows. In: 17th European Conference on Artificial Intelligence (2006)Google Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Ioan Alfred Letia
    • 1
  • Anca Marginean
    • 1
  • Adrian Groza
    • 1
  1. 1.Technical University of Cluj-Napoca, Department of Computer Science, Baritiu 28, RO-400391 Cluj-NapocaRomania

Personalised recommendations