{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T07:56:16Z","timestamp":1758268576714},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221807"},{"type":"electronic","value":"9783540259367"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25936-7_8","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T21:04:10Z","timestamp":1281301450000},"page":"149-168","source":"Crossref","is-referenced-by-count":21,"title":["Developing Agent Interaction Protocols Using Graphical and Logical Methodologies"],"prefix":"10.1007","author":[{"given":"Shamimabi","family":"Paurobally","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Cunningham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicholas R.","family":"Jennings","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Bauer, B., Muller, J.P., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Software Systems. In: Agent-Oriented Software Engineering, pp. 91\u2013104 (2000)","DOI":"10.1007\/3-540-44564-1_6"},{"key":"8_CR2","unstructured":"Cost, R., Chen, Y., Finin, T., Labrou, Y., Peng, Y.: Modeling agent conversations with colored petri nets. In: Workshop on Specifying and Implementing Conversation Policies, pp. 59\u201366 (1999)"},{"key":"8_CR3","unstructured":"Foundation for Intelligent Physical Agents. FIPA Agent Communication Language Specification, http:\/\/www.fipa.org"},{"key":"8_CR4","unstructured":"Goldblatt, R.: Logics of Time and Computation. CSLI (1987)"},{"key":"8_CR5","volume-title":"Modeling reactive systems with statecharts","author":"D. Harel","year":"1998","unstructured":"Harel, D., Politi, M.: Modeling reactive systems with statecharts. McGraw-Hill, New York (1998)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Holvoet, T., Verbaeten, P.: Petri charts: an alternative technique for hierarchical net construction. In: Proceedings of IEEE Conference on System, Man, and Cybernetics (October 1995)","DOI":"10.1109\/ICSMC.1995.538189"},{"key":"8_CR7","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"issue":"4","key":"8_CR8","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis, and applications. IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"IEEE"},{"key":"8_CR9","unstructured":"Nowostawski, M., Purvis, M., Cranefield, S.: A layered approach for modelling agent conversations. In: 2nd Int. Work. on Infrastructure for Agents, MAS, and Scalable MAS, Agents 2001 (2001)"},{"key":"8_CR10","unstructured":"OMG. Negotiation Facility Specification. The Object Management Group, Inc. (2002), http:\/\/www.omg.org"},{"key":"8_CR11","unstructured":"Paurobally, S.: Rational Agents and the Processes and States of Negotiation. PhD thesis, Imperial College (2002)"},{"key":"8_CR12","unstructured":"Paurobally, S., Cunningham, J.: Safety and liveness of negotiation protocols. In: AISB 2002 Convention on AI and the Simulation of Behaviour, Intelligent Agents in virtual market track (2002)"},{"key":"8_CR13","unstructured":"Paurobally, S., Cunningham, R.: Verification of protocols for negotiation between agents. In: ECAI-15, pp. 43\u201348 (2002)"},{"key":"8_CR14","unstructured":"Paurobally, S., Cunningham, R.: Achieving common interaction protocols in open agent environments. In: Challenges in Open Agent Systems 2003 Workshop, 2nd Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems (2003)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Paurobally, S., Cunningham, R., Jennings, N.R.: Ensuring consistency in joint beliefs of interacting agents. In: 2nd Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems, pp. 662\u2013669 (2003)","DOI":"10.1145\/860575.860682"},{"key":"8_CR16","unstructured":"Paurobally, S., Turner, P.J., Jennings, N.R.: Towards automating negotiation for m-services. In: AMEC V workshop, 2nd Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems, pp. 124\u2013131 (2003)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: Semantical considerations on Floyd-Hoare logic. In: Proceedings of 17th IEEE Symposium, Foundations of Computer Science, pp. 109\u2013121 (1976)","DOI":"10.1109\/SFCS.1976.27"},{"key":"8_CR18","unstructured":"Purvis, M.K., Cranefield, S., Nowostawski, M., Purvis, M.A.: Multi-agent system interaction protocols in a dynamically changing environment. In: Workshop on Toward Application Science: MAS Problem Spaces and their implementation to achieve globally coherent behaviour. AAMAS (2002)"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/978-3-540-49524-6_35","volume-title":"Conceptual Modeling \u2013 ER \u201998","author":"M. Richters","year":"1998","unstructured":"Richters, M., Gogolla, M.: On formalizing the UML object constraint language OCL. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol.\u00a01507, pp. 449\u2013464. Springer, Heidelberg (1998)"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1023\/A:1011554323604","volume":"3","author":"M. Strobel","year":"2001","unstructured":"Strobel, M.: Design of roles and protocols for electronic negotiations. Electronic Commerce Research\u00a03, 335\u2013353 (2001)","journal-title":"Electronic Commerce Research"},{"key":"8_CR21","unstructured":"Warmer, J., Kleppe, A.: Ocl: The constraint language of the uml. Journal of Object-Oriented Programming (1999)"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25936-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:58:50Z","timestamp":1605761930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25936-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221807","9783540259367"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25936-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}