Денотационные модели процессов коллективного решения информационных задач в социотехнических системах тема диссертации и автореферата по ВАК РФ 05.13.17, доктор технических наук Столбов, Андрей Павлович

• Столбов, Андрей Павлович
• доктор технических наук
• 2004

Оглавление диссертации доктор технических наук Столбов, Андрей Павлович

• Введение.

Глава 1. Анализ моделей и методов представления информационных процессов.

1.1. Определение базовых понятий предметной области исследования.

1.2. Исследование особенностей информационных процессов в социотехнических системах.

1.3. Анализ подходов к формализации и моделированию информационных процессов.

1.4. Исследование и разработка модели интероперабельности.

1.5. Выводы по главе 1.

Глава 2. Исследование и разработка денотационных моделей информационных задач. 58 •

2.1. Определение понятия информационной формально-эргатической технологии.

2.2. Разработка операционно-алгоритмической классификации задач. 71 ^

• 2.3. Исследование и разработка обобщенной модели информационной системы.

2.4. Разработка ситуативной модели задачи.

2.5. Выводы по главе 2.

Глава 3. Построение модели пользователя информационной системы.

3.1. Анализ принципов построения модели активного, социально детерминированного, эргатического субъекта. ф 3.2. Разработка функционально-ситуационной модели пользователя.

3.3. Исследование и разработка модели информационного поведения пользователя.

3.4. Разработка моделей активности пользователя.

3.5. Выводы по главе 3.

Глава 4. Разработка моделей процессов коллективного решения информационных задач.

4.1. Анализ особенностей решения субъектно распределенных задач.

4.2. Разработка методов идентификации задач.

4.3. Исследование критериев D-выполнимости задачи.

4.4. Описание моделей процессов коллективного решения задач.

4.5. Выводы по главе 4.

Глава 5. Анализ и разработка моделей стандартизации информационных технологий.

5.1. Анализ подходов к формализации технических норм и требований.

5.2. Исследование принципов применения стандартов при проектировании информационных систем.

5.3. Разработка денотационных моделей стандартов и объектов стандартизации.

5.4. Разработка и исследование модели развития информационной системы.

5.5. Выводы по главе 5.

Введение диссертации (часть автореферата) на тему «Денотационные модели процессов коллективного решения информационных задач в социотехнических системах»

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

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

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

- активность пользователей - способность и возможность выбора ими целей, действий и информационного поведения, а также недостаточная упорядоченность и регламентация отношений между ними в процессе совместного выполнения задач;

- социально детерминированные факторы: возможный конфликт целей и интересов различных субъектов; конкуренция за системные ресурсы; отсутствие мотивации; необходимость нахождения компромиссов в коллизии "потребности - возможности" и т.п.

Как показывают многочисленные исследования [40, 51, 82, 108, 161, 162, 240, 269], перечисленные факторы существенно влияют на результативность информационной деятельности, требования к стандартам и процедурам взаимодействия между субъектами, организацию, методы и технологию коллективного решения задач.

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

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

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

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

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

В-третьих, информация, необходимая как для решения задач, так и для проектирования и организации функционирования ИС, во многих случаях, тематически разнородна, недостаточно структурирована, рассредоточена по множеству источников, трудно сопоставима семантически, представлена в различных форматах, недостоверна и противоречива. Кроме того, часто доступ к информации сопряжен с правовыми, организационными и экономическими ограничениями.

Следствием указанных факторов является высокая сложность и трудоемкость построения адекватных, инженерных моделей, используемых при проектировании ИС, учитывающих активность и социальную детерминированность поведения пользователей. Несмотря на значительное количество исследований по данной тематике, проблема построения указанных моделей до настоящего времени не вышла из стадии осмысливания и постановки задачи. Как отмечают многие ведущие специалисты [26, 41, 65, 135, 204, 240, 266], главная принципиальная трудность здесь заключается в необходимости исследования и проектирования информационных процессов одновременно на двух разных уровнях: а) уровне взаимодействия между активными субъектами, поведение которых детерминируется множеством различных факторов, и б) технологическом уровне обработки информации - уровне выполнения субъектами определенных операций над информационными объектами в процессе совместного выполнения задачи.

Необходимым условием организации и осуществления коллективной информационной деятельности и одним из наиболее существенных факторов ее эффективности является стандартизация. При этом, в условиях децентрализации управления в здравоохранении и ОМС, процесс проектирования и создания единой информационной системы (ЕИС) отрасли по сути заключается в разработке стандартов, необходимых для обеспечения интероперабельности и интеграции независимо создаваемых и развивающихся подсистем субъектов в единую, функционально целостную, распределенную систему. Это принципиальное и ключевое в контексте данной работы утверждение является следствием тезиса Дж. фон Неймана о том, что, начиная с некоторого уровня сложности, систему легче изготовить и ввести в действие, чем описать ее поведение. Поэтому, практически единственной альтернативой является эволюционное проектирование и создание ЕИС на основе комплементарной совокупности стандартов, обеспечивающих ее целенаправленное "выращивание", развитие и функционирование.

Стандартизация информационных процессов в социотехнических системах связана с разработкой эталонных моделей объектов и субъектов информационных процессов, унификацией процедур, определяющих порядок и правила взаимодействия между субъектами, принципиальным свойством которых является их активность. Вместе с тем, исследованию этих аспектов стандартизации в области ИТ до последнего времени уделялось недостаточное внимание. Стандартизация в ряде случаев осуществляется бессистемно и фрагментарно, следствием чего является, в частности, несогласованность разработанных стандартов и обусловленная этим их невостребованность практикой [25, 73,76].

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

Объектом исследования в диссертационной работе являются процессы анализа, проектирования и эксплуатации информационных систем в здравоохранении и медицинском страховании.

Предметом исследования являются модели процессов коллективного решения информационных задач в здравоохранении и медицинском страховании, рассматриваемых как социотехническая система.

Цель исследования - разработка моделей процессов коллективного решения информационных задач, предназначенных для использования при анализе, проектировании и эксплуатации информационных систем в здравоохранении и медицинском страховании Российской Федерации.

Исходя из поставленной цели, в диссертации определены следующие основные направления исследования:

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

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

3. Разработка модели поведения активного, социально детерминированного пользователя в процессе коллективного решения информационных задач.

4. Разработка моделей процессов коллективного решения информационных задач в федеративно-холонических системах.

5. Анализ и разработка моделей стандартов и принципов их применения при проектировании информационных систем в здравоохранении и медицинском страховании.

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

Теоретической основой и информационными источниками исследования послужили работы отечественных и зарубежных ученых по информатике, кибернетике, исследованию операций, теории систем, формальной технологии, теории активных систем, искусственному интеллекту, мультиагент-ным системам, среди которых: Поспелов Г.А., Пушкин В.Н., Ларичев О.И., Никаноров С.П., Попов Э.В., Поспелов Д.А., Стефанюк В.Л., Гаврилова Т.А., Городецкий В.И., Еремеев А.П., Емельянов В.В., Бурков В.Н., Новиков Д.А.,

Виттих В.А., Скобелев П.О., Калиниченко JI.A., Кузнецов О.П., Осипов Г.С., Пупков К.А., Коньков В.Г., Нечаев В.В., Фоминых И.Б., Шемакин Ю.И., Тарасов В.Б., Заде JL, Минский М., Саймон Г., Руссель С., Брукс Ф., Давенпорт Т., Шоэм И., Вернер Е. и др.; результаты изучения отечественного и зарубежного опыта стандартизации ИТ, информатизации здравоохранения и медицинского страхования; публикации научной периодики, материалы конференций и семинаров, а также материалы, размещенные в сети Интернет.

