Management of the tasks for formal modeling project set in the .sce format on
the cloud projects.
Multicomputer parallelization of a given task consists in dividing this task
into assigned subtasks with their subsequent implementation on computational
nodes for formal modeling project. Then, based on the results of solving these
subtasks, subsequent independent subtasks are called in parallel on these
computational nodes. These subtasks are presented in the .sce format, which is a
scheme for solving these subtasks based on Scilab functions. This ATOMS module
implements an interface for administering tasks performed on computational
nodes.