Abstract
Mobile agents are a class of software agents that have the ability to move from host to host and are particularly relevant for mobile and distributed applications. The development of several mobile agent implementation environments has necessitated conceptual modelling techniques for mobile agent applications. In this paper, we present mGaia, our extension of the Gaia Agent Oriented Software Engineering (AOSE) methodology to model mobile agent systems.