С излишней детализацией своей части (алгоритм трансляции) полностью согласен, к письму приложен новый вариант текста, без деталей; если он выглядит лучше, то можно просто заменить им раздел с трансляцией. При этом собственно алгоритм уместился в один абзац (ибо практически весь алгоритм - это детали), так что можно его назвать не "алгоритм трансляции", а "Verification subsystem" (собственно, так он назван в конце введения). И небольшое сомнение - не до конца уверен, легитимно ли использование сокращения DRE в новом тексте, но с ним раздел лучше вписывается в статью в целом. Плюс добавил несколько желтых выделений в присланное Евгением; делал их в Okular-е, так что не уверен, всё ли нормально теперь с этим pdf.
Подымов Владислав
13.04.2013, 21:35, "Eugene Chemeritskiy" tyz@lvk.cs.msu.su:
Коллеги,
Как и договаривались, я прочитал скомпилированную статью.
Общие впечатления:
Насколько я понимаю, формат статьи -- всё обо всём. Он предполагает, что объясняются основные концепции и базовые идеи. По-моему, сейчас есть несколько перекосов с излишним погружением в детали, которые нужно бы удалить или упростить. Это, в первую очередь, касается раздела про среду выполнения моделей, описания используемых форматов файлов, и алгоритма трансляции их форматов для обработки UPPAAL.
Пробел работы -- остутствие описания механизмов анализа результатов моделирования (не верификации), которые, вероятно, были бы самым понятным и значимым результатом для большинства читателей.
В статье плавают термины. У нас постоянная путаница с DRE, RTES, DERTS и даже RTAS. В начале статьи мы говорим, что новая система называется DYANA-2012, упомяная попутно старую версию DYANA. В остальном же тексте статьи мы ссылаемся на вновь разработанную систему, используя имя старой системы.
Прочие замечания указаны в тексте.
С уважением, Евгений Чемерицкий
On 4/12/2013 10:26 PM, Daniel A. Zorin wrote:
Добрый вечер!
Во вложении - текущая версия статьи на Wintersim. Что осталось доделать: 1. Написать заключение 2. Сократить список литературы 3. Сократить раздел про uml-uppaal, чтобы статья уместилась в 12 страниц 4. Редактура и QC
Дедлайн в понедельник, 15 апреля.
,
Dyana mailing list Dyana@lvk.cs.msu.su https://lists.lvk.cs.msu.su/cgi-bin/mailman/listinfo/dyana