Е. В. КРИКОВ, Д. В. КРУТЕНЕВ

Московский инженерно-физический институт (государственный университет)

РЕАЛИЗАЦИЯ ИНТЕГРАЦИОННОГО РЕШЕНИЯ

С ИСПОЛЬЗОВАНИЕМ ПЛАТФОРМЫ ENSEMBLE

На примере реализации проекта поддержки законотворческой деятельности комитета по экономической и инновационной политике Московской областной Думы рассматриваются варианты и этапы построения интеграционного решения с учетом специфики данной проблемной области.

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

Одним из решений, помогающим интегрировать несколько информационных систем, написанных на разных платформах разработки, является интеграционная платформа Ensemble фирмы InterSystems.

Использование интеграционных платформ даёт разработчикам некоторые преимущества. Эти платформы предоставляют однородную среду для обмена информацией между гетерогенными средами, в которых работают разные приложения, и уменьшают затраты на преобразование данных из формата одного приложения в формат другого. Действительно, представим, что нам необходимо объединить между собой N приложений, тогда нам потребуется установить связей между ними. Но если мы будем использовать интеграционную платформу, то число связей уменьшится до N. Выгода очевидна уже в тех ситуациях, когда .

НЕ нашли? Не то? Что вы ищете?

Главное, что требуется от разработчиков - это научиться извлекать необходимую информацию и преобразовывать её из формата, в котором она представлена в информационном приложении, к формату представления данных внутри интеграционной платформы и обратно. Для этой цели и служат интеграционные адаптеры, которые реализуют интерфейсы для связи интеграционной платформы с внешними приложениями.

В рамках работы над интеграционным решением происходит формализация модели предметной области (организационной структуры, описание бизнес-процессов компании). Один из вариантов описания связан с использованием теории графов[1]:

В рамках проблемной области вершины графа будут представлять организационные единицы:

·  отдел – группирующая единица, которая может иметь множество потомков и одного родителя;

·  сотрудник отдела – терминальная вершина графа, которая имеет одного родителя и не имеет потомков.

·  дуги графа буду представлять отношения между организационными единицами:

·  структурная связь – отношение родитель-потомок между вершинами графа.

Между вершинами графа можно ввести следующие отношения и ограничения:

·  – a является родителем для b (отношение верно, когда существует дуга (a, b));

·  – a является предком b. Отношение верно, когда существует набор вершин a1,…, ai, ai+1,…, an таких, что верны отношения;

·  если a - сотрудник отдела, то существует единственная вершина b типа отдел, для которой верно ;

·  если a - сотрудник отдела, то не существует вершин, для которых верно ;

·  для любой вершины b может существовать только одна вершина a типа отдел такая, что верно отношение .

Результатом работы является внедрение интеграционного проекта в комитете по экономической и инновационной политике Московской областной Думы.

Список литературы

1.  Терри Кватрани, Джим Палистрант Визуальное моделирование с помощью IBM Rational Software Architect и UML // КУДИЦ-Пресс, 2007 г. C. 47-49.

Н. Ю. НАЛЮТИН, С. В. СИНИЦЫН

Московский инженерно-физический институт (государственный университет)

ВЫЧИСЛЕНИЕ СОСТОЯНИЙ КОНФИГУРАЦИЙ ОБЪЕКТОВ РАЗРАБОТКИ ПРОГРАММНЫХ СИСТЕМ

В работе представлен подход к вычислению состояний объектов конфигураций, основанный на натуральном выводе.

Жизненный цикл программной системы (ПС) – совокупность итерационных процессов, связанных с последовательным изменением состояния системы от формирования исходных требований к ней до окончания ее эксплуатации. Жизненный цикл включает в себя как процессы разработки, так и поддерживающие процессы, обеспечивающие инфраструктуру для работы остальных процессов.

Важнейший поддерживающий процесс – процесс управления конфигурациями. Он позволяет установить, что в созданной ПС (и ее КСЗ) реализованы все функциональные требования и спецификации. Этот процесс также используется для обеспечения целостности данных проекта по разработке ПС, контроля доступа, аудита модификаций ПС, компоновки базовых версий ПС. Это достигается, в том числе, при помощи управления изменениями и состояниями данных, т. е. планирования и утверждения любых изменений в соответствии со степенью завершенности объектов.

Обязательность применения управления конфигурациями при разработке ПС регламентирована многими отраслевыми и международными стандартами качества, такими как DO-178B [1].

Базовое понятие процесса управления конфигурациями – объект конфигурации (ОК). Объектами конфигурации могут быть любые артефакты проекта – требования, исходные тексты, описания тестовых примеров и т. п. При этом под конфигурацией ОК понимается любая структурированная совокупность объектов разработки программной системы, представленных в виде ОК.

Процесс управления конфигурациями, как правило, состоит из четырех компонент: идентификация объектов конфигурации, управление изменениями, вычисление состояний объектов и аудит конфигураций. Каждый объект конфигурации имеет состояние, которое изменяется в ходе его жизненного цикла. Состояния определяют место объектов в жизненном цикле, правила доступа к ним, используются при трассировке изменений, при создании базовых конфигураций.

Существующие в настоящее время системы управления конфигурациями имеют один существенный недостаток: состояния объектов конфигураций и состояния конфигураций задаются явно путем прямого указания. Это может привести к противоречиям между состояниями различных объектов.

Для устранения этого недостатка предлагается подход к вычислению состояний конфигураций, основанный на натуральном выводе [2].

Конфигурации в данном подходе представляет собой формулы ограниченной булевой алгебры с исключенной операцией отрицания и соответствующими аксиомами.

Новая конфигурация создается из объектов при помощи функции-конструктора . Состояние конфигурации вычисляется при помощи правил вывода на основании функции . Данная функция задает состояния объектов конфигурации. Правила вывода имеют вид

,

где запись означает, что выводимо при условии . Т. е., если функция связывает объект a с его состоянием, например «accepted», то истинно, а ложно для каждого. Таким образом, функция определяет контекст, в котором происходит вычисление состояний конфигураций.

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

Список литературы

1.  RTCA/DO-178B. Software considerations in airborne system and equipment certification, RTCA Inc, 1992.

2.  Натуральный вывод. М.: Лори-пресс, 1997. – 107 с.