@inproceedings{eff658e83eeb4ab2be39ca08eb4d0675,
title = "Agent modelling in METATEM and DESIRE",
abstract = "In spite of the rapid spread of agent technology, there is, as yet, little evidence of an engineering approach to the development of multi-agent systems. For example, both development methods and verification techniques for multi-agent systems are rare. In this paper, we describe a case study aimed at comparing two formal agent modelling languages, namely Concurrent MetateM and DESIRE. A version of the well known PRS architecture is developed and the approaches are compared with respect to this application. {\textcopyright} Springer-Verlag Berlin Heidelberg 1998. ",
keywords = "Architectures, DESIRE, METATEM, Modelling, Specification",
author = "Marco Mulder and Jan Treur and Michael Fisher",
year = "1998",
doi = "10.1007/BFb0026759",
language = "English",
isbn = "978-3-540-64162-9",
volume = "1365",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer/Verlag",
pages = "193--207",
booktitle = "Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Proceedings",
}