Другое: Uppaal - описание

Здравствуйте,

Я писал вам об ошибках с uppaal и проблемами его запуска.

Вот, что я выяснил:

В целом всё состоит из 2-х частей:

1) Frontend - java gui

2) некий "server", который либо java пытается запустить сама (и всегда имела в этом неудачу, ибо что-то да падало)

некий "socketserver" - тут запуск приводил к успеху, но была проблема с тем, что он есть лишь в версии 4.1 и только под linux

Поведение java frontend:

Windows (x64):

1) v4.0.14 - запускается, позволяет создавать модель и queries и сохранять их, но не работает симулятор и верификатор

2) v4.1.19 - запускается, позволяет создавать модель и queries, сохранять может только саму модель, но не queries

3) v4.1.19x64 - запускается, позволяет создавать модель и queries, сохранять может только саму модель, но не queries

Linux (разрядность не влияла на результат):

1) v4.0.14 - запускается, позволяет создавать модель и queries и сохранять их, но не работает симулятор и верификатор

2) v4.1.19 - не запускается

3) v4.1.19x64 - не запускается

Теоретически этого достаточно для выполнения задания номер 2, потому что сам верификатор и симулятор из под gui пользовать не нужно,

потому что всё, что нужно это запустить verifyta с флагом -u и указанной моделью и query (которые надо было сгенерировать через gui)

(полезно почитать страницы 16 и 13 в uppaaltutor.pdf)

Если же необходимо сделать так, чтобы полностью работал интерфейс со всеми возможностями, то нужно:

1) запустить socketserver под linux (взять из нужного пакета v4.1, в зависимости от разрядности системы)

2) запустить java из версии v.4.1.19 x64 под windows и указать там --serverHost и --serverPort в командной строке, чтобы оно подключилось к socketserver

(под linux у меня всё время появлялась ошибка Bug: Word Expected (хотя её не было и под windows всё работало))

(у меня была windows - host и linux - виртуалка)

(java -jar .\uppaal64-4.1.19\uppaal.jar --serverHost 192.168.20.128 --serverPort 2350)

3) Всё заработало (обе моих системы - x64)

uppaal(merged) - там jar из 4.1.19 x64, а папка bin - из 4.1.19

Есть подозрение, что чтобы запустить uppaal на windows без ошибок - нужно скачать себе

Visual C++ Tools

которые далеко не всегда идут в комплекте к операционке

(так сказал знающий аспер, но я не пробовал)

Файл скачан с сайта StudIzba.com

При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник