Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Singh, M.P., Huhns, M.N.: Service-Oriented Computing: Semantics, Processes, Agents. John Wiley and Sons, Chichester (2005)
Issarny, V., et al.: Developing ambient intelligent systems: A solution based on Web Services. Automated Software Engineering 12, 101–137 (2005)
W3C: Web Services Description Language (WSDL) version 2.0 part 1: Core language. Technical report, W3C (21 February 2005), available at http://dev.w3.org/cvsweb/~checkout~/2002/ws/desc/wsdl20/
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)
Booth, D., et al.: Web services architecture. Technical report, W3C (8 August 2003), available at http://www.w3.org/TR/2003/WD-ws-arch-20030808/
Paurobally, S., Jennings, N.R.: Protocol engineering for web services conversations. Int J. Engineering Applications of Artificial Intelligence 18, 237–254 (2005)
Jacky, J.: The way of Z - Practical Programming with Formal Methods. Cambridge University Press, Cambridge (1998)
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)
Zeng, L., et al.: Quality driven web service composition. In: 12th International World Wide Web Conference (WWW’2003), Budapest, Hungary, pp. 411–421 (2003)
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)
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)
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)
Maamar, Z., Benatallah, B., Mansoor, W.: Service chart diagrams - description application. In: 12th International World Wide Web Conference (WWW’2003), Budapest, Hungary (2003)
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)
Albert, P., Henocque, L., Kleiner, M.: A constrained object model for configuration based workflow composition. In: Business Process Management Workshops, pp. 102–115 (2005)
Stein, S., Jennings, N.R., Payne, T.R.: Flexible provisioning of service workflows. In: 17th European Conference on Artificial Intelligence (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Letia, I.A., Marginean, A., Groza, A. (2007). Z-Based Agents for Service Oriented Computing. In: Huang, J., et al. Service-Oriented Computing: Agents, Semantics, and Engineering. SOCASE 2007. Lecture Notes in Computer Science, vol 4504. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72619-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-72619-7_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72618-0
Online ISBN: 978-3-540-72619-7
eBook Packages: Computer ScienceComputer Science (R0)