Диссертационная работа выполнена в рамках пунктов II. 1, II.2 и II.8 паспорта специальности 05.13.17 "Теоретические основы информатики".

Основные положения диссертации, выносимые на защиту:

1. Дескриптивная модель открытой, федеративно-холонической информационной системы с метауправлением.

2. Новый понятийный базис для исследования и проектирования процессов коллективного решения информационных задач в федеративно-холони-ческих системах.

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

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

5. Модель поведения активного, социально детерминированного пользователя, являющаяся основой методов моделирования и проектирования процессов коллективного решения информационных задач в федеративно-холонических системах.

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

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

Апробация результатов исследования. Основные материалы и научные результаты диссертационной работы, в части их применения к информатизации здравоохранения и медицинского страхования Российской Федерации, в период с 1998 по 2004 год докладывались и обсуждались на более чем двадцати научных международных, российских и межрегиональных форумах, конференциях и семинарах, в том числе: Всероссийской конференции "Основные направления развития информатизации здравоохранения и системы ОМС на 1999-2002 годы" (Воронеж, 1999 г.); Международном симпозиуме "Информационные технологии и базы данных в медицине. Мониторинг здоровья населения и окружающей среды - 99" (Египет, Хургада, 1999 г.); VI и VII Международных форумах "Информационные технологии и интеллектуальное обеспечение в здравоохранении и охране окружающей среды" (Турция, Анталья, 1999 и 2000 гг.); Всероссийской конференции "Проблемы разработки и внедрения информационных систем в здравоохранении и обязательном медицинском страховании" (Красноярск, Институт вычислительного моделирования СО РАН, 2000 г.); I, II, III, IV и V Всероссийских научно-практических конференциях "Проблемы стандартизации в здравоохранении" (Москва, 1999-2003 гг.); IX Международном симпозиуме "Мониторинг здоровья и окружающей среды. Информационные технологии и базы данных" (Греция, Крит, 2001 г.); Международном форуме "Информатизация процессов охраны здоровья населения - 2001" (Турция, Анталья, 2001 г.); Всероссийской научно-практической конференции "Медицинские информационные технологии" (Москва, Всероссийский выставочный центр, 2001 г.); семинарах межведомственной проблемной комиссии Минздрава России, РАН и РАМН "Медицинская кибернетика и информатика" (Москва, 2000-2004 годы); Международном симпозиуме "Информационные технологии в медицине, санитарии и экологии" (Египет, Шарм-Эль-Шейх, февраль 2002 г.); Международном форуме "Интеллектуальное обеспечение охраны здоровья населения-2002" (Турция, Кемер, октябрь 2002 г.); Всероссийской конференции "Информационно-аналитические системы и технологии в здравоохранении и обязательном медицинском страховании" (Красноярск, Институт вычислительного моделирования СО РАН, сентябрь 2002 г.); Международном форуме "Информационные технологии и общество -2003" (Турция, Кемер, октябрь 2003 г); Международном симпозиуме "Информационные технологии в медицине и здравоохранении - 2004" (Чехия, Карловы Вары, май 2004 г.); ежегодной Всероссийской научно-практической конференции "Информационные технологии в медицине" (Москва, ВВЦ, 2002, 2003 и 2004 годы).

Материалы диссертационного исследования были внедрены и использованы при разработке:

- нормативно-технических документов системы стандартизации в здравоохранении Российской Федерации: СТО МОСЗ 91500.16.0002-2004. "Информационные системы в здравоохранении. Общие требования" и СТО МОСЗ 91500.16.0003-2004. "Информационные системы в здравоохранении. Общие требования к форматам обмена данными";

- проектов рекомендаций по стандартизации в здравоохранении: "Информационные технологии в здравоохранении. Рекомендации по применению методов функциональной стандартизации при создании информационных систем"; "Информационные технологии в здравоохранении. Методические рекомендации по разработке, построению и оформлению профилей информационных систем"; "Методические рекомендации по документированию программного обеспечения информационных систем в здравоохранении";

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

- разработанного на их основе типового, тиражируемого программного обеспечения для информационных систем Федерального и ряда территориальных фондов ОМС (Белгородский, Брянский, Ивановский, Новгородский, Калужский, Московские областной и городской, Орловский, Рязанский, Владимирский, Мордовский республиканский), а также для более чем ста шестидесяти лечебно-профилактических учреждений (Орловская областная клиническая больница, поликлиники и больницы в г. Москве и Московской области); аттестационных •■ тестов испытательной лаборатории РОСС 1Ш.03ЯН.21СП01, аккредитованной в системе добровольной сертификации программных средств, применяемых в ОМС (регистрационный номер Госстандарта России РОСС RU.0001.03ЯН00);

- инструментально-технологических комплексов разработки программного обеспечения в ООО "Электронные офисные системы (проектирование и внедрение)" и ЗАО "Авикомп Сервисез", сертифицированного по стандарту ИСО 9001:2000;

- Основных направлений информатизации охраны здоровья населения Российской Федерации на 1999-2002 годы (приказ Минздрава России № 279 от 14.07.1999 года);

- Концепции информатизации системы обязательного медицинского страхования в Российской Федерации на 2000-2005 годы (утверждена правлением Федерального фонда обязательного медицинского страхования 26.04.2000 г.);

- Концепции развития телемедицинских технологий в Российской Федерации и Плана ее реализации (приказ Минздрава России и РАМН от 27.08.2001 г. №344/76);

- Перечня работ по комплексной стандартизации в системе обязательного медицинского страхования на 2001-2004 годы (утвержден директором Федерального фонда обязательного медицинского страхования 20.12.2001 г.).

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

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

Структура диссертации. Диссертация состоит из введения, пяти глав, заключения, перечня использованной литературы и приложения.

Заключение диссертации по теме «Теоретические основы информатики», Столбов, Андрей Павлович

5.5. Выводы по главе 5

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

2. Анализ состава и особенностей различных нормативных требований.' приводит к выводу, что модель стандартов должна учитывать различия деонтического статуса нормируемых требований. Построенная на основе деонтической логики модель стандартов позволяет определить формальные критерии перспективности и морального старения технических норм и требований. Данные критерии применяются при построении соответствующих лингвистических шкал и проведении нормативно-технической экспертизы как проектов создаваемых ИС, так и проектов нормативных документов по стандартизации.

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

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

5. Ключевыми требованиями к характеру изменений стандартов, выявленными при построении эволюционных моделей развития информационных систем как объектов стандартизации и соответствующих стандартов, являются инкрементность и толерантность, которые обеспечивают: а) коэволюцию стандартов с объектами стандартизации; б) требуемое разнообразие, необходимое для их дальнейшего развития; в) реализацию принципа конвергентности независимо создаваемых и развивающихся систем; г) решение проблемы "унаследованных" систем; д) защиты инвестиций в создание информационных систем и стандартов информационных технологий в здравоохранении и медицинском страховании.

171

ЗАКЛЮЧЕНИЕ

В диссертационной работе получены следующие основные научные результаты:

1. Определен новый класс моделей информационных систем - открытых, федеративно-холонических систем с метауправлением.

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

3. Определен новый понятийный базис для исследования и проектирования процессов коллективного решения информационных задач в условиях возможной коллизии целей пользователей ИС.

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

5. Построена модель поведения активного, социально детерминированного пользователя ИС, применяемая при исследовании, проектировании и организации процессов коллективного решения информационных задач в социо-технических системах.

6. Разработана формальная модель информационной системы, учитывающая установленные права и обязанности, и информационное поведение пользователей - в процессе коллективного решения задач, применяемая при анализе, проектировании и эксплуатации ИС в здравоохранении и медицинском страховании. ф 7. Разработаны методы идентификации и рациональной организации процессов коллективного решения информационных задач, в том числе слаб'-структурированных, позволяющие определить состав и рабочие задания соисполнителей задачи, с учетом возможной коллизии их целей.

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

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

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

