Abstract
The paper introduces the formal description of a computing multi-agent system (MAS), its architecture and dynamics (sections 2–4). The optimal scheduling problem for the MAS as well as a way of its verification are presented in terms of such a model (section 5). A brief report of test results published previously in [13, 3, 4, 8] is contained in section 6.