An algebraic specification language for organizational behavior of OOMAS.

ABSTRACT Organization-oriented multi-agent system (OOMAS) points out organizational behaviors for self-organization. Existing development methods of organizational behaviors depend on preestablished organization structures during the development phase. For this reason, OOMASs are inefficient for simulation of large-scale cliques of attackers in cyber. To solve this issues, we propose an specification language organizational behaviors to support reorganization from bottom-up way during the application phase. Based on theory of abstract data type (ADT), the behavioral functions are defined to support type description of organizational behaviors. We present abstract syntax of organizational behaviors for specification language. We explore the homomorphism and isomorphism between behavioral algebras for organizational behaviors to preserve relevances between them.