
- •Оглавление
- •1. Классификации технологий разработки информационных систем
- •1.1. Классификация технологий разработки информационных систем в соответствии с научно-техническими направлениями их создания
- •1.2. Классификация технологий разработки информационных систем, созданная в рамках направления менеджмента – реинжиниринга бизнес-процессов
- •2. Жизненный цикл разработки информационных систем и его модели
- •2.1. Каскадная модель
- •2.2. Спиральная модель
- •3. Методологии разработки информационных систем
- •3.1. Структурная методология разработки информационных систем idef
- •Правила определения сущностей
- •Правила определения атрибутов
- •Первичные и альтернативные ключи
- •Правила определения отношений
- •Отношения категоризации
- •Правила определения отношений категоризации
- •Основные правила формирования информационной модели
- •"Функциональный аспект" рассмотрения системы
- •3.2. Объектно-ориентированные методологии разработки информационных систем
- •3.2.1. Методики объектно-ориентированного анализа
- •3.2.2. Объектно-ориентированный процесс разработки rup
- •3.3. Методология создания информационных систем Datarun, ориентированая на данные
- •4. Case-средства разработки информационных систем
- •4.1. Классификация case-средств
- •Диаграммные средства
- •4.2. Подход к интеллектуализации case-средств
- •4.2.1. Гибридная модель проблемной области case-системы
- •4.2.2. Синтаксис многоуровневой логики
- •4.2.3. Дедуктивный вывод в многоуровневой логике
- •4.2.3.1. Алгоритм сколемизации
- •4.2.3.2. Алгоритм унификации
- •4.2.3.3. Особенности использования линейной входной резолюции в многоуровневой логике
- •4.2.3.4. Иерархическая абстракция и продукционная модель
- •4.2.4. Программное инструментальное средство для моделирования сложноструктурированной проблемной области как компонента информационной базы проекта в case-системах
- •4.2.4.1. Архитектура программного инструментального средства «Инфолог»
- •4.2.4.2. Концептуальный язык описания сложноструктурированной проблемной области
- •4.2.4.3 Реализация программного инструментального средства «Инфолог»
- •5. Технология разработки интеллектуальных систем «логсемис»
- •5.1. Методология разработки интеллектуальных систем «логсемис»
- •Алгоритм генерирования метаправил
- •5.2. Программное инструментальное средство поддержки методологии «логсемис»
- •6. Задания на лабораторные работы
- •7. Контрольные вопросы
- •Библиографический список рекомендуемой литературы «Информационная инженерия»
1.2. Классификация технологий разработки информационных систем, созданная в рамках направления менеджмента – реинжиниринга бизнес-процессов
Вторая классификация методологий и технологий создания информационных систем сложилась под влиянием реинжиниринга бизнес-процессов (БПР).
В России существует большой ряд организаций, которые имеют организационные структуры и способы функционирования, не отвечающие современному уровню. Поэтому для повышения их конкурентноспособности они должны быть перестроены на основе методов БПР. Хаммер и Чампли, изобретатели термина БПР, определили БПР как «фундаментальное переосмысление и радикальное перепроектирование деловых процессов для достижения резких/скачкообразных улучшений в решающих, современных показателях деятельности компании, таких как стоимость, качество, сервис и темпы». БПР – есть совокупность методов и программных инструментальных средств, предназначенных для кардинального улучшения основных показателей деятельности компании, путем моделирования, анализа и перепроектирования существующих бизнес-процессов[5].
Перепроектирование процессов становится возможным, как правило, благодаря использованию программных инструментальных средств, поддерживающих методологии реинжиниринга бизнес-процессов, а также применению CASE-технологий.
В соответствии со второй классификацией методологии и технологии проектирования информационных систем делятся на следующие группы:
поддерживающие;
развивающие;
принципиально новые.
На основе технологий, относящихся к 1-й и 2-й группам, создаются бизнес-поддерживающие программные системы, которые поддерживают и развивают бизнес-процессы, существующие в организации, используя методологии реинжиниринга бизнес-процессов. На основе технологий, относящихся к 3-й группе, создаются бизнес-образующие информационные системы и проекты, поддерживающие новые бизнес-процессы и новый бизнес, используя методологии инжиниринга бизнес-процессов.
Выделение целей организации и проверка их на конкурентноспособность, выполняемые на этапе обследования организации, являются одинаковыми при создании информационных систем на основе методов информационной инженерии и реинжиниринга бизнес-процессов. Следует отметить, что от правильного выполнения этих работ зависит не только успех создания информационных систем, но и эффективность функционирования организации.
Остановимся на рассмотрении наиболее перспективных методологий и технологий создания программных систем – интеллектуальных методологий и технологий, методы проектирования которых, как отмечалось выше, проникают во все методологии проектирования таких систем, увеличивая конкурентноспособность систем, построенных на их основе. О необходимости создания интеллектуальных методологий и технологий также свидетельствует резкое увеличение сложности задач, для решений которых создаются интеллектуальные системы.
Одним из важных классов интеллектуальных систем, применяемых в различных сферах деятельности человека, являются интеллектуальные системы поддержки принятия решений (ИСППР). Перед разработчиками ИСППР на начальных этапах их создания встает задача извлечения знаний из экспертов и лиц, принимающих решение, (ЛПР), которые формализуются в моделях представления знаний. Построение таких моделей представляет собой трудоемкий и наукоемкий процесс, требующий больших усилий от экспертов, ЛПР и лиц, занимающихся формализацией полученных знаний.
В последние годы наблюдается резкий рост количества работ, касающихся логического подхода к решению этой задачи. Большой вклад в это научное направление внесли и вносят зарубежные логики, среди которых можно выделить Дж. Маккарти, первые результаты которого были получены в 1963 г. Дж. Маккарти и по настоящее время активно работает в этой области, о чем свидетествует его книга, описывающая разработанное им ситуационное исчисление, выставленная для обсуждения в сети Internet. Большой вклад в это научное направление вносит Р. Рейтер, который разработал логический фундамент для моделирования динамических систем, создал язык логического программирования GOLOG (Algol in Logic), реализовал различные версии этого языка: последовательный GOLOG, параллельный GOLOG, временной GOLOG, реактивный GOLOG. Семантика языка GOLOG описывается исчислением предикатов второго порядка. Синтаксис языка напоминает синтаксис языка Prolog. Также здесь можно упомянуть Р. Миллера и М. Шэхэнэн, создавшие исчисление событий, и многих других зарубежных логиков.
Российские ученые также вносят большой вклад в создание логических методов моделирования сложных объектов, вершиной работ в котором стал подход семиотического моделирования, предложенный Д.А.Поспеловым и предоставляющий математический базис для построения интеллектуальных систем качественно нового уровня. Так, на смену формальной системы и ее частичных модификаций приходит семиотическая система, являющаяся фундаментом для создания семиотических моделей, позволяющих адекватно описывать сложные проблемные среды.