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

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