OperettA: a prototype tool for the design, analysis and development of multi-agent organizations

OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between dierent design parts, provides a formal specification of the organization model, and is prepared to generate a simulation of the application domain.