Анотация: Стаття присвячена питанням формалізації процесів моделювання складних програмних систем на стадіях аналізу і проектування.