Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they should include it in a clear and customizable software development process and provide CASE tools that support it. Similar issues are addressed by the Model-Driven Architecture (MDA) initiative of OMG whose ultimate objective is that of improving quality and software maintainability by allowing for the reuse of models and mappings between models. MDA is proposing standards and techniques for the automatic mapping between source and target models. Our goal in this paper is to address the role of model transformations in AOSE by discussing a practical example, with reference to the Tropos methodology. In particular, we will focus on the automatic transformation of a Tropos plan decomposition into a UML 2.0 activity diagram. We will show how to use the transformation technique to automate model mappings and describe...