-------- Исходное сообщение -------- Тема: SYRCoSE 2012 notification for paper 18 Дата: Wed, 2 May 2012 08:49:50 +0100 От: SYRCoSE 2012 syrcose2012@easychair.org Кому: Daniil Zorin juan@lvk.cs.msu.su

Dear Daniil Zorin,

We would like to inform you that your paper has been accepted by SYRCoSE 2012 Program Committee as a regular paper, which means that the paper will be published in the colloquium proceedings and you will be allowed approximately 20-25 minutes for oral presentation (exact information will be available soon in the colloquium program).

Please correct the paper according to the reviews given below and submit the final version. Deadline for camera-ready papers is May 10, 2012.

Thank you for submitting your paper to SYRCoSE.

Kind wishes SYRCoSE organizers

----------------------- REVIEW 1 --------------------- PAPER: 18 TITLE: Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systems AUTHORS: Daniil Zorin and Vladislav Podymov

OVERALL RATING: 1 (weak accept) REVIEWER'S CONFIDENCE: 2 (medium)

The paper is concerned about the extremely significant problem of the real-time system verification. In fact, it is beyond doubt that finding a convenient and a fast way to verify UML statecharts is essential due to the cost of later testing. The authors provide some additional constraints for the UML syntax in order to avoid ambiguities in UML statecharts when translating them to UPPAAL automata. An algorithm for such translation is proposed by the authors and experimental results of the algorithm implementation are mentioned.

Unfortunately, the paper lacks the comparison between a developed tool and other similar tools that seems to necessary for a scientific paper. For example, there is the similar tool, HUGO/RT, presented on www. pst.informatik.uni-muenchen.de web-page. HUGO/RT is claimed to be also designed for the automatic verification of UML models with certain timing constraints via converting UML state machines in UPPAAL automata. What about benefits of a new developed tool? The paper also contains several insignificant grammatical errors and some mistypes in Figures 7-8 (UPPAAL instead of UML needed). The paper is recommended to be accepted.

----------------------- REVIEW 2 --------------------- PAPER: 18 TITLE: Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systems AUTHORS: Daniil Zorin and Vladislav Podymov

OVERALL RATING: 3 (strong accept) REVIEWER'S CONFIDENCE: 3 (high)

The paper is well written and presents results interesting both from theoretical and from practical points of view.