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 OMaSE models. Categories and Subject Descriptors D.2.2 [Software Engineering]: Design Tools and Techniques – Computer-aided software engineering (CASE). General Terms Design. Keywords Agent-oriented Software Engineering, Multiagent Systems
Juan C. García-Ojeda, Scott A. DeLoach, Rob