1. В результате исследования особенностей взаимодействия между пользователями ИС в процессе решения информационных задач в здравоохранении ф и обязательном медицинском страховании, сделан вывод, что адекватной моделью информационной системы, на основе которой должны осуществляться ее анализ и проектирование, является модель открытой, федеративно-холони-ческой системы с метауправлением.

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

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

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

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

5. Определено понятие и разработана модель транзитивной интеропера-белыюсти пользователей в информационных системах. Сформулированы и доказаны утверждения о необходимых и достаточных условиях интеропера-бельности, и определены критерии интероперабельности, которые целесообразно применять при анализе и проектировании ИС. Показано, что модель транзитивной интероперабельности позволяет планировать поэтапный переход "унаследованных" и независимо развивающихся подсистем на единые стандарты информационного взаимодействия.

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

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

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

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

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

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

12. Для эффективного использования перечисленных выше моделей и методов при проектировании и эксплуатации информационных систем в здравоохранении и медицинском страховании предложено принять их в качестве комплекса эталонных, стандартизованных моделей. Исходя из этого, построена модель информационной системы как объекта стандартизации, учитывающая различия деонтического статуса нормируемых требований, определены формальные критерии перспективности и морального старения требований стандартов, используемые при проведении нормативно-технической экспертизы проектов создаваемых ИС. Предложено дифференцировать требования по двум ортогональным параметрам - "деонтический статус" и "прогнозируемая перспективность", что упрощает их формализацию и проверку непротиворечивости, позволяет однозначно идентифицировать эти требования в простран-ф стве стандартов и сформировать полный и непротиворечивый функциональ ный профиль системы. Построены эволюционные модели развития информационных систем и стандартов, обеспечивающие устойчивое, поступательное развитие систем, проектируемых на основе изменяющихся стандартов.

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

К основным направлениям дальнейших исследований, в развитие научных результатов, полученных в диссертации, можно отнести:

- применение аппарата и методов нечеткой логики и нечеткого ситуационного вывода в моделях взаимодействия субъектов при коллективном решении неординарных задач;

- использование методов моделирования на основе когнитивных карт;

- разработку динамических моделей процессов самоорганизации и коопе рации субъектов на основе методов, используемых при моделировании муль-тиагентных систем, в том числе модели генетического консилиума;

- использование подходов и формализмов теории активных систем на основе методов теории иерархических игр, теории контрактов, теории реализуемости;

- исследование динамики взаимодействий и процессов самоорганизации субъектов, в частности на основе моделей обучения Г. Саймона.

Перечисленные направления исследований предполагается осуществить в ходе дальнейшей научной и практической работы автора.

178

Список литературы диссертационного исследования доктор технических наук Столбов, Андрей Павлович, 2004 год

1. Аверкин А.Н., Ефимов Е.И. Планирование действий // Искусственный интеллект. В 3-х кн. Кн. 2. Модели и методы: Справочник / Под ред. ДАПоспелова - М.: Радио и связь, 1990. - с. 231-242.

2. Алексеев А.В., Борисов А.Н., Вилюмс Э.Р., Фомин С.А. Интеллектуальные системы принятия проектных решений. Рига: Зинатне, 1997. - 320 с.

3. Алпеев А.С. Некоторые аспекты теории и качества нормативных документов // Стандарты и качество. 2002. - № 7, с. 28-32.

4. Амосов Н.М., Касаткин A.M., Касаткина JI.M., Талаев С.А. Автоматы и разумное поведение. Киев: Наукова думка, 1973.

5. Антонов В.Г. Эволюция организационных структур // Менеджмент в России и за рубежом. 2000. - № 1.

6. Арсеньев Б.П., Яковлев С.А. Интеграция распределенных баз данных. • СПб.: Издат. "Лань", 2001. 464 с.

7. Аршинов В.И., Данилов Ю.А., Тарасенко В.В. Методология сетевого мышления: феномен самоорганизации / vmw.iph.ras.ru/810l/~mifs/rus/adtmet.htm

8. Ахутин В.М. и др. Биотехнические системы: Теория и проектирование. Учебное пособие. JL: - 1981. - 237 с.

9. Барсуков B.C., Тарасов О.В. Новая информационная технология: ИИ, концепция банка знаний, ЭС // Вычислительная техника и ее применениг 1989.-№2-с. 39-45.

10. Беляев А.А., Коротков Э.М. Системология организации: Учебник / Под ред. д-ра экон. наук, проф. Э.М. Короткова. М.: ИНФРА-М, 2000. - 182 с.

11. Берталанфи Л. фон. История и статус общей теории систем // Систем ные исследования: Ежегодник, 1972. М.: Наука, 1973. - с. 20-37.

12. Бир С. Мозг фирмы: Пер. с англ. М.: Радио и связь, 1993. - 416 с.

13. Борисов В.В., Бычков И.А., Дементьев А.В., Соловьев А.П., Федулов А.С. Компьютерная поддержка сложных организационно-технических систем. М.: Горячая линия - Телеком, 2002. - 154 с.

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

15. Брукс Ф. Мифический человеко-месяц или как создаются программные системы. Пер. с англ., (пополненное и исправленное издание). - СПб.: Символ-Плюс, 1999. - 304 с.

16. Брюхов Д.О., Задорожный В.И., Калиниченко JI.A. и др. Интероперабельные информационные системы: архитектуры и технологии // СУБД, -1995,-№4.-С. 96-113.

17. Бурков В.Н. Основы математической теории активных систем. М.: Наука, 1977. - 255 с.

18. Бурков В.Н., Данев Б., Еналеев А.К. и др. Большие системы: моделирование организационных механизмов. М.: Наука, 1989. - 245 с.

19. Буч Г. Объектно-ориентированное проектирование с примерами применения / Пер. с англ. М.: Конкорд, - 1992.

20. Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя: Пер. с англ. -М.: ДМК, 2000. 432 с.

21. Быховский М.Л., Вишневский А.А. Кибернетические системы в медицине. М.: Наука, - 1971. - 407 с.

22. Вагин В.Н. Зачем нужны нетрадиционные логики? // Международный форум информатизации-98: Доклады Международной конференции "Информационные средства и технологии". Т.1. М.: Станкин, 1998. - С. 6-14.

23. Васкевич Д. Стратегии "клиент/сервер". Руководство по выживанию для специалистов по реорганизации бизнеса. Киев: "Диалектика", 1996. -384 с.

24. Васютович В.В. Состояние и перспективы развития стандартизации в области информационных технологий и проектирования систем в России // Директору информационной службы. 2001. - № 2, С. 34-38.

25. Венда В.Ф. Системы гибридного интеллекта: эволюция, психология информатика. М.: Машиностроение, 1990. - 448 с.

26. Веддров A.M. Проектирование программного обеспечения экономических информационных систем: Учебник. М.: Финансы и статистика, 2000. -352 с.

27. Венедиктов Д.Д., Киселев А.С., Петровский A.M., Шиган Е.Н., Комаров Ю.М., и др. Системное моделирование здравоохранения. М.: ВНИИМИ МЗ СССР. Экспресс информация. - 1976. - 83 с.

28. Виттих В.А. Согласованная инженерная деятельность. Состояние, проблемы, перспективы // Проблемы машиностроения и надежности машин, № 1,1997, сс. 6-14.

29. Виттих В.А. Управление открытыми системами на основе интеграции знаний // Автометрия, №3,1998, с. 38-49.

30. Виттих В.А., Скобелев П.О. Мультиагентные системы для моделирования процессов самоорганизации и кооперации Proc.of XIII International Conferention on the Application of Artificial Intelligence in Engineering, Galway, Ireland, 1998, pp.91-96.

