A requirement specification language for configuration dynamics of multi-agent systems

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

Volumn 2222, Issue , 2002, Pages 169-187

  Dastani, Mehdi ^a   Jonker, Catholijn ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DYNAMICS; SOFTWARE AGENTS; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; STRUCTURAL DYNAMICS;

DYNAMICS PROPERTIES; REQUIREMENT LANGUAGES; REQUIREMENT SPECIFICATION; SYSTEM CONFIGURATIONS;

MULTI AGENT SYSTEMS;

EID: 30144432698     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-70657-7_12     Document Type: Conference Paper

References (13)

1. Brazier, F.M.T., Jonker, C.M., and Treur, J., Principles of Compositional Multi-agent System Development. In: J. Cuena (ed.), Proc. 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.
2. Davis, A. M. (1993). Software requirements: Objects, Functions, and States, Prentice Hall, New Jersey.
3. Dardenne, A., Lamsweerde, A. van, and Fickas, S. (1993). Goal-directed Requirements Acquisition. Science in Computer Programming, vol. 20, pp. 3-50.
4. Darimont, R., and Lamsweerde, A. van (1996). Formal Refinement Patterns for Goal- Driven Requirements Elaboration. Proc. of the Fourth ACM Symposium on the Foundation of Software Engineering (FSE4), pp. 179-190.
5. Dubois, E., Du Bois, P., and Zeippen, J.M. (1995). A Formal Requirements Engineering Method for Real-Time, Concurrent, and Distributed Systems. In: Proceedings of the Real-Time Systems Conference, RTS’95.
6. Engelfriet, J., Jonker, C.M. and Treur, J., (1999). Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. In: J.P. Mueller, M.P. Singh, A.S. Rao (eds.), Intelligent Agents V, Proc. of the Fifth International Workshop on Agent Theories, Architectures and Languages, ATAL'98. Lecture Notes in AI, vol. 1555, Springer Verlag, 1999, pp. 177-194. Extended version in: Journal of Logic, Language and Information, in press.
7. Fisher, M., Wooldridge, M. (1997) On the Formal Specification and Verification of Multi-Agent Systems. International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, pp. 67-94.
8. Herlea, D.E., Jonker, C.M., Treur, J., and 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, Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW’99. Lecture Notes in AI, vol.1647, Springer Verlag, Berlin, 1999, pp. 8-27.
9. Catholijn Jonker, Ioan Alfred Letia, and Jan Treur (2001). Diagnosis of the Dynamics Within an Organization By Trace Checking of Behavioral 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, This Volume.
10. Jonker, C.M. and 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, 1536, Springer Verlag, 1998, pp. 350-380. Extended version in: International Journal of Cooperative Information Systems, in press.
11. Kontonya, G., and Sommerville, I. (1998). Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York.
12. Manna, Z., and Pnueli, A. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, 1995.
13. Sommerville, I., and Sawyer P. (1997). Requirements Engineering: a good practice guide. John Wiley & Sons, Chicester, England.