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

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.