Многообразие возможных вариантов простирается от формально-математических, или логических (логика высказываний или логика предикатов), нотаций через графические (как используемые здесь для описания процессов или объектов) и программные (как Java или C#) языки вплоть до разг