31. Виттих В.А., Скобелев П.О. Разработка мультиагентной системы для моделирования процессов принятия решений в компаниях с сетевой организацией . Труды 16 Международного конгресса ИМАКС-2000 - Лозанна (Швейцария), 21-25 августа 2000 г., с. 526.

32. Гаазе-Рапопорт М.Г., Поспелов Д.А. От амебы до робота: модели поведения. М.: Наука, 1987.

33. Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем. СПб.: Питер, 2000. - 384 с.

34. Гейн К., Сарсон Т. Структурный системный анализ: средства и методы / Пер. с англ.; под ред. Козлинского А.В. М.: Эйтекс, 1993. - 360 с.

35. Герасименко В.А. Основы информационной грамоты. М.: Энерго-атомиздат, 1996. -320 с.

36. Глушков В.М., Брановицкий В.И. и др. Человек и вычислительная техника / Под общей редакцией Глушкова В.М. Киев: Наукова думка, 1971. -267 с.

37. Годин В.В., Корнеев И.К. Управление информационными ресурсами: 17-модульная программа для менеджеров "Управление развитием организации". Модуль 17. -М: ИНФРА-М, 2000. 352 с.

38. Голиков IQ.A., Костин А.Н. Проблемы и принципы исследования межсистемных взаимодействий в сложных человеко-машинных комплексах // Системные исследования. Методологические проблемы. Ежегодник 19921994. М.: ИСА РАН, Эдиториал УРСС, 1996. - С. 293-316.

39. Городецкий В.И. Многоагентные системы: основные свойства и модели координации поведения // Информационные технологии и вычислительные системы. 1998. -№ 1. - С. 22-34.

40. Горохов В.Г. Концепции современного естествознания и техники: Учебное пособие. М.: ИНФРА-М, 2000. - 608 с.

41. Громов Г.Р. Национальные информационные ресурсы. М.: Наука,1984.

42. Громов Г.Р. Очерки информационной технологии. М.: ИнфоАрт^ 1993.-336 с.

43. Девянин П.Н, Михальский О.О., Правиков Д.И., Щербаков А.Ю. Теоретические основы компьютерной безопасности: Учебное пособие для вузов. -М.: Радио и связь, 2000. 192 с.

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

45. Дик В.В. Методология формирования решений в экономических системах и инструментальные среды их поддержки. М.: Финансы и статистика, 2000. - 300 с.

46. Дракин В.И., Попов Э.В., Преображенский А.Б. Общение конечных пользователей с системами обработки данных. -М.: Радио и связь, 1988. -288 с.

47. Дружинин В.В., Конторов Д.С. Проблемы системологии (проблемы теории сложных систем). М.: Советское радио, 1976. - 296 с.

48. Дружинин В.В., Конторов Д.С. Системотехника. М.: Радио и связь,1985.-200 с.

49. Дружинин В.В., Конторов Д.С., Конторов М.Д. Введение в теорию конфликта. М.: Радио и связь, 1989. - 288 с.

50. Душков Б.А., Королев А.В., Смирнов Б.А. Основы инженерной психологии. Учебник для студентов вузов. М.: Академический проект; Екатеринбург: Деловая книга, 2002. - 576 с.

51. Евстигнеев В.А. Применение теории графов в программировании. -М.: Наука, 1985. 352 с.

52. Еремеев А.П. Организация систем поддержки принятия решений семиотического типа для динамических проблемных областей // Сборник докладов Международной конференции по мягким вычислениям и измерениям SCM'98. Санкт-Петербург, 22-26 июня 1998 г., т. 2.

53. Еремеев А.П., Симонов Д.Н., Чибизова Н.В. Реализация прототипа системы поддержки принятия решений реального времени на основе инструментального комплекса G2 // Программные продукты и системы, 1996, № 3, С. 21-26.

54. Ершов А.П. Введение в теоретическое программирование. М.: Наука, 1977.-288 с.

55. Затуливетер Ю.С. Информация и эволюционное моделирование. Тру ды международной конференции "Идентификация систем и задачи управления" SICPRO' 2000. М. 26-28 сентября 2000 г.

56. Зиндер Е.З. "ЗО-предприятие" модель стратегии трансформирующейся системы // www.citforum.ru/seminars/cbd2000/cbdday201.shtml

57. Зиндер Е.З. Новое системное проектирование: информационные технологии и бизнес-реинжиниринг // СУБД, № 4, 1995. с. 37-49., № 1, 1996. -с. 55-67.,№2, 1996.-с. 61-76.

58. Зиндер Е.З: Революционные изменения базовых стандартов в облает., системного проектирования. / Computer World Россия Директору информационной службы. - 2001. - № 5, с. 32-40.

59. Зиновьев А.А. Очерки комплексной логики / Под ред. Е.А.Сидоренко. М.: Эдиториал УРСС, 2000. - 560 с.

60. Зубарев А.Е., Родионов А.Н. Актуальные направления стандартизации компонентов экономических информационных систем // Стандарты и качество. 2001. -№ 9, С. 24-26

61. Илюхина Е.В., Воробьев П.А., Столбов А.П. Подходы к созданию системы разработки и актуализации электронной версии протоколов ведения больных // Проблемы стандартизации в здравоохранении. 2000. - №1. - с. 123.

62. Иоффе А.Ф. Персональные ЭВМ в организационном управлении. М.: Наука, 1988. - 208 с.

63. Ириков В.А., Тренев В.Н, Распределенные системы принятия решений. Теория и приложения.,- М.: Наука. Физматлит., 1999. 288 с.

64. Искусственный интеллект. В 3-х кн. Кн. 2. Модели и методы: Спрг вочник / Под ред. Д.А. Поспелова - М.: Радио и связь, 1990. - 304 с.

65. Искусственный интеллект: В 3-х кн. кн.З. Программные и аппаратные средства: Справочник / Под ред. В.Н.Захарова, В.Ф.Хорошевского. М.:ф Радио и связь, 1990. 368 с.

66. Ишмухаметов А.З., Лукин В.В. Организация словаря данных в предметно-ориентированных программных оболочках // СУБД. 1998. - № 1-2.

67. Калиниченко В.И. Управление медицинской помощью с использованием интегрированных систем: Монография. Краснодар: КубГУ, 2001. 376 с.

68. Калиниченко Л.А., Когаловский М.Р. Стандарты OMG: язык определения интерфейсов ГОЬ в архитектуре CORBA // СУБД, 1996, № 2, С. 115-129.

69. Калянов Г.Н. CASE-технологии. Консалтинг при проектировании бизнес-процессов. 2-е изд. перераб. и доп. М.: Горячая линия - Телеком, 2000.ф 320 е.: с ил.

70. Каменнова М., Громов А., Ферапонтов М., Шматалюк А. Моделирование бизнеса. Методология AR1S. Практическое руководство. М.: "Весть-Метатехнология", "Серебряные нити", 2001. - 327 е.: ил.

71. Капитоненко Н.А., Новолодский В.М., Свистунов В.А. Стандартизация как основа управления // Проблемы стандартизации в здравоохранении. -1999. -№1,№2.

72. Кастлер А. Возникновение биологической организации. М.: Мир, 1967.

73. Кастлер А. Общие свойства открытых иерархических систем. 1967 // www.users.i.com.ua/~psylib/books/koestO 1 .htm.

74. Козлов В.А. Открытые информационные системы. М.: Финансы и ф статистика, 1999.-224 с.

75. Корнеев В.В., Гареев А.Ф., Васютин С.В., Райх В.В. Базы данных. Интеллектуальная обработка информации. М.: Издатель Молгачева С.В., Изд? тельство Нолидж, 2001. - 496 с.

