Specification by refinement and agreement: Designing agent interaction using landmarks and contracts

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2577, Issue , 2003, Pages 257-269

  Weigand, Hans ^a   Dignum, Virginia ^b,c   Meyer, John Jules ^c   Dignum, Frank ^c  

^a TILBURG UNIVERSITY   (Netherlands)

^b Achmea ^*  (Netherlands)

^c UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; CONTRACTS; MATHEMATICAL MODELS; SOCIETIES AND INSTITUTIONS; MULTI AGENT SYSTEMS;

AGENT SOCIETY; AUTONOMOUS BEHAVIOR; AUTONOMY; REFINEMENT;

MULTI AGENT SYSTEMS; AUTONOMOUS AGENTS;

AGENT SOCIETY; AUTONOMOUS BEHAVIORS; DESIGNING AGENTS;

EID: 7044262058     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-39173-8_19     Document Type: Conference Paper

References (17)

1. Andrade, L., Fiadeiro, L, Gouveia, J., Koutsoukos, G. Lopes, A. and Wermelinger, M.: Coordination Patterns for Component-Based Systems. Musicante M., Haeusler H. (Eds.): Proc. of Brazilian Symposium on Programming Languages, UFPR 2001, (2001), B: 29-39.
2. Artikis, A., Pitt, J.: A Formal Model of Open Agent Societies. Proc. Autonomous Agents 2001, (2001) 192-193.
3. Bons, R., Lee, R., Wagenaar, R., Wrigley, C.: Modeling Inter-organizational Trade Procedures Using Documentary Petri-nets. Proc. Hawaii International Conference (1995).
4. Castelfranchi, C.: Engineering Social Order, Omicini, A., Tolksdorf, R., Zambonelli, F., (Eds.) Engineering Societies in the Agents World, First International Workshop, ESAW 2000, Berlin, Germany, LNAI 1972, Springer-Verlag (2000), 1 ñ 19.
5. Dastani, M., Dignum, V., Dignum, F.: Organizations and Normative Agents. Submitted to the First Eurasian Conference on ICT, Teheran, Iran, October, (2002).
6. Dellarocas, C.: Contractual Agent Societies: Negotiated shared context and social control in open multi-agent systems. Proc. WS on Norms and Institutions in Multi-Agent Systems, Autonomous Agents-2000, Barcelona (2000).
7. Dignum, F.: Autonomous Agents with Norms. In AI and Law, (7), (1999) 69 ñ 79.
8. Dignum, V, Dignum., F.: Modeling agent societies: co-ordination frameworks and institutions. In: P. Brazdil, A. Jorge (Eds.): Progress in Artificial Intelligence. LNAI 2258, Springer-Verlag, 2001.
9. Dignum, V., Meyer, J-J., Weigand, H., Dignum, F.: An Organizational-oriented Model for Agent Societies. In: Proc. Int. Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'02), at AAMAS, Bologna, Italy, July, (2002).
10. nd Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS), Maryland, Oct, (2002).
11. Dignum, V., Weigand, H., Xu L.: Agent Societies: Towards framework-based design. Wooldridge, M., Weiss, G., Ciancarini P. (Eds.): Agent-Oriented Software Engineering II, LNCS 2222, Springer-Verlag, (2002) 33-49.
12. th International Workshop on Agent Theories, Architectures and Languages, ATAL-2001, Seattle, (2001).
13. Hindriks, K., De Boer, F., Van der Hoek, W., Meyer. J-J.: Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems,2(4):357401, (1999).
14. Kumar, S., Huber, M., Cohen, P., McGee, D.: Towards a Formalism for Conversation Protocols Using Joint Intention Theory. Chaib-draa, B., Dignum, F. (Eds.): Computational Intelligence Journal, Special Issue: Agent Communication Language, (2002). To appear.
15. Mintzberg, H. Mintzberg on Management. The Free Press, New York (1989).
16. Odell, J., Van Dyke Paranak, H, and Bauer, B., Extending UML for Agents. Proc. AOIS Workshop, Austin, July (2000), pp.3-17.
17. Verharen, E.: A Language/Action Perspective on the Design of Cooperative Information Agents. Ph.D. Thesis, Tilburg University, (1997).