Formal specification of agent behaviour through environment scenarios

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

Volumn 1871, Issue , 2001, Pages 263-277

  Zhu, Hong ^a  

^a OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; REQUIREMENTS ENGINEERING; SPEECH ANALYSIS;

AGENT-BASED SYSTEMS; COLLABORATIVE BEHAVIOR; FORMAL NOTATIONS; PERSONAL ASSISTANT AGENTS; SCENARIO ANALYSIS; SOCIAL BEHAVIOR; SOFTWARE REQUIREMENTS ANALYSIS; SOFTWARE SYSTEMS;

AUTONOMOUS AGENTS;

EID: 84955576936     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45484-5_21     Document Type: Conference Paper

References (21)

1. 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) 473−484. Also in [9], 317−328.
2. Wooldridge, M., Jennings, N. R.: Formalizing The Cooperative Problem Solving Process. in Proc. of 13th International Workshop on Distributed Artificial Intelligence (1994) 403−417. Also in [9] 430−440.
3. Myer, J-J., Schobbens, P-Y. (eds.): Formal Models of Agents - ESPRIT Project ModelAge Final Workshop Selected Papers. LNAI 1760, Springer, Berlin Heidelberg (1999)
4. Chainbi, W., Jmaiel, M., Abdelmajid, B. H.: Conception, Behavioural Semantics and Formal Specification of Multi-Agent Systems. in Zhang, C., Lukose, D. (eds): Multi-Agent Systems: Theories, Languages, And Applications, 4th Australian Workshop on Distributed Artificial Intelligence Selected Papers. Bristane, QLD, Australia, July 1998. LNAI 1544. Springer, Berlin Heidelberg New York (1998) 16−28.
5. Brazier, F. M. T., Dunin-Keplicz, B. M., Jennings, N. R., Treur, J.: DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework. in Int. Journal of Cooperative Information Systems. 1(6) (1997) 67−94.
6. Conrad, S., Saake, G., Turker, C.: Towards an Agent-Oriented Framework for Specification of Information Systems. in [3] (1999) 57−73.
7. Jennings, N. R.: Agent-Oriented Software Engineering. in Garijo, F. J., Boman, M. (eds.): Multi-Agent System Engineering, Proceedings of 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Valencia, Spain, June/July 1999. LNAI 1647. Springer, Berlin Heidelberg New York (1999) 1−7.
8. Spivey, J. M.: The Z Notation: A Reference Manual. (2nd edition). Prentice Hall (1992).
9. Huhns, M., Singh, M. P. (eds.): Readings in Agents. Morgan Kaufmann, San Francisco (1997)
10. Jennings, N. R., Wooldridge, M. J. (eds.): Agent Technology: Foundations, Applications, And Markets. Springer, Berlin Heidelberg New York (1998)
11. Zhu, H., Jin, L., Diaper, D.: Application of Task Analysis to the Validation of Software Requirements, Proc. SEKE’99. Kaiserslautern, Germany, (June, 1999) 239−245.
12. Zhu, H., Jin, L.: Scenario Analysis in An Automated Requirements Analysis Tool. Technical Report, CMS−TR−00−01, School of Computing and Mathematical Sciences, Oxford Brookes University, (Jan. 2000). in Requirements Engineering Journal (in press)
13. Jacobson, I., et al.: Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley (1992)
14. Iglesias, C. A., Garijo, M., Gonzalez, J. C., Velasco, J. R.: Analysis And Design of Multiagent Systems Using MAS-Common KADS. in Singh, M. P., Rao, A., Wooldridge, M. J. (eds.): Intelligent Agents IV. LNAI 1356. Springer, Berlin Heidelberg New York (1998) 313−327.
15. Iglesias, C. A., Garijo, M. Gonzalez, J. C.: A Survey of Agent-Oriented Methodologies. in Muller, J. P., Singh, M. P., Rao, A., (eds.): Intelligent Agents V. LNAI 1555. Springer, Berlin Heidelberg New York (1999) 317−330.
16. Moulin, B. Brassard, M.: A Scenario-Based Design Method And Environment for Developing Multi-Agent Systems. in Lukose, D., Zhang, C. (eds.): Proc. of First Australian Workshop on DAI. LNAI 1087. Springer Verlag, Berlin Heidelberg New York (1996) 216−231.
17. Maes, P.: Agents That Reduce Work And Information Overload, Communications of the ACM, 37(7) (1994) 31−40.
18. Singh, M. P.: A Semantics for Speech Acts. Annals of Mathematics and Artificial Intelligence. 8(1−2) (1993) 47−71.
19. Singh, M. P.: Agent Communication Languages: Rethinking the Principles. IEEE Computer (Dec. 1998) 40−47.
20. Shoham, Y.: Agent-Oriented Programming. Artificial Intelligence. 60(7) (1993) 51−92.
21. Zhu, H., Jin, L.: A Specification Language of Stochastic Real-Time Systems. in Proc. SEKE’97. Madrid, Spain (June 1997) 358−365.