76. Костров А.В. Основы информационного менеджмента: Учеб. пособие. -М.: Финансы и статистика, 2001. 336 с.

77. Котов С.Л. Нормирование жизненного цикла программной продукции. М.: ЮНИТИ-ДАНА, 2002. - 143 с.

78. Крылов С.М. Формальная технология и универсальные системы // Кибернетика, 1986, № 4, с.85-89 (Часть 1), 1986, № 5, с. 28-31 (Часть 2).

79. Крылов С.М. Формальная технология в философии, технике, биоэволюции и социологии. Самара: СамГТУ, 1997. - 180 "с.

80. Кугаенко А.А. Основы теории и практики динамического моделирования социально-экономических объектов и прогнозирования их развития. М.: Вузовская книга, 1998. 392 с.

81. Кузин Е.С., Ройтман А.И., Фоминых И.Б., Хахалин Г.К. Интеллектуализация ЭВМ // Перспективы развития вычислительной техники / Справочное пособие в 11 кн. под ред. Ю.М.Смирнова М.: Высшая школа, 1989. - кн. 2 -159 с.

82. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. М.: Энергоатомиздат, 1989. - 342 с.

83. Кузнецов О.П. Неклассические парадигмы в искусственном интеллекте // Известия РАН. Теория и системы управления. 1995, № 5, С. 76-84.

84. Кузнецов С.А. Программные стандарты и их спецификации // www.citforum.ru (2002 г.).

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

86. Ладенко И.С. Методология и методы организации интеллектуальных систем. Новосибирск: ИИФФ СО АН СССР, 1987. - 66 с.

87. Ларичев О.И., Мошкович Е.М. Качественные методы принятия решений. М., Наука. Физматлит. 1996.

88. Лафта Дж. К. Эффективность менеджмента организации. Учебное пособие. М.: Русская Деловая Литература, 1999. - 320 с.

89. Лефевр В.А. Конфликтующие структуры. М.: Советское радио, 1973.

90. Липаев В.В. Анализ качества баз данных // Открытые системы, -2002.3.

91. Липаев В.В. Документирование и управление конфигурацией про граммных средств. Методы и стандарты. Серия "Информатизация России на пороге XXI века". М.: СИНТЕГ, 1998. - 220 с.

92. Липаев В.В. Обеспечение качества программных средств. Методы и стандарты. Серия "Информационные технологии". М.: СИНТЕГ, 2001. -380 е.: ил.

93. Липаев В.В., Филинов Е.Н. Формирование и применение профилей открытых информационных систем // Открытые системы. 1997. - № 5.

94. Лисков Б., Гатэг Дж. Использование абстракций и спецификаций при разработке программ. М.: Мир, 1989. - 424 с.

95. Литвак Б.Г. Экспертные оценки и принятие решений. М., 1996.

96. Лифиц И.М. Основы стандартизации, метрологии, сертификации: Учебник. М.: Юрайт, 1999. - 285 с.

97. Лищук В.А., Клепиков В.И., Петрова Л.В., и др. Автоматизированные системы обеспечения решений врача // Биологическая и медицинская кибернетика. ч.5. - М.: - 1974. - с. 228-231.

98. Локтионов М.В. Системный подход в менеджменте. М.: Генезис, 2000. - 288 с.

99. Майкл Л. Броди. Интероперабельные информационные системы в науке / Сборник материалов семинара, Москва, апрель 6-7, 1995.

100. Макетирование, проектирование и реализация диалоговых информационных систем. / Под. ред. Ломако Е.И. М.: Финансы и статистика, 1993. -320 с.

101. Малахов В.П. Формальная логика. Учебник. - М.: Академический Проект, 2001.-384 с.

102. Мальцев А.И. Алгоритмы и рекурсивные функции. М.: Наука, 1965.392с.

103. Мартин Дж. Планирование развития автоматизированных систем. -М.: Финансы и статистика, 1984. 428 е.

104. Мартыненко В.Ф. Становление и развитие методологических основ медицинской информатики: Актовая речь. М.: НПО "Медсоцэкономинформ". - 1999.-40 с.

105. Маршанд Д. А. Информационная инфраструктура: посулы и реаль ность. Как работают с информацией в вашей компании? / Фрагменты из книги "Мастерство: Менеджмент" //www.cfin/ru/itm/infojprocessing.htm.

106. Месарович М., Мако Д., Такахара И. Теория иерархических многоуровневых систем. М.: Мир, 1973. -344 е.: ил.

107. Месарович М., Такахара И. Общая теория систем: математические основы. М.: Мир, 1978. - 311 с.

108. Митенкова Е.Ф. Модель коллективного взаимодействия при решении групповых задач // Известия АН СССР. Техническая кибернетика. 1986, № 6.

109. Моисеев Н.Н. Алгоритмы развития. М.: Наука, 1987.

110. Моисеев Н.Н. Универсум. Информация. Общество. М.: Устойчивый мир, 2001. - 200 с.

111. Ф 114. Непейвода Н.Н. Прикладная логика: Учеб. пособие. 2-е изд., испр.доп. Новосибирск, Изд-во Новосиб. ун-та, 2000. - 521 с.

112. Никитов В.А., Орлов Е.И., Старовойтов А.В., Савин Г.И. Информа ционное обеспечение государственного управления / Под ред. Ю.В. Гуляева.ф М.: Славянский диалог, 2000. 415 с.

113. Нильсон Н. Принципы искусственного интеллекта. М.: Радио и связь, 1985 г.

114. Новиков Д.А., Петраков С.Н. Курс теории активных систем. М.: СИНТЕГ, 1999. - 108 с.

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

116. Ойхман Е-.Г., Новоженов Ю.В. Некоторые существенные дополнения к методологии OOAD и их применение в объектно-ориентированной RAD технологии // www.citforum.ru/seminars/cbd2000/cbdday204.shtml

117. Ойхман Е.Г., Попов Э.В. Реинжиниринг бизнеса: Реинжиниринг организаций и информационные технологии. М.: Финансы и статистика, 1997.ф 336 е.: ил.

118. Осипов Г.С. Приобретение знаний интеллектуальными системами. -М.: Наука. 1997. - 143 с.

119. Основы стандартизации в здравоохранении. Учебное пособие / Под ред. А.И. Вялкова и П.А. Воробьева. М.: Ньюдиамед, 2002. - 216 с.

120. Паринов С.И. К построению теоретической модели сетевой экономики / Институт Экономики и ОПП СО РАН // Июль-1999 http://rvles.ieie.nsc.ru/~parinov.

121. Паринов С.И. Онлайновые сообщества: методы исследования и практическое конструирование / Автореф. дисс. . докт. техн. наук. Новосибирск2000.

122. Першиков В.И., Савинков В.М. Толковый словарь по информатике. -2-е изд., доп. М.: Финансы и статистика, 1995. - 544 с.

123. Пископпель А.А. Историко-методологический анализ концепции надежности социо-технических систем / Дисс. докт. философ, наук. М.: МГУ, 1995.

124. Питерсон Дж. Теория сетей Петри и моделирование систем. М.: Мир, 1984.

125. Пич Г., Шерм Э. Уточнение содержания контроллинга как функции управления и его поддержки // www.ptpu.ru/issues/301.htm

126. Позин Б.А. Современные средства программной инженерии для создания открытых прикладных программных систем // СУБД, № 3, 1995, с. 124-146.

127. Попов Э.В. и др. Реинжиниринг бизнеса: Реинжиниринг организаций и информационные технологии. М.: Финансы и статистика, 1997.

128. Попов Э.В. Общение с ЭВМ на естественном языке. М.: Наука, 1982.- 360 с.

129. Попов Э.В. Экспертные системы: Решение неформализованных зада" в диалоге с ЭВМ. М.: Наука. Гл. ред. ф - м лит., 1987. - 288 с.

