{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:33:18Z","timestamp":1725514398945},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540726180"},{"type":"electronic","value":"9783540726197"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72619-7_12","type":"book-chapter","created":{"date-parts":[[2007,6,5]],"date-time":"2007-06-05T19:49:21Z","timestamp":1181072961000},"page":"160-174","source":"Crossref","is-referenced-by-count":2,"title":["Z-Based Agents for Service Oriented Computing"],"prefix":"10.1007","author":[{"given":"Ioan Alfred","family":"Letia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anca","family":"Marginean","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Groza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Service-Oriented Computing: Semantics, Processes, Agents","author":"M.P. Singh","year":"2005","unstructured":"Singh, M.P., Huhns, M.N.: Service-Oriented Computing: Semantics, Processes, Agents. John Wiley and Sons, Chichester (2005)"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1023\/B:AUSE.0000049210.42738.00","volume":"12","author":"V. Issarny","year":"2005","unstructured":"Issarny, V., et al.: Developing ambient intelligent systems: A solution based on Web Services. Automated Software Engineering\u00a012, 101\u2013137 (2005)","journal-title":"Automated Software Engineering"},{"unstructured":"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\/","key":"12_CR3"},{"doi-asserted-by":"crossref","unstructured":"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\u20192003), Budapest, Hungary, pp. 403\u2013410 (2003)","key":"12_CR4","DOI":"10.1145\/775152.775210"},{"unstructured":"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\/","key":"12_CR5"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/j.engappai.2004.12.005","volume":"18","author":"S. Paurobally","year":"2005","unstructured":"Paurobally, S., Jennings, N.R.: Protocol engineering for web services conversations. Int J. Engineering Applications of Artificial Intelligence\u00a018, 237\u2013254 (2005)","journal-title":"Int J. Engineering Applications of Artificial Intelligence"},{"key":"12_CR7","volume-title":"The way of Z - Practical Programming with Formal Methods","author":"J. Jacky","year":"1998","unstructured":"Jacky, J.: The way of Z - Practical Programming with Formal Methods. Cambridge University Press, Cambridge (1998)"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","first-page":"43","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"M. Lenzerini","year":"2003","unstructured":"Lenzerini, M., et al.: Automatic Composition of E-services That Export Their Behavior. In: Orlowska, M.E., et al. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 43\u201358. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Zeng, L., et al.: Quality driven web service composition. In: 12th International World Wide Web Conference (WWW\u20192003), Budapest, Hungary, pp. 411\u2013421 (2003)","key":"12_CR9","DOI":"10.1145\/775152.775211"},{"unstructured":"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)","key":"12_CR10"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1145\/1160633.1160795","volume-title":"5th International Joint Conference on Autonomous Agents and Multiagent Systems","author":"A. Negri","year":"2006","unstructured":"Negri, A., et al.: Agents for e-Business Applications. In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems, Hakodate, Japan, pp. 907\u2013914. ACM Press, New York (2006)"},{"doi-asserted-by":"crossref","unstructured":"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)","key":"12_CR12","DOI":"10.1007\/978-3-540-30106-6_11"},{"unstructured":"Maamar, Z., Benatallah, B., Mansoor, W.: Service chart diagrams - description application. In: 12th International World Wide Web Conference (WWW\u20192003), Budapest, Hungary (2003)","key":"12_CR13"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/3-540-47884-1_14","volume-title":"Integrated Formal Methods","author":"J. Hoenicke","year":"2002","unstructured":"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.\u00a02335, pp. 245\u2013266. Springer, Heidelberg (2002)"},{"doi-asserted-by":"crossref","unstructured":"Albert, P., Henocque, L., Kleiner, M.: A constrained object model for configuration based workflow composition. In: Business Process Management Workshops, pp. 102\u2013115 (2005)","key":"12_CR15","DOI":"10.1007\/11678564_10"},{"unstructured":"Stein, S., Jennings, N.R., Payne, T.R.: Flexible provisioning of service workflows. In: 17th European Conference on Artificial Intelligence (2006)","key":"12_CR16"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing: Agents, Semantics, and Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72619-7_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:02:49Z","timestamp":1605762169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72619-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540726180","9783540726197"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72619-7_12","relation":{},"subject":[]}}