Slabs: A formal specification language for agent-based systems

International Journal of Software Engineering and Knowledge Engineering

Volumn 11, Issue 5, 2001, Pages 529-558

  Zhu, Hong ^a  

^a OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

Agent based systems; Formal specification language; Scenario description; Software engineering

Indexed keywords

COMMUNICATION; COMPUTER SYSTEMS; FORMAL LANGUAGES; SOFTWARE ENGINEERING; SPEECH RECOGNITION; USER INTERFACES;

AGENT-BASED SYSTEMS; COMMERCIAL APPLICATIONS; FORMAL SPECIFICATION LANGUAGE; SCENARIO DESCRIPTION;

MULTI AGENT SYSTEMS;

EID: 0012777369     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194001000657     Document Type: Article

References (47)

1. P. C. Janca, "Pragmatic application of information agents", BIS Strategic Report, 1995.
2. P. Sargent, "Back to school for a brand new ABC", The Guardian 12 March, 1992, p. 28.
3. Ovum Report, Intelligent Agents: The New Revolution in Software, 1994.
4. P. Webster, M. Smith, and P. Murtagh, "Four killed as airbus crashes", The Guardian, 27 June 1988, p. 1.
5. ACM, The Risks Digest: Forum on Risks to the Public in Computers and Related Systems 7, Issues 10-12, 27-30 June, 1988, http://catless.ncl.ac.uk/ Risks/(7.10.html - 7.11.html - 7.12.html).
6. R. Jennings and M. J. Wooldridge (eds.), Agent Technology: Foundations, Applications and Markets, Springer, Berlin, 1998.
7. F. M. T. Brazier, B. M. Dunin-Keplicz, N. R. Jennings, and J. Treur, "DESIRE: Modelling multi-agent systems in a compositional formal framework", Int. J. of Cooperative Information Systems 1 (1997) 67-94.
8. J. Hintikka, Knowledge and Belief, Cornell University Press, 1962.
9. S. Kripke, "Semantical analysis of modal logic", Zeitschrift fur Mathematische Logik und Grudlagen der Mathematik 9, 1963.
10. J. Y. Halpern and Y. Moses, "Knowledge and common knowledge in a distributed environment", Journal of ACM 37 (1990) 549-587.
11. J. Y. Halpern and L. D. Zuck, "A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols", Journal of ACM 39 (1992) 449-478.
12. R. Fagin and J. Y. Halpern, "Reasoning about knowledge and probability", Journal of ACM 41 (1994) 340-367.
13. R. Fagin, J. Y. Halpern, Y. O. Moses and M. Y. Vardi, Reasoning about Knowledge, The MIT Press, Cambridge, MA, 1995.
14. A. S. Rao and M. P. Georgreff, "Modeling rational agents within a BDI-architecture", in Proc. Int. Conf. on Principles of Knowledge Representation and Reasoning, 1991, pp. 473-484.
15. M. P. Singh, "Semantical considerations on some primitives for agent specification", in Intelligent Agents: Agent Theories, Architectures, and Languages, eds. M. Wooldridge, J. Muller and M. Tambe, LNAI 1037, Springer, 1996, pp. 49-64.
16. W. Chainbi, M. Jmaiel and B. H. Abdelmajid, "Conception, behavioural semantics and formal specification of multi-agent systems", in Multi-Agent Systems: Theories, Languages, and Applications, 4th Australian Workshop on Distributed Artificial Intelligence Selected Papers, Bristane, QLD, Australia, July 1998, eds. C. Zhang and D. Lukose, LNAI 1544, Springer, Berlin, 1998, pp. 16-28.
17. M. Wooldridge, Reasoning about Rational Agents, The MIT Press, 2000.
18. S. Ambroszkiewicz and J. Komar, "A model of BDI-agent in game-theoretic framework", in [19],1999, pp. 8-19.
19. J-J. Myer and P-Y. Schobbens (eds.), "Formal Models of Agents - ESPRIT Project ModelAge Final Workshop Selected Papers", LNAI 1760, Springer, Berlin, 1999.
20. M. J. Wooldridge and N. R. Jennings, "Agent theories, architectures, and languages: a survey", in Intelligent Agents: Theories, Architectures, and Languages, LNAI 890, Springer-Verlag, 1995, pp. 1-32.
21. S. Ossowski and A. Garcia-Serrano, "Social structure in artificial agent societies: implications for autonomous problem-solving agents", in Intelligent Agents V: Agent Theories, Architectures, and Languages, eds. J. P.Muller, M. P. Singh and A. S. Rao, LNCS 1555, Springer, 1999, pp. 133-148.
22. M. Fisher, "If Z is the answer, what could the question possibly be? On developing formal methods for agent-based systems", in Intelligent Agents III: Agent Theories, Architectures, and Languages, eds. J. Muller, M. Wooldridge and N. Jennings, LNAI 1193, Springer, 1997, pp. 65-66.
23. D. Kinny, M. Georgeff and A. Rao, "A methodology and modelling technology for systems of BDI agents in agents breaking away", Proc. MAAMAW'96, LNAI 1038, Spriger-Verlag, 1996.
24. B. Moulin and L. Cloutier, "Collaborative work based on multiagent architectures: a methodological perspective", in Soft Computing; Fuzzy Logic, Neural Networks and Distributed Artificial Intelligence, eds. F. Aminzadeh and M. Jamshidi, Prentice-Hall, 1994, pp. 261-296.
25. B. Moulin and M. Brassard, "A scenario-based design method and an environment for the development of multiagent systems", in First Australian Workshop on Distributed Artificial Intelligence, eds. D. Lukose and C. Zhang, LNAI 1087, Springer-Verlag, 1996, pp. 216-231.
26. M. Wooldridge, N. Jennings and D. Kinny, "A methodology for agent-oriented analysis and design", in Proc. ACM Third Int. Conf. on Autonomous Agents, Seattle, WA, USA, 1999, pp. 69-76.
27. C. A. Iglesias, M. Garijo and J. C. Gonzalez, "A survey of agent-oriented methodologies", in Intelligent Agents V: Agent Theories, Architectures, and Languages, eds. J. P. Muller, M. P. Singh and A. Rao, LNAI 1555, Springer, Berlin, 1999, pp. 317-330.
28. S. Conrad, G. Saake and C. Turker, "Towards an Agent-Oriented Framework for Specification of Information Systems", in [19], 1999, pp. 57-73.
29. M. D'Inverno, D. Kinny, M. Luck and M. Wooldridge, "A formal specification of dMARS", in Intelligent Agents IV: Agent Theories, Architectures, and Languages, eds. M. P. Singh, A. Rao and M. Wooldridge, LNAI 1365, Springer, 1998, pp. 155-176.
30. M. Luck and M. d'Inverno, "A formal framework for agency and autonomy", in Proc. First Int. Conf. on Multi-agent Systems, AAAI Press/MIT Press, 1995, pp. 254-260.
31. N. R. Jennings, "Agent-oriented software engineering in multi-agent system engineering", Proc. 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Valencia, Spain, June/July 1999, eds. F. J. Garijo and M. Boman, LNAI 1647, Springer, Berlin, 1999, pp. 1-7.
32. H. Zhu, "Formal specification of agent behaviour through environment scenarios", in Proc. of NASA First Workshop on Formal Aspects of Agent-Based Systems.
33. N. R. Jennings, "On agent-based software engineering", Artificial Intelligence 117 (2000) 277-296.
34. D. B. Lange, "Mobile objects and mobile agents: The future of distributed computing?", in Proc. European Conference on Object-Oriented Programming, 1998.
35. Y. Shoham, "Agent-oriented programming", Artificial Intelligence 60 (1993) 51-92.
36. D. B. Lange and M. Oshima, "Mobile agents with Java: the Aglet API", World Wide Web Journal, 1998.
37. M. Huhns and M. P. Singh (eds.), Readings in Agents, Morgan Kaufmann, San Francisco, 1997.
38. H. Zhu, "The role of caste in formal specification of MAS", in Proc. PRIMA'2001, 2001.
39. J. M. Spivey, The Z Notation: A Reference Manual, 2nd edition, Prentice-Hall, 1992.
40. H. Zhu, L. Jin, and D. Diaper, "Application of task analysis to the validation of software requirements", in Proc. SEKE'99, Kaiserslautern, Germany, 1999, pp. 239-245.
41. H. Zhu and L. Jin, "Scenario analysis in an automated requirements analysis tool", Journal of Requirements Engineering 5 (2000) 2-22.
42. I. Jacobson et al., Object-Oriented Software Engineering: a Use Case Driven Approach, Addison-Wesley, 1992.
43. C. A. Iglesias, M. Garijo, J. C. Gonzalez and J. R. Velasco, "Analysis and design of multiagent systems using MAS-common KADS", in Intelligent Agents IV: Agent Theories, Architectures, and Languages, eds. M. P. Singh, A. Rao and M. J. Wooldridge, LNAI 1356, Springer, Berlin, 1998, pp. 313-327.
44. B. Moulin and M. Brassard, "A scenario-based design method and environment for developing multi-agent systems", in Proc. First Australian Workshop on DAI, eds. D. Lukose and C. Zhang, LNAI 1087, Springer-Verlag, Berlin, 1996, pp. 216-231.
45. P. Maes, "Agents that reduce work and information overload", Communications of the ACM 37(7) (1994) 31-10.
46. M. P. Singh, "A semantics for speech acts", Annals of Mathematics and Artificial Intelligence 8(II) (1993) 47-71.
47. M. P. Singh, "Agent communication languages: Rethinking the principles", IEEE Computer, Dec. 1998, pp. 40-47.