Базові стани процедури, специфікації AAE