Моделирование и верификация архитектуры программного обеспечения разработанного на языке Javaстатья