Журнал «Информационно-измерительные и управляющие системы», №12,т. 8,2010г., стр. 43-46



Скачать 121.64 Kb.
Дата21.12.2012
Размер121.64 Kb.
ТипДокументы


© Авторы , 2010

При цитировании указанных материалов обязательна полная ссылка на первоисточник публикации:

Журнал «Информационно-измерительные и управляющие системы», №12,т.8,2010г., стр. 43-46 и электронный адрес страницы, на которой размещена публикация.
УДК 002.641

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

Formal model of interoperability in federated medical information systems

А.П. Столбов, П.П. Кузнецов

A.P. Stolbov, P.P. Kuznetsov


Аннотация:

Рассмотрена модель транзитивной интероперабельности в федеративных информационных системах (ИС), на основе которой могут быть определены формальные критерии и требования к стандартам и процедурам взаимодействия, используемые при проектировании и эксплуатации ИС.

Abstract:

The model of transitive interoperability in federated information systems (IS) is considered. Formal criteria and requirements to standards and procedures of interactions used at designing and operation IS can be defined.

Ключевые слова: федеративные информационные системы, интероперабельность.

Keywords: federated information systems, interoperability.

Обеспечение интероперабельности является одной из наиболее актуальных проблем при создании территориально-распределенных федеративных информационных систем (ИС) [1], образованных из локально автономных ИС входящих в них субъектов. Примером федеративной ИС является единая информационная система (ЕИС) здравоохранения [2, 3], принципиальными особенностями которой являются:

– отсутствие единого "вертикального" управления и административная независимость субъектов системы здравоохранения – учреждений и организаций различной ведомственной принадлежности и форм собственности – медицинских учреждений, информационно-аналитических центров, фондов обязательного медицинского страхования (ОМС), страховых компаний и др.;

– существенное различие целей, задач, функций и критериев оценки деятельности субъектов системы, в силу чего развитие решаемых прикладных задач и развитие их ИС, и баз данных объективно происходит, и будет происходить различным образом;

– независимость реализации и модернизации их ИС, их гетерогенность, и обусловленные этим проблемы информационной совместимости.

Процесс проектирования и создания федеративных ИС, по сути, заключается в разработке "платформонезависимых" стандартов и функциональных профилей, обеспечивающих взаимодействие, интероперабельность локальных ИС субъектов, как существующих, так и вновь разрабатываемых, и их объединение (связывание, стыковку) в единую информационную систему. Представляется целесообразным рассмотреть основные условия и модели интероперабельности ИС в федеративных системах, используя методы математической семантики [4, 5, 6].


Пусть JS – множество субъектов системы. Будем говорить, что между субъектами i и j из JS имеет место отношение i X j интероперабельности X, если они могут обмениваться данными X при условии их идентичной содержательной интерпретации (заметим, что обмен данными между субъектами может рассматриваться также и как обмен соответствующими сервисами).

Это определение, по сути, выражает требование, чтобы источники и потребители данных X  при решении некоторой задачи были непосредственно или через субъектов-посредников из JS, связны по данным X. Иным словами, субъекты могут быть интероперабельны непосредственно или транзитивно.

Определение 1. Субъекты i и j транзитивно интероперабельны, если

(a) i,j,kJSi X k  k X j  i X j;

(b) (i j)  (kJS: (i X k  k X j))  i X j

где  – бинарное отношение непосредственной связности ("смежности") субъектов – возможности непосредственного обмена данными между ними; выражение (a) соответствует свойству транзитивности отношения X, (b) – условию транзитивного замыкания по X на множестве JS.

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

i0  i1  i2

Здесь дуги показывают направление передачи данных, а вершины – это следующие субъекты: i0 – источник данных X; i2 – потребитель данных; i1 – посредник, передающий данные X, непосредственно взаимодействующий с i0 и i2, то есть i i1 и i i2.

Для описания условий интероперабельности между i0 и i2 в модели M определим следующие бинарные отношения связности по данным X между субъектами:

SX – отношение семантической идентичности (совместимости) данных, которая обеспечивается единой для субъектов системой понятий и терминов (онтологической системой), соответствующих передаваемым данным X; формальное определение бинарного отношения SX между субъектами i и j представим в виде следующего выражения:

i SX  j  Int.i(X) = Int.j(X);

здесь и далее Int.i(X) – полиморфный оператор содержательной интерпретации данных X субъектом i;

IDX – отношение идентификационной (ID) совместимости, при котором обеспечивается возможность установления взаимно однозначного соответствия между одними и теми же объектами (конкретными экземплярами), представляемыми данными X в ИС субъектов i и j;

