Formal modelling of reactive agents as an aggregation of simple behaviours

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

Volumn 2308, Issue , 2002, Pages 461-472

  Kefalas, Petros ^a  

^a UNIVERSITY OF SHEFFIELD   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL METHODS;

AGENT MODELLING; AGENT ORIENTED SOFTWARE ENGINEERING; ENVIRONMENTAL STIMULI; FORMAL MODELLING; INDIVIDUAL BEHAVIOUR; INHERENT COMPLEXITY; REACTIVE AGENT; SOFTWARE SYSTEMS;

SOFTWARE AGENTS;

EID: 84943151960     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46014-4_41     Document Type: Conference Paper

References (30)

1. Jennings, N.R.: On agent-based software engineering. Artificial Intelligence 117 (2000) 277-296
2. Wooldridge, M., & Ciancarini, P.: Agent-oriented software engineering: The state of the art. To appear in the Handbook of Software Engineering and Knowledge Engineering, World Scientific Publishing Co. (2001)
3. Young, W. D.: Formal Methods versus Software Engineering: Is There a Conflict? In Proceedings of the Fourth Testing, Analysis, and Verification Symposium (1991) 188-899
4. Clarke, E., Wing, J. M.: Formal Methods: State of the Art and Future Directions, ACM Computing Surveys 28 (4) (1996) 26-643
5. Rao, A.S., & Georgeff, M.: BDI Agents: from theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95) (1995) 312-319
6. Inverno, D’ M., Kinny, D., Luck, M., & Wooldridge, M.: A formal specification of dMARS. In: M.P.Singh, A.Rao, and M.J.Wooldridge (Eds.): Intelligent Agents IV – LNAI, Vol. 1365. Springer-Verlag (1998) 155-176
7. Rosenschein, S. R., & Kaebling, L. P.: A situated view of representation and control. Artificial Intelligence 73 (1-2) (1995) 149-173
8. Brazier, F., Dunin-Keplicz, B., Jennings, N., & Treur, J.: Formal specification of multiagent systems: a real-world case. Proceedings of International Conference on Multi-Agent Systems (ICMAS'95), MIT Press (1995) 25-32
9. Odell, J., Parunak, H. V. D., & Bauer, B.: Extending UML for agents. In Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence (2000)
10. Holcombe, M., & Ipate, F.: Correct systems: Building a business process Solution. Springer Verlag (1998)
11. Spivey, M.: The Z notation: A reference manual. Prentice-Hall (1989)
12. Jones, C. B.: Systematic software development using VDM. 2nd edn. Prentice-Hall (1990)
13. Wulf, W. A., Shaw, M., Hilfinger, P.N., & Flon, L.: Fundamental structures of computer science. Addison-Wesley (1981)
14. Reisig, W.: Petrinets - an introduction. EATCS Monographs on Theoretical Computer Science 4. Springer-Verlag (1985)
15. Harel, D.: Statecharts: A visual approach to complex systems. Science of Computer Programming 8 (3) (1987)
16. Brooks, R. A.: A robust layered control system for a mobile robot. IEEE Journal of Robotics Automation 2 (7) (1986) 14-23
17. Jennings, N.R.: An agent-based approach for building complex software systems. Communications of the ACM 44 (4) (2001) 35-41
18. Brooks, R. A.: Intelligence without reason. In: J.Mylopoulos, & R.Reiter (Eds.): Proceedings of the 12th International Joint Conference on Artificial Intelligence, Morgan Kaufmann (1991) 569-595
19. Collinot, A., Drogul, A. & Benhamou, P.: Agent oriented design of a soccer robot team. In proceedings of the 2nd International Conference on Multi-Agent Systems (1996) 41-47
20. Eilenberg, S.: Automata, Machines and Languages. Vol. A. Academic Press (1974)
21. Holcombe, M.: X-machines as a basis for dynamic system specification. Software Engineering Journal 3 (2) (1988) 69-76
22. Ipate, F., & Holcombe, M.: Specification and testing using generalised machines: a presentation and a case study. Software Testing, Verification and Reliability 8 (1998) 61-81
23. Balanescu, T., Cowling, A.J., Gheorgescu, H., Gheorghe, M., Holcombe, M., & Vertan, C.: Communicating stream X-machines systems are no more than X-machines. Journal of Universal Computer Science 5 (9) (1999) 494-507
24. Cowling, A.J., Gheorgescu, H., & Vertan, C.: A structured way to use channels for communication in X-machines systems. Formal Aspects of Computing 12 (2000) 485-500
25. Barnard, J.: COMX: a design methodology using communicating X-machines. Journal of Information and Software Technology 40 (1998) 271-280
26. Kefalas, P., Eleftherakis, G., & Kehris, E.: Modular modelling of large-scale systems using communicating X-machines. In: Y. Manolopoulos & S. Evripidou (Eds.): Proceedings of the 8th Panhellenic Conference in Informatics, Greek Computer Society (2001) 20-29
27. Eleftherakis, G., & Kefalas P.: Towards model checking of finite state machines extended with memory through refinement. In: G. Antoniou, N.Mastorakis, & O.Panfilov (Eds.): Advances in Signal Processing and Computer Technologies, World Scientific and Engineering Society Press (2001) 321-326
28. Georghe, M., Holcombe, M., & Kefalas, P.: Computational models for collective foraging, BioSystems 61 (2001) 133-141
29. Kefalas P., Holcombe M., Eleftherakis G., Gheorghe M.: A formal method for the development of agent-based systems. In: V.Plekhanova & S.Wermter (Eds.): Intelligent Agent Software Engineering, Idea Group Publishing Hershey, PA, USA (2002) (to be published)
30. Kapeti, E., & Kefalas, P.: A design language and tool for X-machines specification. In: D.I.Fotiadis, S.D.Nikolopoulos (Eds.): Advances in Informatics. World Scientific Publishing Company (2000) 134-145