Висвітлено проблему перевірки несуперечності діаграм мови MSC, що враховують тривалість подій. Розглянуто підмножину мови, яка включає обмін повідомленнями між інстанціями діаграми та механізм синхронізуючих умов. Наведено необхідний та достатній критерії несуперечності MSC діаграми, а також алгоритм, що реалізує даний критерій і реалізовано на мові C++.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"