2. Проверка адекватности объектно-структурной модели аспу

Задача данной проверки состоит в удовлетворении требований по обеспечению адекватности модели и проектируемой АСПУ в контексте достижения поставленной цели исследования и заключается в валидации выходных данных АСПУ [22].

Валидация ¹⁴ выходных данных АСПУ производится на основании уравнения баланса материального потока в технологическом процессе (1.1), составляющие которого должны быть приведены к общей единице измерения и подтверждены инвентаризацией в контрольных точках.

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

Так, в МПП в качестве критерия для принятия решения о калибровке модели может выступать отклонение исследуемых показателей от нормативных значений, определяемое целевой функцией:

где - нормативные показатели; - фактические.

Подробно вопросы оптимизации в задачах автоматизированного управления производством рассмотрены в работах [32,54,74].

3. Логическое моделирование аспу

Согласно концепции бизнес-моделирования логическое моделирование, как этап формализации модели проектируемой АИС, необходимо для уточнения основных выводов из ее концептуальной модели и постановки задачи на разработку специфического программного обеспечения.

При этом логическая модель информационной системы рассматривается как связывающее звено между реализуемой ею функциональностью и КИС предприятия. Иными словами, качественная логическая модель является гарантом простоты интеграции внедряемой АСПУ с развернутой на предприятии КИС.

В методологии бизнес-моделирования на этапе построения логической модели системы предпочтение отдается методологиям объектно-ориентированного анализа и проектирования, использующим нотацию языка UML и методологию RUP ¹⁵.

Такой подход можно обосновать следующими доводами:

• язык UML – это язык визуального моделирования, который охватывает все основные стадии объектно-ориентирован­ного анализа и дизайна исследуемой системы (в том числе, динамический аспект ее поведения), предоставляя разработчикам для построения моделей набор соответствующих диаграмм [8,38];

• CASE-средства на основе языка UML обеспечивают автоматическую генерацию программного кода компонентов многозвенных систем распределенной обработки данных;

• язык UML может быть использован в качестве основы для разработки средств имитационного моделирования [39,70].

Здесь необходимо напомнить об еще одном, очень важном назначении логической модели: процесс разработки проблемно-ориентированной модели данных по методологии бизнес-моделирования фактически сводится к построению отображения между объектной моделью системы, созданной на этапе логического моделирования в нотации UML, и реляционной моделью данных с помощью CASE-средств.

В технологии бизнес-моделирования UML-диаграммой, обеспечивающей связь концептуальной модели АИС с ее логической моделью и отражающей функциональный аспект последней ¹⁶, является диаграмма вариантов использования (use case diagram),

Однако объективно ключевой является диаграмма классов (class diagram), рассматривающая статический и элементный аспекты логической модели системы.