- •Ю. А. Кравченко cals- и case-технологии таганрог 2005
- •Оглавление
- •Часть 2
- •8.5. Упражнения к части 2……………………………………100
- •Часть 3
- •Глава 9. Подходы реорганизации
- •Глава 10. Определение необходимости
- •10.6. Упражнения к части 3…………………………………..129
- •Аббревиатура
- •Предисловие
- •Введение
- •Часть 1
- •Глава 1. Основы cals - технологий
- •1.1. Основы информационной интеграции
- •1.2. Информационная поддержка изделий
- •1.3. Электронный технический документ (этд)
- •1.5. Система менеджмента качества (смк)
- •1.6. Интегрированная логистическая поддержка (илп)
- •1.7. Нормативная база cals-технологий
- •Глава 2. Стандарт step
- •2.1. Принципы создания стандарта step
- •2.2. Основные компоненты step
- •2.3. Методология тестирования
- •2.4. Схема использования стандарта step
- •Глава 3. Язык описания данных express
- •3.1. Основы языка
- •3.2. Свойства языка express
- •3.3. Объектно-ориентированный подход
- •3.4. Компоненты языка
- •3.5. Типы данных
- •3.6. Понятия
- •3.7. Упражнения к части 1
- •Часть 2
- •Глава 4. Основы имитационного моделирования сложных динамических систем
- •4.1. Теория массового обслуживания
- •4.2. Имитационное моделирование смо
- •4.3. Событийный метод моделирования
- •4.4. Сети Петри
- •Глава 5. Основы сase-технологий
- •5.1. Эволюция case-средств
- •5.2. Case–модель жизненного цикла программного обеспечения
- •5.3. Состав, структура и особенности case-средств
- •5.4. Графические модели
- •5.5. Контроль ошибок
- •5.6. Организация репозитария
- •5.7. Поддержка процесса проектирования и разработки
- •Глава 6. Классификация case-средств
- •Глава 7. Основы проектирования информационных систем (ис)
- •7.1. Основы методологии и технологии
- •Глава 8. Структурный подход проектирования информационных систем (ис)
- •8.1. Основные принципы структурного подхода
- •8.2. Методология sadt
- •8.2.1. Иерархия диаграмм
- •8.2.2. Типы связей между функциями
- •8.3. Построение модели анализируемой ис
- •8.3.1. Внешние сущности
- •8.3.2. Системы и подсистемы
- •8.3.3. Процессы
- •8.3.4. Накопители данных
- •8.3.5. Потоки данных
- •8.3.6. Иерархия диаграмм потоков данных
- •8.4. Case-метод Баркера моделирования данных
- •Р ис. 41. Рекурсивная связь [1]
- •8.5. Упражнения к части 2
- •Часть 3
- •Глава 9. Подходы реорганизации деятельности предприятия
- •9.1. Методика bsp (Business System Planning)
- •9.2. Подход cpi / tqm
- •9.3. Требования смм (Capability Maturity Model)
- •Глава 10. Определение необходимости внедрения case-средств
- •10.1. Определение потребностей внедрения
- •10.2. Анализ существующих case-средств
- •10.3. Критерии успешного внедрения
- •10.4. Стратегии внедрения case-средств
- •10.5. Реализация пилотного проекта
- •10.5.1. Основные цели реализации
- •10.5.2. Характеристики пилотного проекта
- •10.5.3. Разработка пилотного проекта
- •10.5.4. Внедрение выбранного на основе пилотного проекта case - средства
- •10.5.5. Анализ результатов внедрения case-средств
- •10.6. Упражнения к части 3
- •Заключение
- •Контрольные вопросы
- •25. Контроль ошибок.
- •27. Поддержка процесса проектирования и разработки.
- •38. Методология sadt.
- •Библиографический список
3.7. Упражнения к части 1
1. С помощью EXPRESS опишите атрибуты геометрической фигуры – квадрат. Атрибуты – цвет, длина стороны, периметр, площадь.
2. Опишите с помощью EXPRESS несколько атрибутов сущности «Дом» с использованием правила уникальности.
3. Опишите с помощью EXPRESS несколько атрибутов сущности «Самолет» с использованием правила области значений.
4. С помощью EXPRESS опишите атрибуты геометрической фигуры – ромб. Атрибуты – цвет, длина стороны, периметр, острый угол.
5. Опишите с помощью EXPRESS несколько атрибутов сущности «автомобиль» с использованием правила уникальности.
6. Опишите с помощью EXPRESS несколько атрибутов сущности «человек» с использованием правила области значений.
7. Предложите архитектуру информационной модели, задающей предметную область библиотеки с учетом того, что модель состоит из двух схем: «people» (люди) и «library» (библиотека). Опишите предложенную модель с помощью EXPRESS с использованием интерфейса использования.
8. Предложите архитектуру информационной модели, задающей предметную область библиотеки с учетом того, что модель состоит из двух схем: «people» (люди) и «library» (библиотека). Опишите предложенную модель с помощью EXPRESS с использованием интерфейса ссылки.
9. Предложите и опишите с помощью EXPRESS, используя отношение наследования, информационную модель, в которой область значения экземпляров сущности «employee» (служащий) является подмножеством области экземпляров сущности «person» (личность), условием существования которой является неотрицательный возраст.
10. Предложите и опишите с помощью EXPRESS, используя отношение наследования, информационную модель, в которой область значения экземпляров сущности «employee» (служащий) является подмножеством области экземпляров сущности «person» (личность). Причем условием существования сущности «employee» является достижение возраста 18 лет.
Часть 2
Глава 4. Основы имитационного моделирования сложных динамических систем
4.1. Теория массового обслуживания
В теории массового обcлyживaния объектами исследования являются сложные системы. Анализ процессов функционирования связан с исследованием прохождения через систему потока заявок. Разработчиков подобных сложных систем интересуют прежде всего такие параметры, как пропускная способность проектируемой системы, задержки заявок в системе, эффективность использования имеющегося оборудования и других средств.
Анализ функционирования сложных систем носит статистический характер. При этом в качестве математического аппарата моделирования используют теорию массового обслуживания, а в качестве моделей систем - системы массового обслуживания (CMО).
Типичными выходными параметрами в СМО являются числовые характеристики таких величин, как время обслуживания заявок в системе, длины очередей заявок на входах, время ожидания обслуживания в очередях, загрузка устройств системы, а также вероятность обслуживания в заданные сроки и т.п. СМО представляет собой некоторое средство (устройство), называемое обслуживающим аппаратом (ОА), вместе с очередями заявок на входах. Более сложные СМО состоят из многих взаимосвязанных ОА. Обслуживающие аппараты СМО в совокупности образуют статические объекты СМО, иначе называемые ресурсами. Состояние СМО характеризуется состоянием составляющих ее компонентов. Например, состояния ОА выражаются булевыми величинами, принимающими значения true (занято) или false (свободно), и длинами очередей на входах ОА, принимающими неотрицательные целочисленные значения.
Дисциплиной обслуживания называют правило выбора заявки из очередей на обслуживание, а величину, выражающую преимущественное право на обслуживаниё, - приоритетом. В бесприоритетных дисциплинах все транзакты (заявки) имеют одинаковые приоритеты. Среди бесприоритетных дисциплин наиболее популярны дисциплины FIFO («первым пришел - первым обслужен»), LIFO («последним пришел - первым обслужен») и случайные (со случайным выбором заявок из очередей).
Для приоритетных дисциплин строится очередь на входе ОА для заявок каждого приоритета. Заявка из очереди с низким приоритетом поступает на обслуживание, если пусты очереди с более высокими приоритетами. Различают приоритеты абсолютные, относительные и динамические. Заявка из очереди с более высоким абсолютным приоритетом, поступая на вход занятого ОА, прерывает уже начатое обслуживание заявки более низкого приоритета. В случае относительного приоритета прерывания не происходит, более высокоприоритетная заявка ждет окончания уже начатого обслуживания. Динамические приоритеты могут изменяться во время прохождения заявки в CMО.
Определение временных зависимостей переменных, характеризующих состояние СМО, при подаче на входы любых требуемых в соответствии с заданием на эксперимент потоков заявок, называют имитационным моделированием СМО. Имитационное моделирование проводят путем воспроизведения в СМО фактов изменения значения любой переменной, характеризующей состояние системы (событий), происходящих в моделируемом времени. Подход, альтернативный имитационному моделированию, называют аналитическим исследованием СМО. Аналитическое исследование заключается в получении формул для расчета выходных параметров СМО с последующей подстановкой значений аргументов в эти формулы в каждом отдельном эксперименте [7].
Используемые при имитационном и аналитическом моделировании модели СМО называются имитационными и аналитическими соответственно.
Поскольку для аналитического моделирования не требуются сколько-нибудь значительные затраты вычислительных ресурсов, аналитические модели удобны в использовании. Но для сложных СМО аналитические модели если и удается получить, то только при принятии упрощающих допущений, ставящих под сомнение адекватность модели.
Таким образом, основным подходом к анализу САПР на системном уровне проектирования считают имитационное моделирование, а аналитическое исследование используют для предварительной оценки различных вариантов систем [7].