130. Попов Э.В., Фирдман Г.Р. Алгоритмические основы интеллектуальных роботов и искусственного интеллекта. М.: Наука, 1976.

131. Попов Э.В., Фоминых И.Б., Кисель Е.Б., Шапот М.Д. Статические и динамические экспертные системы. М.: Финансы и статистика, 1996. -320 с.

132. Поспелов Г.С. Искусственный интеллект основа новой информационной технологии. - М.: Наука, 1988. - 280 с.

133. Поспелов Г.С., Поспелов Д.А. Искусственный интеллект прикладные системы // Новое в жизни, науке и технике. Сер. Математика, кибернетика, №9. -М.: Знание, 1987.

134. Поспелов Д.А., Осипов Г.С. Прикладная семиотика // Новости искусственного интеллекта. 1999. - № 1. - с. 9-35.

135. Поспелов Д.А., Пушкин В.Н. Мышление и автоматы. М.: Советское радио, 1972.

136. Поспелов Д.А., Шустер В.А. Нормативное поведение в мире людей к машин. Кишинев: Штиинца, 1990.

137. Построение экспертных систем. М.: Мир, 1987. - 441с.

138. Прангишвили И.В. Системный подход и общесистемные закономерности. Серия "Системы и проблемы управления". М.: СИНТЕГ, 2000. - 528 с.

139. Протасов В.И. Генерация новых знаний сетевым человеко-машинным интеллектом. Постановка проблемы. Нейрокомпьютеры. М., № 78,2001.

140. Пупков К.А., Коньков В.Г. Интеллектуальные системы. М.: Издательство МГТУ им. Н.Э. Баумана, 2003. - 348 е.: ил.

141. Пушкин В.Н. Оперативное мышление в больших системах. М.: Энергия, 1965. - 375 с.

142. Редько В.Г. Эволюционная кибернетика. М.: Наука, 2002. -156 с.

143. Ришар Жан Франсуа. Ментальная активность. Понимание, рассуждение, нахождение решений. М.: Институт Психологии РАН, - 1998, - 39 с.

144. Рубцов С.В. Какой CASE-инструмент несет наименьший вред организации? // www.osp.ru/cio/2002/01/008print.htm

145. Рубцов С.В. Системы управления бизнес-процессами и корпоративная культура. // PCWeek/RE, 2001, № 46, с. 34, № 47, с. 32, № 48, с. 29.

146. Рыкунов В.И. Механизмы управления. М.: РЭА им. Г.В. Плеханова. - 1999.

147. Саати Т.,.Керне К. Аналитическое планирование. Организация систем / Пер. с англ. М.: Радио и связь, 1991.

148. Саймон А.Р. Стратегические технологии баз данных: менеджмент на 2000 год / пер. с англ. / Под ред. и с предисл. М.Р. Когаловского. М.: Финансы и Статистика, 1999. - 479 с.

149. Саймон Г., Марш Дж. Административное поведение: Пер. с англ. -М.: Мир, 1974.

150. Скобелев П.О. Виртуальные миры и интеллектуальные агенты для моделирования деятельности компании. Труды VI Национальной конференции по искусственному интеллекту, т.2, г. Пущино, 5-7 ноября 1998 г., сс. 714 -719.

151. Скобелев П.О. Моделирование холонических систем. Труды II Международной конференции "Проблемы управления и моделирования в сложных системах", Россия, Самара, 20-23 июня 2000 г., с. 73-79.

152. Скобелев П.О. Мультиагентные системы: новые возможности для электронной коммерции в сети Интернет. Сб. трудов Международной конференции "Инновационные технологии и бизнес" - Самара, 25-28 мая 2000

153. Советов Б.Я., Яковлев С.А. Моделирование систем: Учеб. для вузов -3-е изд., перераб. и доп. М.: Высшая школа, 2001. - 343 е.: ил.

154. Современные методы в современной буржуазной социологии: Сборник статей. М.: Прогресс, 1966. - 413 с.

155. Солодкая М.С. К единству социального и технического: проблемы и ф тенденции развития научных подходов к управлению. Оренбург: ДиМур,1997.

156. Солодкая М.С. Методологические основания, социальные идеалы и пути обеспечения надежности социотехнических систем управления // www.orenburg.ru/culture/credo/23/2.html

157. Спицнадель В.Н. Основы системного анализа: Учеб. пособие. СПб.: "Изд. дом "Бизнесс-пресса", 2000., - 326 с.

158. Стандарты в проектах современных информационных систем / Сборник трудов П-ой Всероссийской практической конференции. М.:2002. - 240 с.

159. Степин B.C., Горохов В.Г., Розов М.А. Философия науки и технию. //http://philosophy.ru/library/fnt/00.html

160. Столбов А.П., Соколов Н.К., Солнцев В.А. Методологические осно-ф вы разработки интеллектуальной программной системы для отображения оперативной обстановки на картах. Отчет по НИР "Обзор". МГТУ им. Н.Э.Баумана, 1995 г., инв.№ 88011.

161. Столбов А.П. Информатизация отрасли: проблемы стандартизации // Врач и информационные технологии. 2004. - № 7, С. 20-25.

162. Столбов А.П. Информационная культура в здравоохранении // Бюллетень НЦССХ им. А.Н. Бакулева РАМН. том 3, № 11, ноябрь 2002, С. 333.

163. Столбов А.П. Информационная инфраструктура здравоохранения v ОМС // Сб. докладов Международного симпозиума "Информационные технологии в медицине, санитарии и экологии 2002". - М.: - 2002. - С. 13-16.

164. Столбов А.П. Информационные технологии в здравоохранение особенности стандартизации // Врач и информационные технологии. 2004. -№ 8, С. 20-26.

165. Столбов А.П. Информационные технологии как объекты стандартизации в здравоохранении // Проблемы стандартизации в здравоохранении. -2002. №2. - с. 21-24.

166. Столбов А.П. О единой информационной системе здравоохранения // Бюллетень НЦССХ им. А.Н. Бакулева РАМН. том 3, №11, ноябрь 2002, - С. 335.

167. Столбов А.П. О Некоторых методологических и практических проблемах стандартизации информационных технологий в здравоохранении // Проблемы стандартизации в здравоохранении. 2003, - № 5, С. 3-8.

168. Столбов А.П. О методологии стандартизации информационных технологий в системе ОМС // Сборник докладов Международного форума "Ин форматизация процессов охраны здоровья населения 2001". - М.: 2001. - С. 77-85.

169. Столбов А.П. О некоторых аспектах стандартизации информационных технологий в системе обязательного медицинского страхования // Проблемы стандартизации в здравоохранении. 2000. - № 2. - С. 18-21.

170. Столбов А.П. О некоторых проблемах стандартизации информационных технологий в системе обязательного медицинского страхования // Проблемы стандартизации в здравоохранении. 2000. - № 1. - С. 5-9.

171. Столбов А.П. О проблемах информационного обеспечения стандартизации в здравоохранении // Бюллетень НЦССХ им. А.Н. Бакулева РАМН. -том 3, №5, май 2002, С. 193.

172. Столбов А.П. О системном определении понятия "единое информационное пространство здравоохранения" // Бюллетень НЦССХ им. А.Н. Бакулева РАМН. том 3, №5, май 2002, - С. 190.

173. Столбов А.П. Об информационном обеспечении стандартизации р здравоохранении // Проблемы стандартизации в здравоохранении. 2003. - № 3, с. 68.

174. Столбов А.П. Об использовании онтологических моделей для стандартизации в здравоохранении // Бюллетень НЦССХ им. А.Н. Бакулева РАМН. том 3, № 5, май 2002, - С. 193.

