Каждый исполнитель может выполнять команды только из некоторого строго заданного списка-системы команд исполнителя (СКИ). Для каждой команды должны быть заданы условия применимости (в каких состояниях среды может быть выполнена команда) и описаны результаты выполнения команды.