Специализированные модели для проектирования, разработки и реализации информационных систем

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

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
Цель работы

Методы исследования

Научная новизна

Практическая ценность результатов

На защиту выносятся

Связанные работы

Выводы

1. МОДЕЛИ ПРОГРАММНЫХ СИСТЕМ

1.1. Введение
1.2. Способы представления моделей
1.2.1. Неформальное моделирование
1.2.2. Полуформальное моделирование
Функциональные методы (картезианские методы)
Систематические методы
Объектно-ориентированные Методы
1.2.3. Формальное моделирование
1.2.4. Выводы
1.3. Различные подходы к интеграции полуформальных и формальных
способов
1.3.1. Графическая визуализация существующих языков формальной спецификации
1.3.2. Создание новых методов
1.3.3. Преобразование полуформальной спецификации в формальную
1.3.4. Выбор подхода
1.4. Заключение

2. ПРИНЦИПЫ РАЗРАБОТКИ
2.1. Предлагаемый метод
2.2. Основные понятия теории CSP-OZ
2.2.1. Определение С8Р
2.2.2. Определение языка Ъ
2.2.3. Определение языка Объект
2.2.4. СЭР-Ог
2.3. Основные понятия 11МЬ
2.3.1. Определение 11МЬ
2.3.2. Описание диаграмм иМЬ
2.3.2.1. Статический аспект (Диаграмма классов)
2.3.2.2. Динамичный аспект (диаграммы состояний и сотрудничества)
3. перевод из имь В СвР-Ог
3.1. Статический аспект
3.1.1. Классы
3.1.2. Отношения
3.1.3. Подробная форма схемы класса и отношения в Z
3.1.4. Общая схема состояния
3.1.5. Схема инициализации состояния
3.1.6. Схемы базовых операций
3.1.7. Схема класса базы данных в Объект-г
3.2. Динамический аспект
3.2.1. Правила перевода
3.3. Соединение статического и динамического аспектов
3.4 Перевод в 8<ЗЬ
3.5. Итог
4. ПРИМЕР ИСПОЛЬЗОВАНИЯ РЕЗУЛЬТАТОВ
4.1. Определения типов
4.2. Описание схем типов
4.3. Описание схем таблиц
4.4. Схема состояния
4.5. Схема инициализации состояния
4.6. Схемы операции
4.7. Схемы дополнительных операции
4.8. Схема класса базы данных в Объект-г
4.9. Схема класса базы данных в С8Р-Ог
4.10. Создание кода 8<ЗЬ
5. РЕАЛИЗАЦИЯ
5.1 Построение диаграммы классов ІІМЬ
5.2. Статический аспект
5.3. Динамический аспект
5.4 Перевод в вЦЬ
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ
Принципы разработки

как множество взаимодействующих объектов, каждый из которых задается описанием структуры и поведения. Взаимодействие между объектами выполняется через каналы аналогично взаимодействию процессов в теории CSP. Класс CSP-OZ имеет следующую структуру:
—название класса
Chan название_канала... [Описание каналов]
main = ... [CSP часть]
Определения типов и констант [OZ часть]
Схема состояния и его инициализации состояния Схемы операции
Рис.2.6. Основная структура класса в CSP-OZ.
Описание каналов определяет интерфейс класса. Описание задается в виде Channel с: [pptyp ...; pn:tyn], где с - название канала, plt
CSP-часть представляется в виде уравнений CSP-название = CSP-процесс, где CSP-процесс определяется на основе синтаксиса CSP. Каналы каждого процесса в CSP-части должны принадлежать множеству каналов, объявленных в интерфейсе. В CSP-части должен быть определен процесс main (стартовый процесс, с которого начинается работа). Этот процесс используется для определения семантики CSP-части.
В Z-часть включаются определения типов и констант, схема состояния и схема инициализации состояния (то же самое, как в Объект-Z). Схемы и имена переменных, используемые в Z-части, должны быть связаны с названиями, которые используются в CSP-части.
Чтобы связать схемы операций Z с поведением, используются специальные ключевые слова enable и effect. Для каждого канала с, объявленного в интерфейсе, должна обязательно присутствовать схема effect с, а так же может быть и схема enable_c, где enable