175. Столбов А.П. Особенности стандартизации информационных технологий в здравоохранении и медицинском страховании // Стандарты и качество. -2004.-№1.-С. 50-53.

176. Столбов А.П. Проблемы информационного обеспечения управления ресурсами здравоохранения и обязательного медицинского страхования // Сб. докладов Международного форума "Информатизация процессов охраны здоровья населения 2001". - М.: 2001. - С. 85-89.

177. Столбов А.П. Современные взгляды на проблему информатизации системы страховой медицины // Страховое дело. 2003. - № 7, С. 37-45.

178. Столбов А.П. Стандартизация информационных технологий в здравоохранении и обязательном медицинском страховании: основы методологии // Информационные технологии в здравоохранении. 2001, - № 11-12. - с. 4-5, - 2002, № 1-2, с. 19-21, № 3-4, с. 30-31.

179. Столбов А.П. Стандартизация информационных технологий в здравоохранении и медицинском страховании // Стандарты и качество. 2003. - № 10, С. 30-33.

180. Столбов А.П., Тронин Ю.Н., Борисенко А.С. О классификации информационных запросов для проблемно-ориентированной информационной технологии // Сборник РДР. Серия Б. Выпуск № 37. М.: ЦВНИ МО РФ, 1996. Справка № 8541.

181. Столбов А.П., Тронин Ю.Н., Борисенко А.С. О концепции проблемно-ориентированных информационных технологий // Сборник РДР. Серия Б.ф Выпуск № 37. М.: ЦВНИ МО РФ, 1996. Справка № 8542.

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

183. Сухомлин В.А. ИТОЛОГИЯ наука об информационных технологиях. - НИВЦ МГУ // www.citforum.ru

184. Сухомлин В.А. Методологический базис открытых систем // Открытые системы. 1996. - № 4.

185. Таранов A.M., Климова Н.Б., Столбов А.П. Стандартизация управления в системе обязательного медицинского страхования // Вестник обязательного медицинского страхования. 2002. - № 6, с. 3-6.

186. Таранов A.M., Климова Н.Б., Столбов А.П., Новолодский В.М. Стандартизация информационных технологий как элемент системы управления качеством медицинской помощи // Проблемы стандартизации в здравоохранении. 2003, -№ 3, С. 11-17.

187. Тарасов В.Б. Нетрадиционные и гибридные логики в моделирование интеллектуальных агентов. I. Искусственные деятели, интенциональные характеристики и пути их моделирования // Известия РАН. Теория и системы управления. 2000. - № 5. - С. 5-17.

188. Тарасов В.Б. От многоагентных систем к интеллектуальным организациям: философия, психология, информатика. М.: Эдиториал УРСС, 2002.ф 352 с.

189. Тарасов В.Б. Предприятия XXI века: проблемы проектирования управления // Автоматизация проектирования. 1998. - № 4.

190. Тарасов В.Б. Тектология Богданова и неоклассическая теория организаций предвестники эры реинжиниринга / www.ptpuj\i/Issues/498/ll498Mn

191. Теория активных систем: состояние и перспективы / В.Н. Бурков, Д.А. Новиков. М: СИНТЕГ, 1999. 128 с.

192. Требования и спецификации в разработке программ / Сб. статей, пер. с англ. под ред. Агафонова В.Н. М.: Мир, 1984.

193. Ф 209. Тронин Ю.Н., Масленчеков Ю.С. Менеджмент и пректированифирмы: Учебное пособие для вузов. М.: ЮНИТИ-ДАНА, 2002. - 415 с.

194. Турчин В.Ф. Феномен науки. Кибернетический подход к эволюции. Изд. 2-е. М.: ЭТС, 2000. - 368 с.

195. Уинстон П. Искусственный интеллект / Пер. с англ. М.: Мир, 1980. -518с.

196. Урманцев Ю.А. Эволюционика или общая теория развития систем природы, общества и мышления. Пущино: ОНТИНЦБТ АН СССР, 1988.

197. Фаулер М., Скотт К. UML в кратком изложении. Применение стандартного языка объектного моделирования. Пер. с англ. М.: Мир, 1999. - 191 с:, с ил.

198. Филинов Е.Н. Выбор и разработка концептуальной модели среды открытой системы // Открытые системы. 1995. - № 6.

199. Филинов Е.Н., Бойченко А.В. Проблемы и методика формирования профилей открытых информационных систем // Директор информационной службы. 2001. - № 2, С. 39-44.

200. Форрестер Д.У. Основы кибернетики предприятия. М.: Прогресс, 1971.-340 с.

201. Фридман А.Л. Основы объектно-ориентированной разработки программных систем. М.: Финансы и статистика, 2000. - 192 с.

202. Фридман Л.М. Основы проблемологии. Серия "Проблемология". -М.: СИНТЕГ, 2001.-228 с.

203. Хант Э. Искусственный интеллект. М.: Мир, 1978.

204. Хорошевский В.Ф. Методы и средства проектирования и реализации мультиагентных систем // Материалы семинара "Проблемы искусственного интеллекта" ИПУ РАН, 1999.

205. Черемных'с.В., Семенов И.О., Ручкин B.C. Структурный анализ систем: IDEF-технологии. М.: Финансы и статистика, 2001. - 208 с.

206. Черняк Л. Архитектура систем по Захману // Открытые системы, -2001, №12, С. 29.

207. Черняк Л. Распределенное управление проектами // Открытые системы, 2002, №9, С. 29-31.

208. Черняк Л. Самообслуживание в информационных системах // Открытые системы. 2002, № 10, С. 13-16.

209. Черняк Л. Управление знаниями и информационные технологии // Открытые системы. 2001. - № 10.

210. Шадрин А. Конструирование сетевой организации: информационно-коммуникативное обеспечение в исследовательских проектах и деятельности профессиональных сообществ // Вестник НАУФОР. 1999. - № 11.

211. Шемакин Ю.И. Семантика самоорганизующихся систем. М.: Академический Проект, 2003. - 176 с.

212. Шрейдер Ю.А. Информация и метаинформация // Научно-техническая информация. Серия 2. 1974. - № 4. - С. 3-10.

213. Шрейдер Ю.А., Шаров А.А. Системы и модели. М.: Радио и связь, 1982.- 152 с.

214. Щедровицкий Г.П. Программирование и организационное проектирование, введение деятельностного подхода. 1991. // http://z-kon.narod.ru/elib/shedp004/00000001.htm // shedrl

215. Эшби У.Р. Введение в кибернетику. М.: ИЛ, 1959. - 432 с.

216. Юдицкий С.А. Сценарный подход к моделированию поведения бизнес-систем. Серия "Управление организационными системами." М.: СИНТЕГ ,2001,- 112 с.

217. Якимов О.С., Бальчевский В.В. О функциональной стандартизации в области информатизации // Проблемы стандартизации в здравоохранении. -1999.-№ 1, С. 20-24.

218. Яковлев А.П., Столбов А.П., Бурмистрова М.И., Колганов С.Ю. Автоматизированные информационные системы в условиях многопрофильного стационара. Монография. М.: Вешние воды, 2000. - 176 с.

219. Allen J.F., Perrault C.R. Analyzing Intensions as Utterances // Artificial Intelligence. 1980.-Vol. 15.

220. Brainov S. Altruistic Cooperation Between Self-interested Agents // Proceedings of ECAI'96. 1996. - pp. 519-523.

221. Bratman M. Intentions, Plans and Practical Reason. Harvard: Harvard University Press, 1987.

222. Castelfranchi С., Micelli M., Cesta A. Dependence Relations Among Autonomous Agents // Decentralized AI III / Ed. by Y.Demazeau, J.-P. Muller. -Amsterdam: Elsevier North-Holland, 1991.

