A methodology for role-based modeling of open multi-agent software systems

ICEIS 2005 - Proceedings of the 7th International Conference on Enterprise Information Systems

Volumn , Issue , 2005, Pages 246-253

  Xu, Haiping ^a   Zhang, Xiaoqin ^a  

^a Department of Electrical and Computer Engineering   (United States)

Author keywords

A R mapping; Object Z formalism; Open multi agent software systems; Role based modeling

Indexed keywords

A-R MAPPING; AGENT SOCIETY; CONCEPTUAL LEVELS; DISTRIBUTED INFORMATION SYSTEMS; MAS DEVELOPMENT; MULTI-AGENT; OBJECT-Z FORMALISM; OPEN MULTI-AGENT SYSTEM; POTENTIAL SOLUTIONS; ROLE MODEL; ROLE MODELING; ROLE-BASED; ROLE-BASED MODELING; SOFTWARE SYSTEMS; SYSTEM ANALYSIS;

INFORMATION SYSTEMS; MAPPING; SECURITY OF DATA; SOFTWARE AGENTS;

MULTI AGENT SYSTEMS;

EID: 49449095424     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. nd International Joint Conference on Autonomous Agents & Multiagent Systems, Australia, pp. 489-496.
2. DeLoach, S. A., Wood, M. F., and Sparkman, C. H. 2001. Multiagent systems engineering. The International Journal of Software Engineering and Knowledge Engineering, vol. 11, no. 3, pp. 231-258.
3. Duke, R., Rose, G., and Smith, G. 1995. Object-Z: a specification language advocated for the description of standards. Computer Standards and Interfaces, vol. 17, North-Holland, pp. 511-533.
4. Fisher, M. 1995. Representing and executing agent-based systems. Proceedings of the International Workshop on Agent Theories, Architectures, and Languages, M. Wooldridge and N. Jennings, eds., LNCS, vol. 890, Springer-Verlag, pp. 307-323.
5. Hilaire, V., Simonin, O., Koukam, A., and Ferber, J. 2004. A formal approach to design and reuse of agent and multiagent models. Proceedings of the Fifth International Workshop on Agent-Oriented Software Engineering (AOSE-2004), New York.
6. st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Bolognia, Italy, pp. 3-10.
7. Luck, M. and d'Inverno, M. 1995. A formal framework for agency and autonomy. Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), AAAI Press/MIT Press, pp. 254-260.
8. Smith, R. G. 1980. The contract net protocol: high-level communication and control in a distributed problem solver. IEEE Transactions on Computer, vol. C-29, pp. 1104-1113.
9. Stepney, S., Barden, R., and Cooper, D. (eds) 1992. Object orientation in Z. Workshops in Computing, pp. 59-77.
10. Wooldridge, M., Jennings, N. R., and Kinny, D. 2000. The Gaia methodology for agent-oriented analysis and design. International Journal of Autonomous Agents and Multi-Agent Systems, vol. 3, no.3, pp. 285-312.
11. Xu, H. and Shatz, S. M. 2003. A framework for model-based design of agent-oriented software. IEEE Transactions on Software Engineering (IEEE TSE), vol. 29, no. 1, pp. 15-30.