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

• Автор: Тарабухина, Надежда Константиновна
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2010
• Место защиты: Новосибирск
• Количество страниц: 123 с. : ил.

Оглавление
Введение.

Глава 1. Бизнеслогика программ.

1.1. Основные понятия и определения.

1.1.1. История бизнесправил в экономике и в программировании

1.1.2. Определения бизнесправила и бизнеслогики.

1.1.3. Сравнение моделей бизнесправил

1.2. Основные подходы к автоматизации работы с бизнесправилами

1.2.1. Использование бизнесправил для проектирования приложения

1.2.2. Извлечение бизнсслогики из кода приложения

1.2.3. Программные средства для проектирования приложений с использованием бизнесправил
1.2.4. Программные средства для извлечения бизнеслогики
Глава 2. Методы извлечения бизнсслогики
2.1. Постановка задачи
2.2. Варианты решений.
2.2.1. Слабая автоматизация.
2.2.2. Сильная автоматизация
Глава 3. Автоматическое создание бизнесправил на основе семантических свойств программ
3.1. Восстановление вычислений
3.1.1. Специальный информационный граф как входные данные метода
3.1.2. Построение и преобразование операторного графа.
3.1.3. Анализ условий.
3.1.4. Создание последовательности бизнесправил
3.1.5. Группировка бизнесправил в бизнеспроцедуры.
3.2. Валидация экранных портов
3.2.1. Построение и анализ операторного графа.
3.2.2. Создание бизнесправил.
3.3. Поиск использований заданной переменной
Глава 4. i средство анализа бизнеслогики старых приложений
4.1. Общее знакомство с инструментом
4.1.1. Представление бизнесправил
4.1.2.ользовательский интерфейс.
4.2. Возможности инструмента i
4.2.1. Жизненный цикл бизнесправил.
4.2.2. Проверки бизнесправил.
4.2.3. Поиск по атрибутам и групповое редактирование
4.2.4. Обнаружение входных и выходных данных и подстановка терминов
предметной области
4.3. Особенности реализации методов автоматического создания бизнес
4.3.1. Интерфейсные решения, или особенности с точки зрения
пользователя
4.3.2. Программные решения
4.4. Применение на реальных приложениях.
4.5. Сравнение с другими программными средствами.
Заключение.
Список литературы


Па сегодняшний день объем существующих бизнес-приложений, нуждающихся в полной замене или дальнейшей модернизации, настолько велик, что актуальность автоматического извлечения бизнес-логики программ не вызывает сомнений. Цель работы заключается в исследовании методов автоматического построения бизнес-правил на основе семантических свойств программ. Разработку метода валидации экранных портов для построения бизнес-правил из всех проверок корректности значений, вводимых пользователем и попадающих в программу через операторы обработки экранных форм - экранные порты. Business Rule Manager. Практическим результатом работы явилось создание средства Business Rule Manager как одной из важнейших подсистем системы Modernization Workbench [1, 3, 4, , ] анализа старых приложений, которая в настоящее время успешно применяется многими компаниями Европы, Азии и Америки для выполнения работ в области реинжиниринга. Описанные в работе методы извлечения бизнес-логики широко используются при анализе и модернизации приложений в области банковской деятельности, страхования, снабжения и управления. VIII Всероссийской конференции молодых ученых по математическому моделированию и информационным технологиям, проходившей в Институте вычислительных технологий СО РАН в году, на рабочем семинаре «Наукоемкое программное обеспессние» в рамках седьмой международной конференция памяти академика А. П. Ершова «Перспективы систем информатики» (Р8Г) в году, а также обсуждались в ряде встреч с российскими и зарубежными специалистами в области реинжиниринга. Автором опубликовано 9 печатных работ, из них по теме диссертации -7 работ. Диссертационная работа состоит из введения, четырех глав, заключения, списка литературы и трех приложений. Объем диссертации - 3 стр. Список литературы содержит наименований. Работа включает 4 таблицы и иллюстраций, в том числе полученных с использованием разработанного программного обеспечения. В первой главе проводится знакомство с бизнес-логикой программ, обсуждаются вопросы стандартизации, представлены различные модели представления бизнес-правил (в частности, предложена модель, ориентированная на работу с компьютерными программами), сформулированы основные подходы в области автоматизации работы с бизнес-правилами, приведен обзор существующих программных средств. Вторая глава содержит постановку задачи и рассмотрение методов извлечения бизнес-логики программ. Существующие методы разделены на два класса: слабую автоматизацию и сильную автоматизацию. Третья глава посвящена предлагаемому автором решению задачи автоматического извлечения бизнес-логики программ. Работа методов демонстрируется на простых примерах. В четвертой главе описано реализованное программное средство Business Rule Manager. В заключении приведены основные результаты работы, вклад автора в проделанную работу и идеи дальнейшего развития проекта. Глава 1. Понятие бизнес-правила возникло в конце -х годов прошлого века. С тех пор было предложено несколько версий определения данного понятия, создавались различные группы и сообщества, предлагались способы задания и хранения бизнес-нравил, разрабатывались стандарты. И хотя бизнес-правила непосредственно связаны с экономикой, повсеместное использование компьютеров привело к тому, что они широко используются в программных средствах, обеспечивающих работу предприятий. Примерами сообществ, непосредственно связанных с бизнес-правилами, служа! Business Rules» группы GUIDE компании IBM, начало которого относится к году. Совместно с коммерческими организациями Business Rules Group принимает активное участие в разработке стандартов для работы с бизнес-правилами. Object Management Group 2 - интернациональная открытая некоммерческая группа разработки стандартов для широкого спектра информационных технологий, возникшая в году. Наиболее известна разработкой стандарта Common Object Request Broker Archecture (CORBA). Принимает активное участие в исследованиях в области бизнес-правил. Более подробная информация доступна на сайте организации www. Более подробная информация доступна на сайте организации www.