Сложность разработки программных продуктов постоянно растет. Документы, содержащие требования к проекту, состоят из многих тысяч пунктов, неправильная формулировка которых неизбежно приведет к возникновению ошибок в системе, на исправление которых будут задействованы колоссальные ресурсы. Вот почему вопрос верификации и проверки корректности требований занимает одну из ведущих ролей в процессе разработки программного продукта. В данной работе описан метод доказательства, верификации и проверки корректности технологического маршрута, который задан с помощью MSC диаграмм. Данный подход был реализован с помощью технологии VRS/TAT, которая использует формальный язык UCM, расширенный языком базовых протоколов.

The complexity of software development is constantly growing. Documents containing requirements for the project consist of many thousands of items, the incorrect wording of which will inevitably lead to errors in the system, for the correction of which enormous resources will be used. That is why the question of verification and validation of requirements occupies a leading role in the process of developing a software product. This paper describes the method of proving, verifying and checking the correctness of the technological route, which is specified using MSC diagrams. This approach was implemented using VRS / TAT technology, which uses the formal UCM language, extended with the language of the basic protocols.