Коллеги,
Как и договаривались, я прочитал скомпилированную статью.
Общие впечатления:
Насколько я понимаю, формат статьи -- всё обо всём. Он предполагает, что объясняются основные концепции и базовые идеи. По-моему, сейчас есть несколько перекосов с излишним погружением в детали, которые нужно бы удалить или упростить. Это, в первую очередь, касается раздела про среду выполнения моделей, описания используемых форматов файлов, и алгоритма трансляции их форматов для обработки UPPAAL.
Пробел работы -- остутствие описания механизмов анализа результатов моделирования (не верификации), которые, вероятно, были бы самым понятным и значимым результатом для большинства читателей.
В статье плавают термины. У нас постоянная путаница с DRE, RTES, DERTS и даже RTAS. В начале статьи мы говорим, что новая система называется DYANA-2012, упомяная попутно старую версию DYANA. В остальном же тексте статьи мы ссылаемся на вновь разработанную систему, используя имя старой системы.
Прочие замечания указаны в тексте.
С уважением, Евгений Чемерицкий
On 4/12/2013 10:26 PM, Daniel A. Zorin wrote:
Добрый вечер!
Во вложении - текущая версия статьи на Wintersim. Что осталось доделать:
- Написать заключение
- Сократить список литературы
- Сократить раздел про uml-uppaal, чтобы статья уместилась в 12 страниц
- Редактура и QC
Дедлайн в понедельник, 15 апреля.