Verification of multi-agent negotiations using the alloy analyzer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4591 LNCS, Issue , 2007, Pages 501-517

  Podorozhny, Rodion ^a   Khurshid, Sarfraz ^b   Perry, Dewayne ^b   Zhang, Xiaoqin ^c  

^a TEXAS STATE UNIVERSITY   (United States)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^c UNIVERSITY OF MASSACHUSETTS DARTMOUTH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; FORMAL METHODS; MATHEMATICAL MODELS; ROBUST CONTROL; ROBUSTNESS (CONTROL SYSTEMS); VERIFICATION;

ALLOY ANALYZERS; ALLOY MODELS; DESIGN CRITERION;

MULTI AGENT SYSTEMS;

EID: 38149035153     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73210-5_26     Document Type: Conference Paper

References (28)

1. 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)
2. Al-Naffouri, B.: An algorithm for automatic generation of run-time checks from alloy specification. Advanced Undergraduate Project Report, Massachusetts Institute of Technology (2002)
3. Alechina, N., Logan, B.: Verifying bounds on deliberation time in multi-agent systems. In: EUMAS, pp. 25-34 (2005)
4. 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-81. ACM Press, New York (2006)
5. Box, D.: Essential COM. Addison-Wesley, Reading (1998)
6. Decker, K.: TAEMS: A Framework for Environment Centered Analysis & Design of Coordination Mechanisms. In: O'Hare, G., Jennings, N. (eds.) Foundations of Distributed Artificial Intelligence, January 1996, Ch. 16, pp. 429-448. Wiley Inter-Science, Chichester (1996)
7. Dennis, G.: TSAFE: Building a trusted computing base for air traffic control software. Master's thesis, Massachusetts Institute of Technology (2003)
8. 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. 2512, pp. 328-343. Springer, Heidelberg (2002)
9. 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-74 (1999)
10. 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-219 (2000)
11. 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. 2940, pp. 171-177. Springer, Heidelberg (2004)
12. Horling, B., Vincent, R., Mailler, R., Shen, J., Becker, R., Rawlins, K., Lesser, V.: Distributed Sensor Network for Real Time Tracking. Proceedings of the 5th International Conference on Autonomous Agents, June 2001, pp. 417-424 (2001)
13. Jackson, D.: Software Abstractions: Logic, Language and Analysis. MIT Press, Cambridge (2006)
14. Jackson, D., Jackson, M.: Separating Concerns in Requirements Analysis: An Example. In: chapter Rigorous development of complex fault tolerant systems, Springer, Heidelberg (To appear)
15. Jackson, D., Schechter, I., Shlyakhter, I.: ALCOA: The Alloy constraint analyzer. In: 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland (June 2000)
16. 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. 3394, pp. 638-645. Springer, Heidelberg (2004)
17. Lesser, V.: Reflections on the Nature of Multi-Agent Coordination and Its Implications for an Agent Architecture. Autonomous Agents and Multi-Agent Systems 1, 89-111 (1998)
18. 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)
19. 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 9(1), 87-143 (2004)
20. Torlak, E.: http://web.mit.edu/~emina/www/kodkod.html
21. van der Hoek, W., Wooldridge, M.: Model checking knowledge and time. In: Bošnački, D., Leue, S. (eds.) Model Checking Software. LNCS, vol. 2318, pp. 95-111. Springer, Heidelberg (2004)
22. Vaziri, M.: Finding Bugs Using a Constraint Solver. PhD thesis, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology (2004)
23. 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. 1887, pp. 102-127. Springer, Heidelberg (2001)
24. 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)
25. 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-96 (March 2000)
26. Weiss, G. (ed.): Multiagent systems: a modern approach to distributed artificial intelligence. MIT Press, Cambridge (1999)
27. 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. 2631, pp. 952-959. Springer, Heidelberg (2003)
28. 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-142 (2000)