Процессы в IT: методы формализации и визуализации информационных моделей в разработке программного обеспечения