FX – отношение синтаксической совместимости данных X, реализуемое на основе идентичности форматов и систем кодирования при передаче данных от одного субъекта другому;

TX – отношение технической совместимости и связности субъектов – возможности передачи данных X от одного субъекта другому по каналам связи или на перемещаемых в пространстве физических носителях;

LX – отношение институциальной связности, соответствующее наличию правовых оснований и организационных процедур передачи и получения данных X субъектами; состав передаваемых данных строго регламентируется нормативными документами, что обычно обусловлено требованиями конфиденциальности информации.

Отношение семантической идентичности SX транзитивно и симметрично, и реализуется на основе единой для всех субъектов семантической модели данных X. Отношения FX и TX в общем случае не обязательно должны быть транзитивны и симметричны; достаточно, чтобы выполнялось условие попарной совместимости между смежными, непосредственно взаимодействующими субъектами. Отношение ID-совместимости IDX также в общем случае не обязательно должно быть транзитивным, достаточно обеспечить попарную совместимость между смежными субъектами, при этом IDX симметрично. Институциальная связность LX между i0 и i2 должна быть транзитивной, то есть должно быть обеспечено транзитивное замыкание между i0 и i2 по отношению LX путем принятия нормативных документов, регламентирующих информационный обмен между субъектами в необходимом объеме; симметричность L в общем случае не обязательна.

Иными словами, будем рассматривать пять условий связности субъектов по данным – их интероперабельности, – и представлять их как

X =  SXIDXFXTXLX .

Далее для краткости записи будем опускать нижние индексы "X" в обозначениях отношений X. Тогда условия осуществимости передачи данных X между i0 и i2 и их интероперабельности для модели M можно сформулировать в виде следующей теоремы:

Утверждение 1. Необходимыми и достаточными условиями транзитивной интероперабельности по данным X между i0 и i2, такими что (i i2), i i1 и i i2, являются:

(a)  i i2  (i i1  i i2);

(b) i i1  (iS01 i1  iID01 i1  iF01 i1  iT01 i1  iL01 i1);

(c)  i i2  (iS12 i2  iID12 i2  iF12 i2  iT12 i2  iL12 i2);

(d)  ((iS01 i1  iS12 i2)  iS02 i2)  Int.i0(X) = Int.i1(X) = Int.i2(X);

(e)  [iL01 i1]X  [iL12 i2]X  X;

где нижние индексы при "" используются для того, чтобы подчеркнуть возможные различия в реализации "одноименных" бинарных отношений в разных парах субъектов; X – состав данных, получаемых потребителем i2; полиморфные операторы [iL01 i1]и [iL12 i1]X определяют институциально установленный состав передаваемых (получаемых) данных, предусмотренный в отношении L.

Доказательство. Условие (a) следует из роли, которую в модели M выполняет i1, а именно – роль посредника (шлюза) при передаче данных X между i0 и i2 и соответствует транзитивному замыканию по бинарному отношению связности , определенному на множестве субъектов {i0i1i2} (определение 1). Условия (b) и (c) следуют из определения отношения связности как =S, ID, F, T, L, то есть верны по определению. Отношения ID, F и T здесь выражают требование попарной совместимости между непосредственно взаимодействующими (смежными) субъектами. Транзитивность S01 = S12 = S02 = S отношения S (условие d) следует из требования взаимной согласованности и симметричности интерпретации сообщений (данных) между субъектами (идентичность понятий). Условие (e) следует из определения отношения L и требования передачи сведений в установленном (разрешенном, допустимом) объеме. Таким образом, выражения (d) и (e) соответствуют необходимым, а выражения (a), (b) и (c) – достаточным условиям интероперабельности между i0 и i2. Что и требовалось доказать.

Обобщим полученные результаты для случая транзитивной интероперабельности на всем множестве субъектов JS.

Утверждение 2. Необходимым и достаточным условием транзитивной интероперабельности i0 и iK из JS является существование между ними упорядоченного подмножества I  JS попарно -связных субъектов, то есть

