Temporal languages for simulation and analysis of the dynamics within an organisation

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

Volumn 2296, Issue , 2002, Pages 151-160

  Jonker, Catholijn M ^a   Treur, Jan ^a   Wijngaards, Wouter C A ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMICS; MODELING LANGUAGES; SOFTWARE AGENTS;

DYNAMIC PROPERTY; MULTI AGENT; SIMULATION AND ANALYSIS; SOFTWARE ENVIRONMENTS; SUPPORTING TOOL; TEMPORAL LANGUAGE;

MULTI AGENT SYSTEMS;

EID: 84949233928     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45941-3_16     Document Type: Conference Paper

References (16)

1. Barringer, H., Fisher, M., Gabbay, D., Owens, R. & Reynolds, M. (1996). The Imperative Future: Principles of Executable Temporal Logic, Research Studies Press Ltd. and John Wiley & Sons
2. Brazier, F.M.T., Jonker, C.M. & Treur, J., Principles of Compositional Multi-agent System Development. In: J. Cuena (ed.), Proceedings of the 15th IFIP World Computer Congress, WCC’98, Conference on Information Technology and Knowledge Systems, IT&KNOWS’98, 1998, pp. 347-360. To be published by IOS Press, 2002
3. Brazier, F. M. T., Jonker, C. M., Jüngen, F. J. & Treur, J. (1999). Distributed Scheduling to Support a Call Centre: a Co-operative Multi-Agent Approach. In: Applied Artificial Intelligence Journal, vol. 13, pp. 65-90. H. S. Nwana and D. T. Ndumu (eds.), Special Issue on Multi-Agent Systems
4. Ferber, J. & Gutknecht, O. (1998). A meta-model for the analysis and design of organisations in multi-agent systems. In: Proc. of the Third International Conference on Multi-Agent Systems (ICMAS '98) Proceedings. IEEE Computer Society, 1998
5. Ferber, J. & Gutknecht, O. (1999). Operational Semantics of a role-based agent architecture. Proceedings of the 6th Int. Workshop on Agent Theories, Architectures and Languages. Lecture Notes in AI, Springer-Verlag
6. Ferber, J., Gutknecht, O., Jonker, C.M., Mueller, J.P. & Treur, J. (2000). Organisation Models and Behavioural Requirements Specification for Multi-Agent Systems (extended abstract). In: Proc. of the Fourth International Conference on Multi-Agent Systems, ICMAS 2000. IEEE Computer Society Press, 2000. Extended version in: Proc. of MAAMAW’01
7. Fisher, M., A survey of Concurrent METATEM — the language and its applications. In: D.M. Gabbay & H.J. Ohlbach (eds.), Temporal Logic — Proceedings of the First International Conference, Lecture Notes in AI, vol. 827, pp. 480–505
8. Herlea, D.E., Jonker, C.M., Treur, J. & Wijngaards, N.J.E. (1999). Specification of Behavioural Requirements within Compositional Multi-Agent System Design. In: F.J. Garijo & M. Boman (eds.), Multi-Agent System Engineering, Proc. of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99. Lecture Notes in AI, vol. 1647, Springer Verlag, 1999, pp. 8-27
9. Hölldobler, S. & Thielscher, M. (1990). A new deductive approach to planning. New Generation Computing, 8:225-244, 1990
10. Jonker, C.M., Letia, I.A. & Treur, J. (2001). Diagnosis of the Dynamics within an Organisation by Trace Checking of Behavioural Requirements. In: Wooldridge, M., Ciancarini, P., and Weiss, G. (eds.), Proc. of the 2nd International Workshop on Agent-Oriented Software Engineering, AOSE’01. Lecture Notes in Computer Science, Springer Verlag, to appear
11. Jonker, C.M., & Treur, J. (1998). Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. In: W.P. de Roever, H. Langmaack, A. Pnueli (eds.), Proceedings of the International Workshop on Compositionality, COMPOS'97. Lecture Notes in Computer Science, vol. 1536, Springer Verlag, 1998, pp. 350-380. Extended version in: International Journal of Cooperative Information Systems. In press, 2002
12. Kim, J. (1998). Mind in a Physical world: an Essay on the Mind-Body Problem and Mental Causation. MIT Press, Cambridge, Mass, 1998
13. Kowalski, R. & Sergot, M. (1986). A logic-based calculus of events. New Generation Computing, 4:67-95, 1986
14. McCarthy, J. & P. Hayes, P. (1969). Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4:463-502, 1969
15. Moss, S., Gaylard, H., Wallis, S. & Edmonds, B. (1998), SDML: A Multi-Agent Language for Organizational Modelling, Computational and Mathematical Organization Theory 4, (1), 43-70
16. Port, R.F. & Gelder, T. van (eds.). (1995) Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge, Mass, 1995.