The PTK tool is Rational Rose plug-in that offers a support for PASSI (a Process for Agent Societies Specification and Implementation) a step-by-step requirement-to-code methodology for designing and developing multi-agent societies.
SMARD is a development environment that simplifies the programming of
applications based on mobile agents. Using a graphical interface,
programmers can design, build and launch mobile agents which are
intended to run on JADE platforms.