agentTool III: from process definition to code generation

The agentTool III (aT3) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation of multiagent systems following the Organization-based Multiagent Systems Engineering (O-MaSE) methodology. It also provides the ability to compose, verify, and maintain customized O-MaSE complaint processes. Additionally, aT3 provides a verification framework which helps designers to maintain consistency between their O-MaSE models.