223. Castelfranchi C.Social Power: a Point Missed in Multi-Agent Systems, DAI and HCI // Decentralized Artificial Intelligence / Ed. by Y. Demazeau, J.-P. Muller. Amsterdam: Elsevier North-Holland, 1990. - pp. 49-62.

224. Cockburn A. Agile Software Development. Addison-Weley, 2001, pp220.

225. Delgado R., Joaquin A., Agent-Based Information. 2000.

226. Dong J., Shi Y., Liu H. A Holonic Manufacturing Framework for Concurrent Engineering and Enterprise Integration. Proc. of Intern. Conf. on Concurrent Engineering, USA, Washington D.C., 1995, pp. 151-161.

227. Durfee E.H. Coordination in Distributed Problem Solvers. Boston MA: Kluver Academic Publishers, 1988.

228. Fagin R., Halpern J., Moses Y., Vardi M. Reasoning about Knowledge. -Cambridge MA: MIT Press, 1995.

229. Ferber J. Les systemes multi-agents. Vers une intelligence collective. -Paris: InterEditions, 1995.

230. Ferber J., Magnin L. Conception des systemes multi-agents par compo-sants modulaires et reseaux de Petri // Actes des journees du PRC-IA, Montepellier, 1994.

231. Finin Т., Labrou V., Mayfield J. Software Agents / Ed. by J. Bradshaw. -Cambridge MA: MIT Press, 1997.

232. FIPA98 Specifications. Part 12. Ontology Service, //www.cset.it/fipa.

233. Gamma E., Helm R., Johnson R., Vlissides J. Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Weley, 1995. - 410 pp.

234. Gasser L. Social Conceptions of Knowledge and Action: DAI Foundations and Open Systems Semantics // Artificial Intelligence.- 1991. Vol. 47. - № 1-3. -pp. 107-138.

235. Georgeff M.P., Rao A.S. BDI Agents: From Theory to Practice // Proceedings of the First International Conference on Multi-Agent Systems (ICMAS'95 / Ed. by V.Lesser). AAAI Press / The MIT Press. - pp. 312-319.

236. Graham I. Object-Oriented Methods. Principles & Practice. 3rd Edition. -Addison-Wesley, 2001. 853 pp.

237. Gruber T.R. A Translation Approach to Portable Ontologies // Knowledge Acquision. 1993. - № 5(2), pp. 199-220.

238. Guarino N., Masolo C., Vetere G. OntoSeek: Content-Based Access to the Web // ШЕЕ Intelligent Systems. May/June, 1999.

239. Haddadi A. Communication and Cooperation in Agents Systems: A Pragmatic Theory. Berlin: Springer Verlag, 1996.

240. Hammer M. and Champy J. Reengineering the Corporation: A Manifesto for Business Revolution. New York: HarperColins, 1993.

241. Hendric Van Brussel, Jo Wyns, Paul Valckenaers, Luc Bongaerts, Patric Peeters. Reference Architecture for Holonic Manufacturing Systems: PROS A // Computers in Industry, № 37, 1998, p.p. 255-274.

242. Hewitt C. Viewing Control Structures as Patterns of Message Passing // Artificial Intelligence. 1977. - Vol. 8, № 3. - pp. 323-364.

243. Highsmith J.A. Adaptive Software Development: A Collaborative Approach to Managing Complex Systems. Dorset House Publishing, 2000. - 392 pp.

244. Huhns M.N., Singh M.P. Ontologies for Agents // IEEE Internet Computing 1997, November - December, pp. 17-24.

245. Hutt A. (editor). Object Analysis and Design. Description of methods. Object management group. John Wiley and Sons. 1994. p. 202.

246. Kelly S., Mary A.A. The Complexity Advantage: How the Science of Complexity Can Help Your Business Achieve Peak Performance. McGraw-Hill, New York, 1999.

247. Kinny D. The AGENTIS Agent Interaction Model // Intelligent Agents V. Proceedings of the Fifth International Workshop on Agent Theories, Architectures and Languages (ATAL- 98). Lecture Notes in Artificial Intellegence. Berlin: Springer-Verlag, 1999.

248. Koestler A. The Ghost in the Machine. New York: Arkana Books, 1989.

249. Lammers G.H. C3 effectiveness studies. ШЕ Computing Series 11: Advances in command, control & communication systems. Pub. by Peter Peregrinib Ltd., London, UK, 1987

250. Mandiau R., Chaib-Draa В., Libert G., Millot P. Collaborative Work: a language-Action Perspective // Proceedings of the First World Conference on the Fundamentals for Artificial Intelligence (Paris, France, July 1-5, 1991). Paris: Mas-son, 1991.

251. March J.G., Simon H.A. Organizations. New York: Wiley and Sons, 1985.

252. Martin J. Application Development without Programmes. Savant Institute, 1981. - 327 p.

253. Odell J. Agents and Complex System // Journal of Object Technology, vol. 1, № 2, July August 2002, pp. 35-45.

254. Pattison H., Corkill D., Lesser V. Instantiating Descriptions of Organizational Structures // Distributed Artificial Intelligence / Ed. by M.N. Huhns. London: Pitman, 1987, pp. 59-96.

255. Pressman R.S. Software Engineering: A Practioner's Approach. 5th Edition. McGraw-Hill, 2000, pp. 943.

256. Rasmussenn J., Brehmer В., Leplat J. (Eds.) Distributed Decision-Making. Cognitive Models for Cooperative Work. New York: J. Wiley and Son, 1991.

257. Resnick M. Unblocking the Traffic Jeams in Corporate Thinking // Com-lexity, 3:4,1998, pp. 27-30.

258. Rosenshein J., Zlotkin G. Rules of Encounter: Designing Conventions fc Automated Negotiation Among Computers, p. 4.

259. Rothchild M. Bionomics: Economy as Ecosystem. College Board. New York, 1995.

260. Roy B. Using Agents to Make and Manage Markets Across a Supply Web // Comlexity, 3A-, 1998, pp. 31-35.

261. Sandholm T.W., Lesser V.R. Coalition Formation among Bounded Rarional Agents // Proceedings of 14 Joint Conference on AI (IJCAI-95, Montrea7 Canada), pp. 662-669.

262. Shoham Y. Agent Oriented Programming // Artificial Intelligence. -1993.-Vol. 60, №1.-pp. 51-92.

263. Shoham Y., Tannenholtz M. On Social Laws for Artificial Agent Societies: Off-Line Design // Artificial Intelligence. 1995. - Vol. 73, № 1/2. - pp. 231252.

264. Sowa J.F., Zachman J.A. Extending and Formalizing the Framework for Information System Architecture // IBM System Journal, vol. 31, No 3, 1992.

265. Standards, guidelines, and examples on system and software requirements engineering. Edited by M.Dorfman, R.H.Thayer. IEEE Computer Society Press, Los Alamitos, California, USA, 1990.

266. Stolbov A.P. Features of Creation of Uniform Information System of obligatory medical insurance / Proceeding of the International Conference "Intellectual Maintenance of Public Health Care 2002". - Kemer, Turkey. - 2002. - pp. 7781.

267. Van Brussel H., Wyns J., Valckenaers P., Bongaerts L., Peeters P. Reference Architecture for Holonic Manufacturing Systems: PROSA // Computers in Industry, № 37, 1998, pp. 255-274.

268. Villemin F.-Y. Ontologies-based relevant information retrieval. 1999 // www.cnam.fr/f-yv.

269. Zachman J. A. A Framework for Information System Architecture 11 IBIvi System Journal, vol. 26, No 3,1987.

270. Zadeh L.A. Fuzzy Logic = Computing with Words // IEEE Transactions on Fuzzy Systems. 1996, Vol. 37, № 3, pp. 77-84.