| |
Годлевский, А. Б.
Алгоритм проверки временных противоречий в MSC диаграммах [Текст] / А. Б. Годлевский, М. В. Лопатина, С. Н. Свиргуненко
// Кибернетика и системный анализ. – 2002. – № 6. – 16-29.
Рассматривается проблема непротиворечивости MSC диаграмм с временными ограничениями в классе, где на инстанциях допускаются только события типа out (отправка сообщения) и in (прием сообщения) |
