{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:31:52Z","timestamp":1725471112168},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540395867"},{"type":"electronic","value":"9783540395874"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11853107_5","type":"book-chapter","created":{"date-parts":[[2006,9,29]],"date-time":"2006-09-29T03:49:56Z","timestamp":1159501796000},"page":"63-77","source":"Crossref","is-referenced-by-count":4,"title":["Interaction Protocols and Capabilities: A Preliminary Report"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[]},{"given":"Cristina","family":"Baroglio","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[]},{"given":"Viviana","family":"Patti","sequence":"additional","affiliation":[]},{"given":"Claudio","family":"Schifanella","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","series-title":"ENTCS","volume-title":"Proc. of the Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003","author":"M. Alberti","year":"2003","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. In: Proc. of the Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003. ENTCS, vol.\u00a085(2). Elsevier, Amsterdam (2003)"},{"key":"5_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-25932-9_7","volume-title":"Declarative Agent Languages and Technologies","author":"D. Ancona","year":"2004","unstructured":"Ancona, D., Mascardi, V.: Coo-BDI: Extending the BDI Model with Cooperativity. In: Leite, J.A., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 109\u2013134. Springer, Heidelberg (2004)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/11750734_15","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Baldoni","year":"2006","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti: Verification of protocol conformance and agent interoperability. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS, vol.\u00a03900, pp. 265\u2013283. Springer, Heidelberg (2006)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about interaction protocols for customizing web service selection and composition. J. of Logic and Algebraic Programming, special issue on WS and Formal Methods (to appear, 2006)","DOI":"10.1016\/j.jlap.2006.05.005"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11549970_19","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"M. Baldoni","year":"2005","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying the conformance of web services to global interaction protocols: a first step. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 257\u2013271. Springer, Heidelberg (2005)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/11678823_4","volume-title":"Programming Multi-Agent Systems","author":"M. Baldoni","year":"2006","unstructured":"Baldoni, M., Boella, G., van der Torre, L.: Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2005. LNCS, vol.\u00a03862, pp. 57\u201375. Springer, Heidelberg (2006)"},{"volume-title":"Proc. of 21st SAC 2006, Special Track on Object-Oriented Programming Languages and Systems","year":"2006","author":"M. Baldoni","key":"5_CR7","unstructured":"Baldoni, M., Boella, G., van der Torre, L.: powerjava: Ontologically Founded Roles in Object Oriented Programming Languages. In: Proc. of 21st SAC 2006, Special Track on Object-Oriented Programming Languages and Systems. ACM, New York (2006)"},{"key":"5_CR8","unstructured":"Bozzo, L., Mascardi, V., Ancona, D., Busetta, P.: CooWS: Adaptive BDI agents meet service-oriented computing. In: Proc. of the Int. Conference on WWW\/Internet, pp. 205\u2013209 (2005)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10719619_21","volume-title":"Intelligent Agents VI. Agent Theories, Architectures, and Languages","author":"P. Busetta","year":"2000","unstructured":"Busetta, P., Howden, N., Ronquist, R., Hodgson, A.: Structuring BDI agents in functional clusters. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol.\u00a01757. Springer, Heidelberg (2000)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/11596141_18","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"N. Busi","year":"2005","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration: a synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 228\u2013240. Springer, Heidelberg (2005)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-540-24608-4_13","volume-title":"Advances in Agent Communication","author":"F.P.M. Dignum","year":"2004","unstructured":"Dignum, F.P.M. (ed.) ACL 2003. LNCS, vol.\u00a02922, pp. 212\u2013230. Springer, Heidelberg (2004)"},{"key":"5_CR12","unstructured":"Foundation for Intelligent Physical\u00a0Agents, http:\/\/www.fipa.org"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-540-44972-0_4","volume-title":"Communication in Multiagent Systems","author":"F. Guerin","year":"2003","unstructured":"Guerin, F., Pitt, J.: Verification and Compliance Testing. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS, vol.\u00a02650, pp. 98\u2013112. Springer, Heidelberg (2003)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-44972-0_9","volume-title":"Communication in Multiagent Systems","author":"M.P. Huget","year":"2003","unstructured":"Huget, M.P., Koning, J.L.: Interaction Protocol Engineering. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS, vol.\u00a02650, pp. 179\u2013193. Springer, Heidelberg (2003)"},{"key":"5_CR15","unstructured":"Jade, http:\/\/jade.cselt.it\/"},{"key":"5_CR16","unstructured":"Keller, U., Laraand, R., Polleres, A., Toma, I., Kifer, M., Fensel, D.: D5.1 v0.1 wsmo web service discovery. Technical report, WSML deliverable (2004)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/10722777_11","volume-title":"Issues in Agent Communication","author":"A. Mamdani","year":"2000","unstructured":"Mamdani, A., Pitt, J.: Communication protocols in multi-agent systems: A development method and reference architecture. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol.\u00a01916, pp. 160\u2013177. Springer, Heidelberg (2000)"},{"key":"5_CR18","unstructured":"Martelli, M., Mascardi, V.: From UML diagrams to Jess rules: Integrating OO and rule-based languages to specify, implement and execute agents. In: Proc. of the 8th APPIA-GULP-PRODE Joint Conf. on Declarative Programming (AGP 2003), pp. 275\u2013286 (2003)"},{"volume-title":"Communicating and Mobile Systems: the Pi-Calculus","year":"1999","author":"R. Milner","key":"5_CR19","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"5_CR20","unstructured":"OASIS. Business process execution language for web services"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-44564-1_8","volume-title":"Agent-Oriented Software Engineering","author":"J.H. Odell","year":"2001","unstructured":"Odell, J.H., Van Dyke Parunak, H., Bauer, B.: Representing agent interaction protocols in UML. In: Agent-Oriented Software Engineering, pp. 121\u2013140. Springer, Heidelberg (2001), http:\/\/www.fipa.org\/docs\/input\/f-in-00077\/"},{"key":"5_CR22","unstructured":"Padgham, L., Lambrix, P.: Agent capabilities: Extending BDI theory. In: AAAI\/IAAI, pp. 68\u201373 (2000)"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-45656-2_34","volume-title":"AI 2001: Advances in Artificial Intelligence","author":"V. Padmanabhan","year":"2001","unstructured":"Padmanabhan, V., Governatori, G., Sattar, A.: Actions made explicit in BDI. In: Stumptner, M., Corbett, D.R., Brooks, M. (eds.) Canadian AI 2001. LNCS, vol.\u00a02256, pp. 390\u2013401. Springer, Heidelberg (2001)"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Paolucci, M., Kawmura, T., Payne, T., Sycara, K.: Semantic matching of web services capabilities. In: First International Semantic Web Conference (2002)","DOI":"10.1007\/3-540-48005-6_26"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Pistore, M., Spalazzi, L., Traverso, P.: A minimalist approach to semantic annotations for web processes compositions. In: ESWC, pp. 620\u2013634 (2006)","DOI":"10.1007\/11762256_45"},{"key":"5_CR26","unstructured":"Tocchio, A., Costantini, S.: Learning by knowledge exchange in logical agents. In: Proc. of WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi, Pitagora Editrice Bologna (November 2005)"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11549970_4","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Russell, N., Verbeek, H.M.W., Wohed, P.: Life after BPEL? In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 35\u201350. Springer, Heidelberg (2005)"},{"key":"5_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/3-540-44723-7_5","volume-title":"Agent-Mediated Electronic Commerce III","author":"M. Wooldridge","year":"2001","unstructured":"Wooldridge, M., Parsons, S.: Issues in the design of negotiation protocols for logic-based agent communication languages. In: Dignum, F.P.M., Cort\u00e9s, U. (eds.) AMEC 2000. LNCS, vol.\u00a02003, p. 70. Springer, Heidelberg (2001)"},{"key":"5_CR29","unstructured":"WS-CDL, http:\/\/www.w3.org\/tr\/ws-cdl-10\/"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Semantic Web Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11853107_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:42:59Z","timestamp":1605624179000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11853107_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540395867","9783540395874"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11853107_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}
