Russian Language English Language

3 Модели и методы для обоснования выбора состава аппаратных средств ВС

3.1 Интегрированная среда автоматизированного синтеза конечных автоматов

3.2 Интеллектуальный буфер диспетчера задач вычислительной системы

3.3 Методика анализа UML диаграмм для получения ресурсных характеристик системы

3.4 Анализатор некорректного поведения минимизированных конечно-автоматных моделей


Экспресс информация

Редколлегия журнала

Подписка на новости

Гостевая книга

Предоставление материалов

Письмо в редакцию

На начало


2004, Номер1 ( 4)



Place for sale
А

МЕТОДИКА АНАЛИЗА UML ДИАГРАММ ДЛЯ ПОЛУЧЕНИЯ

 РЕСУРСНЫХ ХАРАКТЕРИСТИК СИСТЕМЫ

 

 

А.Е. Леонтьев, асп.; рук. А.В. Бржезовский, к. т. н., доц.

 

 

(СПБГУАП, г. СПб)

 

 

 

 

 

                Доклад посвящен разработанной методике анализа спецификаций информационных систем, построенной на основе Unified Modeling Language (UML) диаграмм. В ходе исследования используются диаграммы классов, состояний, последовательности, компонентов и распределения. Дополнительными параметрами для анализа является время выполнения решаемых задач и карта доступных ресурсов системы.

В данной работе достигаются следующие научные результаты:

-       расширение и дополнение стандартных UML диаграмм до учета временных и ресурсных требований системы;

-       алгоритм трансляции полученных UML диаграмм в семантическую концептуальную модель[1];

-       методика параметрического анализа семантической концептуальной модели и получение диаграмм степени загрузки системы.

В результате применения данного метода уже на ранних стадиях разработки систем возможно получение карт загрузки вычислительных ресурсов и обнаружение “узких мест” системы. Данная возможность позволяет избежать дополнительных рисков и сократить время разработки сложных систем с большим количеством вычислительных ресурсов и коммутационных соединений.

 

Литература

 

1.  Бржезовский А.В., Жаков В.И., Путилов В.А., Фильчаков В.В. Синтез моделей вычислительного эксперимента. СПб.:Наука, 1992. 231с.