CS logo CS dept
space
Титул
Введение
Моделирование
Сети Петри
Электронная библиотека КАРНЦ РАН
Моделирование сервисов
Текущие результаты
Valid HTML 4.01!
Valid CSS!
Yellow Pages
HotLog

Текущие результаты

В данной курсовой работе рассматривается проблема моделирования программных сервисов публикации и поиска XML - документов в коллекциях ЭБ КарНЦ РАН. На сегодняшний день были получены следующие результаты:
  1. Изучены и описаны программные сервисы публикации и поиска XML-документов в коллекциях ЭБ КарНЦ РАН в нотациях языка UML
  2. Разработаны и программно реализованы модели сервисов на основе сетей Петри;
  3. Проведена серия вычислительных экспериментов с моделями исследуемых сервисов с целью проверки их работоспособности.
  4. Разработана модель более универсальной сети Петри, с возможность построения сетей разной конфигурации.
Для облегчения работы пользователя с программным продуктом планируется разработать графический интерфейс построения сетей Петри, предусмотреть экспорт конфигураций сетей Петри во внешний файл и экспорт результатов моделирования во внешний файл.