The role of castes in formal specification of MAS

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

Volumn 2132, Issue , 2001, Pages 1-15

  Zhu, Hong ^a  

^a OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA PRIVACY; INTELLIGENT AGENTS; MULTI AGENT SYSTEMS; NETWORK SECURITY; SPECIFICATION LANGUAGES;

AGENT SOCIETY; AUTONOMOUS COMPONENTS; COLLABORATION PROTOCOLS; INHERITANCE RELATIONSHIPS; MULTI-AGENT TECHNOLOGIES; NATURAL EXTENSION; ORGANISATIONAL STRUCTURE; SUB-GROUPS;

FORMAL SPECIFICATION;

EID: 84949225949     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44637-0_1     Document Type: Conference Paper

References (18)

1. Jennings, N. R., On agent-based software engineering, Artificial Intelligence, Vol. 117, 2000, pp277-296.
2. Zhu, H. Formal Specification of Agent Behaviour through Environment Scenarios, Proc. of NASA First Workshop on Formal Aspects of Agent-Based Systems, LNCS, Springer. (In press) Also available as Technical Report, School of Computing and Mathematical Sciences, Oxford Brookes University, 2000.
3. Zhu, H., SLAB: A Formal Specification Language for Agent-Based Systems, Technical Report, School of Computing and Mathematical Sciences, Oxford Brookes University, Feb. 2001.
4. Rao, A. S., Georgreff, M. P., Modeling Rational Agents within A BDI-Architecture, in Proc. of the International Conference on Principles of Knowledge Representation and Reasoning, 1991, pp473-484.
5. Wooldrighe, M., Reasoning About Rational Agents, The MIT Press, 2000.
6. Jennings, N. R., Agent-Oriented Software Engineering, in Multi-Agent System Engineering, Proceedings of 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Valencia, Spain, June/July 1999, Garijo, F. J., Boman, M. (eds.), LNAI Vol. 1647, Springer, Berlin, Heidelberg, New York, 1999, pp1-7.
7. Bauer, B., Muller, J. P., and Odell, J., Agent UML: a formalism for specifying multiagent software systems, in Agent-Oriented Software Engineering, Ciancarini, P. and Wooldridge, M. (Eds.), LNCS, Vol. 1957, Springer, 2001, pp91-103.
8. Odell, J., Van Dyke Parunak, H., and Bauer, B., Representing Agent interaction protocols in UML, in Agent-Oriented Software Engineering, Ciancarini, P. and Wooldridge, M. (Eds.), LNCS, Vol. 1957, Springer, 2001, pp121-140.
9. Jennings, N. R., Wooldridge, M. J. (eds.), Agent Technology: Foundations, Applications, And Markets. Springer, Berlin, Heidelberg, New York, 1998.
10. Huhns, M., Singh, M. P. (eds.), Readings in Agents, Morgan Kaufmann, San Francisco, 1997.
11. Lange, D. B. and Oshima, M., Mobile agents with Java: the Aglet API, World Wide Web Journal, 1998.
12. Spivey, J. M., The Z Notation: A Reference Manual, (2nd edition), Prentice Hall, 1992.
13. Maes, P., Agents That Reduce Work And Information Overload, Communications of the ACM, Vol. 37, No.7, 1994, pp31-40.
14. Lesperance, Y., levesque, H. J., Lin, F., Marcu, D., Reiter, R. and Scherl, R., Foundations of logical approach to agent programming, in Intelligent Agents II, Eds. Wooldridge, M., Muller, J., and Tambe, M., LNAI, Vol. 1037, Springer-Verlag, 1996, pp331-346.
15. Jacobson, I., et al., Object-Oriented Software Engineering: A Use Case Driven Approach, Addison-Wesley, 1992.
16. Iglesias, C. A., Garijo, M. Gonzalez, J. C., A Survey of Agent-Oriented Methodologies, in Intelligent Agents V, Muller, J. P., Singh, M. P., Rao, A., (eds.), LNAI Vol. 1555. Springer, 1999, pp317-330.
17. Iglesias, C. A., Garijo, M., Gonzalez, J. C., Velasco, J. R., Analysis And Design of Multiagent Systems Using MAS-Common KADS, in Intelligent Agents IV, Singh, M. P., Rao, A., Wooldridge, M. J. (eds.), LNAI Vol. 1356, Springer, 1998, pp313-327.
18. Moulin, B. Brassard, M., A Scenario-Based Design Method And Environment for Developing Multi-Agent Systems, in Proc. of First Australian Workshop on DAI, Lukose, D., Zhang, C. (eds.), LNAI Vol. 1087, Springer Verlag, 1996, pp216-231.