Connecting Methodologies and Infrastructures in the Development of Agent Systems