i iK  I  JS: (i0,iKI  ik–1,iIik–1  i, k[1, K]:

(ik–1 Sk–1,k ik  ik–1 IDk–1,k ik  ik–1 Fk–1,k ik  ik–1 Tk–1,k ik  ik–1 Lk–1,k ik  (Int.ik(X)=Int.ik–1(X)=Int.i0(X)=Int.iK(X)));

где условия попарной L-связности по данным X должны быть такими, что

ik–1 Lk–1,k ik  ([ik–1 Lk–1,k ik]X  [iLk,k+1 ik+1]X  X  [iK–1 LK–1,K iK]X  X);

здесь индексы при "" используются так же, как в утверждении (1).

Доказательство. Утверждение является обобщением утверждения (1) путем применения математической индукции и следует из определения интероперабельности i0 и iK, как транзитивного замыкания между ними по бинарному отношению связности  по данным (определение 1). Необходимость единой семантической модели данных (выражение Int.ik(X) = ... = Int.iK(X)) следует из транзитивности отношения S (условие (d) в утверждении 1). Условия попарной институциальной связности получаются по индукции из условия (e) в утверждении (1). Утверждение доказано.

Для определения области интероперабельности субъектов в федеративной ИС – множества потенциально взаимодействующих субъектов – по представленным выше критериям может использоваться известный алгоритм Уоршалла вычисления транзитивного замыкания [7].

Приведем еще одно утверждение, связанное с реализацией интероперабельности между субъектами в информационной системе.

Утверждение 3. Необходимым условием синтаксической совместимости при обмене данными между субъектами является семантическая идентичность данных X; обратное не верно:

i, jJSi F j  i S j.

Доказательство следует из определения отношения S и его транзитивности (см. определение 1), поскольку синтаксическая совместимость F предполагает также обязательную семантическую идентичность S кодируемых данных X. С другой стороны, семантически идентичные информационные объекты могут представляться синтаксически различными кодами (способами).

Условия, заданные в утверждении (2), определяют один из критериев выбора источников для получения необходимых исходных данных, а именно – условия интероперабельности источника i0 и субъекта-потребителя iK данных.

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

1. Допустимость попарной F- и T-совместимости между транзитивно взаимодействующими субъектами для обеспечения их интероперабельности позволяет осуществлять поэтапную унификацию форматов (синтаксиса) и технических интерфейсов между локальными ИС, входящими в состав федеративной системы.

2. Транзитивность отношений S и L обеспечивает возможность осуществления поэтапного изменения и(или) унификации состава данных в потоках, начиная с верхних уровней иерархии системы сбора и обработки данных вниз, что, в свою очередь, позволяет также поэтапно "от общего к частному" осуществлять унификацию и переход на единые семантические модели данных, на основе которых обеспечивается S-связность.

3. Это в свою очередь, позволяет:

а) эффективно использовать информационные ресурсы, накопленные в "унаследованных" базах данных в старых, не унифицированных форматах;

б) включать в состав единой федеративной системы локальные ИС субъектов, не имеющих достаточных ресурсов для быстрого перехода на единые стандарты представления данных – за счет маппирования (конверсии) сообщений в центрах обработки данных тех субъектов, которые обеспечены необходимыми ресурсами; (в ЕИС здравоохранения около 50 тысяч субъектов; в такой системе нельзя перейти на единые стандарты одномоментно, "всем вдруг");

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

Описанный выше подход имеет достаточно общий характер и может применяться в различных предметных областях. Примером практической реализации представленной модели транзитивной интероперабельности является единая система сбора и обработки данных, необходимых для взаиморасчетов за медицинскую помощь между территориальными фондами ОМС, оказанную гражданам за пределами территории страхования [2].
ЛИТЕРАТУРА

1. March J.G., Simon H.A. Organizations. – New York: Willey and Sons, 1985.

2. Столбов А.П., Тронин Ю.Н. Информатизация системы обязательного медицинского страхования: Учебно-справочное пособие. – М.: "Издательство ЭЛИТ", 2003. – 558 с.

3. Столбов А.П., Кузнецов П.П., Какорина Е.П. Информационное обеспечение организации высокотехнологичной медицинской помощи населению / Под общ. ред. д-ра мед. наук, акад. РАМН В.И. Стародубова. – М.: МЦФЭР, 2007. – 224 с.

4. Брой М. Информатика. Основополагающее введение: В 4-х ч. Ч. 1 / Пер. с нем. – М.: Диалог-МИФИ, 1996. – 299 с.

5. Деметрович Я., Кнут Е., Радо П. Автоматизированные методы спецификации / Пер. с англ. – М.: Мир, 1989. – 115 с.

6. Лавров С.С. Программирование. Математические основы, средства, теория. – СПб.: БХВ-Петербург, 2001. – 320 с.:ил.

7. Новиков Ф.А. Дискретная математика для программистов. – СПб.: Питер, 2001. – 304 с.

