{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T13:08:28Z","timestamp":1767704908942,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540732099"},{"type":"electronic","value":"9783540732105"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73210-5_26","type":"book-chapter","created":{"date-parts":[[2007,9,13]],"date-time":"2007-09-13T04:03:05Z","timestamp":1189656185000},"page":"501-517","source":"Crossref","is-referenced-by-count":8,"title":["Verification of Multi-agent Negotiations Using the Alloy Analyzer"],"prefix":"10.1007","author":[{"given":"Rodion","family":"Podorozhny","sequence":"first","affiliation":[]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[]},{"given":"Dewayne","family":"Perry","sequence":"additional","affiliation":[]},{"given":"Xiaoqin","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","volume-title":"17th ACM Symposium on Operating Systems Principles (SOSP)","author":"W. Adjie-Winoto","year":"1999","unstructured":"Adjie-Winoto, W., Schwartz, E., Balakrishnan, H., Lilley, J.: The design and implementation of an intentional naming system. In: 17th ACM Symposium on Operating Systems Principles (SOSP), Kiawah Island, December 1999, ACM Press, New York (1999)"},{"key":"26_CR2","unstructured":"Al-Naffouri, B.: An algorithm for automatic generation of run-time checks from alloy specification. Advanced Undergraduate Project Report, Massachusetts Institute of Technology (2002)"},{"key":"26_CR3","unstructured":"Alechina, N., Logan, B.: Verifying bounds on deliberation time in multi-agent systems. In: EUMAS, pp. 25\u201334 (2005)"},{"key":"26_CR4","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1134285.1134297","volume-title":"Proceedings of the 28th International Conference on Software Engineering (ICSE 2006)","author":"B. Becker","year":"2006","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic invariant verification for systems with dynamic structural adaptation. In: Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), Shanghai, May 20-28, 2006, pp. 72\u201381. ACM Press, New York (2006)"},{"key":"26_CR5","volume-title":"Essential COM","author":"D. Box","year":"1998","unstructured":"Box, D.: Essential COM. Addison-Wesley, Reading (1998)"},{"key":"26_CR6","first-page":"429","volume-title":"Foundations of Distributed Artificial Intelligence","author":"K. Decker","year":"1996","unstructured":"Decker, K.: TAEMS: A Framework for Environment Centered Analysis & Design of Coordination Mechanisms. In: O\u2019Hare, G., Jennings, N. (eds.) Foundations of Distributed Artificial Intelligence, January 1996, Ch. 16, pp. 429\u2013448. Wiley Inter-Science, Chichester (1996)"},{"key":"26_CR7","unstructured":"Dennis, G.: TSAFE: Building a trusted computing base for air traffic control software. Master\u2019s thesis, Massachusetts Institute of Technology (2003)"},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1007\/3-540-47961-9_24","volume-title":"Web Services, E-Business, and the Semantic Web","author":"G. Gans","year":"2002","unstructured":"Gans, G., Jarke, M., Lakemeyer, G., Vits, T.: SNet: A modeling and simulation environment for agent networks based on i* and ConGolog. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol.\u00a02512, pp. 328\u2013343. Springer, Heidelberg (2002)"},{"key":"26_CR9","unstructured":"Horling, B., Lesser, V.: Using Diagnosis to Learn Contextual Coordination Rules. Proceedings of the AAAI-99 Workshop on Reasoning in Context for AI Applications, July 1999, pp. 70\u201374 (1999)"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Horling, B., Lesser, V., Vincent, R., Bazzan, A., Xuan, P.: Diagnosis as an Integral Part of Multi-Agent Adaptability. Proceedings of DARPA Information Survivability Conference and Exposition, January 2000, pp. 211\u2013219 (2000)","DOI":"10.1109\/DISCEX.2000.821521"},{"key":"26_CR11","series-title":"Lecture Notes in Computer Science","first-page":"171","volume-title":"Software Engineering for Multi-Agent Systems II","author":"B. Horling","year":"2004","unstructured":"Horling, B., Mailler, R., Lesser, V.: Farm: A Scalable Environment for Multi-Agent Development and Evaluation. In: Lucena, C., Garcia, A., Romanovsky, A., Castro, J., Alencar, P.S.C. (eds.) Software Engineering for Multi-Agent Systems II. LNCS, vol.\u00a02940, pp. 171\u2013177. Springer, Heidelberg (2004)"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Horling, B., Vincent, R., Mailler, R., Shen, J., Becker, R., Rawlins, K., Lesser, V.: Distributed Sensor Network for Real Time Tracking. In: Proceedings of the 5th International Conference on Autonomous Agents, pp. 417\u2013424 (June 2001)","DOI":"10.1145\/375735.376399"},{"key":"26_CR13","volume-title":"Software Abstractions: Logic, Language and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language and Analysis. MIT Press, Cambridge (2006)"},{"key":"26_CR14","unstructured":"Jackson, D., Jackson, M.: Separating Concerns in Requirements Analysis: An Example. In: chapter Rigorous development of complex fault tolerant systems, Springer, Heidelberg (to appear)"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Jackson, D., Schechter, I., Shlyakhter, I.: ALCOA: The Alloy constraint analyzer. In: 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland (June 2000)","DOI":"10.1145\/337180.337616"},{"key":"26_CR16","series-title":"Lecture Notes in Artificial Intelligence","first-page":"638","volume-title":"Adaptive Agents and Multi-Agent Systems II","author":"M. Kacprzak","year":"2004","unstructured":"Kacprzak, M., Lomuscio, A., Penczek, W.: Verification of multiagent systems via unbounded model checking. In: Kudenko, D., Kazakov, D., Alonso, E. (eds.) Adaptive Agents and Multi-Agent Systems II. LNCS (LNAI), vol.\u00a03394, pp. 638\u2013645. Springer, Heidelberg (2004)"},{"key":"26_CR17","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1023\/A:1010046623013","volume":"1","author":"V. Lesser","year":"1998","unstructured":"Lesser, V.: Reflections on the Nature of Multi-Agent Coordination and Its Implications for an Agent Architecture. Autonomous Agents and Multi-Agent Systems\u00a01, 89\u2013111 (1998)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"26_CR18","unstructured":"Lesser, V., Atighetchi, M., Benyo, B., Horling, B., Raja, A., Vincent, R., Wagner, T., Ping, X., Zhang, S.X.: The Intelligent Home Testbed. Proceedings of the Autonomy Control Software Workshop (Autonomous Agent Workshop) (January 1999)"},{"issue":"1","key":"26_CR19","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1023\/B:AGNT.0000019690.28073.04","volume":"9","author":"V. Lesser","year":"2004","unstructured":"Lesser, V., Decker, K., Wagner, T., Carver, N., Garvey, A., Horling, B., Neiman, D., Podorozhny, R., Prasad, M.N., Raja, A., Vincent, R., Xuan, P., Zhang, X.: Evolution of the GPGP\/TAEMS Domain-Independent Coordination Framework. Autonomous Agents and Multi-Agent Systems\u00a09(1), 87\u2013143 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"26_CR20","unstructured":"Torlak, E.: http:\/\/web.mit.edu\/~emina\/www\/kodkod.html"},{"key":"26_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/b97155","volume-title":"Model Checking Software","author":"W. Hoek van der","year":"2004","unstructured":"van der Hoek, W., Wooldridge, M.: Model checking knowledge and time. In: Bo\u0161na\u010dki, D., Leue, S. (eds.) Model Checking Software. LNCS, vol.\u00a02318, pp. 95\u2013111. Springer, Heidelberg (2004)"},{"key":"26_CR22","unstructured":"Vaziri, M.: Finding Bugs Using a Constraint Solver. PhD thesis, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology (2004)"},{"key":"26_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-47772-1_11","volume-title":"Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems","author":"R. Vincent","year":"2001","unstructured":"Vincent, R., Horling, B., Lesser, V.: Agent Infrastructure to Build and Evaluate Multi-Agent Systems: The Java Agent Framework and Multi-Agent System Simulator. In: Wagner, T.A., Rana, O.F. (eds.) Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems. LNCS (LNAI), vol.\u00a01887, pp. 102\u2013127. Springer, Heidelberg (2001)"},{"key":"26_CR24","unstructured":"Wagner, T., Horling, B.: The Struggle for Reuse and Domain Independence: Research with TAEMS, DTC and JAF. In: Proceedings of the 2nd Workshop on Infrastructure for Agents, MAS, and Scalable MAS (Agents 2001) (June 2001)"},{"key":"26_CR25","unstructured":"Wagner, T., Lesser, V.: Design-to-Criteria Scheduling: Real-Time Agent Control. In: Proceedings of AAAI 2000 Spring Symposium on Real-Time Autonomous Systems, pp. 89\u201396 (March 2000)"},{"volume-title":"Multiagent systems : a modern approach to distributed artificial intelligence","year":"1999","key":"26_CR26","unstructured":"Weiss, G. (ed.): Multiagent systems: a modern approach to distributed artificial intelligence. MIT Press, Cambridge (1999)"},{"key":"26_CR27","series-title":"Lecture Notes in Artificial Intelligence","first-page":"952","volume-title":"Trust, Reputation, and Security: Theories and Practice","author":"M. Wooldridge","year":"2003","unstructured":"Wooldridge, M., Fisher, M., Huget, M.-P., Parsons, S.: Model checking multi-agent systems with mable. In: Falcone, R., Barber, S., Korba, L., Singh, M.P. (eds.) AAMAS 2002. LNCS (LNAI), vol.\u00a02631, pp. 952\u2013959. Springer, Heidelberg (2003)"},{"key":"26_CR28","unstructured":"Zhang, X., Podorozhny, R.M., Lesser, V.: Cooperative, MultiStep Negotiation Over a Multi-Dimensional Utility Function. In: Proceedings of the IASTED International Conference on Artificial Intelligence and Soft Computing (ASC 2000), pp. 136\u2013142 (2000)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73210-5_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T23:44:10Z","timestamp":1737416650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73210-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540732099","9783540732105"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73210-5_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}