Formal model of interoperability in federated medical information systems
A.P. Stolbov, P.P. Kuznetsov
The Center for Information and Analysis of the Russian Academy of Medical Sciences, Moscow, Russia
One of most important IT-directions is considered – the interoperability providing. The mean aspects connected with this notion are discussed. It is shown, in what the reason of occurrence of an interoperability problem, what its structure and what ways of its decision can be. The model of transitive interoperability in federated medical information systems (IS) is considered. Formal criteria and requirements to standards and procedures of interactions used at designing and operation IS can be defined.

Keywords: federated information systems, interoperability.

Сведения об авторах
Столбов Андрей Павлович, доктор технических наук, Медицинский информационно-аналитический центр РАМН, 109004, г. Москва, ул. Александра Солженицына, дом 28, телефон +7(495)724-70-46, e-mail: ap100lbov@mail.ru

Stolbov Andrey Pavlovich, PhD, The Center for Information and Analysis of the Russian Academy of Medical Sciences, 28, Alexandra Solzhenitsina str., 109004, Moscow, Russia, phone +7(495)724-70-46, e-mail: ap100lbov@mail.ru

Кузнецов Пётр Павлович, доктор медицинских наук, профессор, Медицинский информационно-аналитический центр РАМН, 109004, г. Москва, ул. Александра Солженицына, дом 28, телефон +7(495)786-88-43, факс: +7(495) 786-88-47, e-mail: ppkuznetsov@mcramn.ru

Kuznetsov Petr Pavlovich, PhD, MD, professor, The Center for Information and Analysis of the Russian Academy of Medical Sciences, 28, Alexandra Solzhenitsina str., 109004, Moscow, Russia, phone +7(495)786-88-43, fax +7(495) 786-88-47, e-mail: ppkuznetsov@mcramn.ru


Похожие:

Журнал «Информационно-измерительные и управляющие системы», №12,т. 8,2010г., стр. 43-46 iconАвтореферат специальность: 05. 11. 16 «Информационно-измерительные и управляющие системы (в машиностроении)»
Исследование и разработка информационно-измерительной системы радиотелескопа миллиметрового диапазона рт-70
Журнал «Информационно-измерительные и управляющие системы», №12,т. 8,2010г., стр. 43-46 iconРазработка методов повышения точности информационно-измерительных систем параметров амплитудно-фазочастоных характеристик 05. 11. 16 Информационно-измерительные и управляющие системы (промышленность)

Журнал «Информационно-измерительные и управляющие системы», №12,т. 8,2010г., стр. 43-46 iconУчебно-методический комплекс образовательной профессиональной программы (опп)
Корабельные автоматизированные комплексы и информационно-управляющие системы» по дисциплине «Информационно-управляющие комплексы...
Журнал «Информационно-измерительные и управляющие системы», №12,т. 8,2010г., стр. 43-46 iconАннотации учебных дисциплин Наименование магистерской программы Информационно-измерительные системы

Журнал «Информационно-измерительные и управляющие системы», №12,т. 8,2010г., стр. 43-46 iconИзмерительные преобразователи
Ни одна система управления не может работать без информации о состоянии объекта управления и его реакции на управляющие воздействия....
Журнал «Информационно-измерительные и управляющие системы», №12,т. 8,2010г., стр. 43-46 iconКафедра автоматики и телемеханики
...
Журнал «Информационно-измерительные и управляющие системы», №12,т. 8,2010г., стр. 43-46 iconРуководство пользователя стр. Содержание 1 Модуль «Системный журнал» 2
Модуль «Системный журнал» в составе по системы S. Builder предназначен для фиксирования событий, происходящих в Системе, и записи...
Журнал «Информационно-измерительные и управляющие системы», №12,т. 8,2010г., стр. 43-46 iconЖурнал «Открытые системы» (издается с 1993 года)
Журнал «Открытые системы» — старейший отечественный журнал о построении сложных информационных систем. Современные компьютерные платформы,...
Журнал «Информационно-измерительные и управляющие системы», №12,т. 8,2010г., стр. 43-46 iconВсероссийская молодежная конференция «Информационно-телекоммуникационные системы и технологии»
Распределенные информационно-вычислительные системы и высокопроизводительные вычисления
Журнал «Информационно-измерительные и управляющие системы», №12,т. 8,2010г., стр. 43-46 iconПротокол №4 от 25. 05 2010г г. Балахна 2010г. Содержание стр. Раздел
Охватывает детей от 2 до 7 лет. Основное образование в мдоу структурировано на основе общеобразовательной программы «Радуга» (Т....
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org