Открыто-замкнутые основания сред интеграции. Часть ІІ

В рамках концепции ОС-System рассмотрены понятия среды интеграции и интеграционной системы. Рассмотрены решения репрезентативных примеров задач в средах макро- и микроинтеграции. Описано применение метода эволюционного обогащения к сущностям типа бизнес-процеса в предметной области....

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2011
Автори:	Редько, И.В., Татариков, А.О., Семенченко, М.П.
Формат:	Стаття
Мова:	Russian
Опубліковано:	Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2011
Назва видання:	Системні дослідження та інформаційні технології
Теми:	Теоретичні та прикладні проблеми і методи системного аналізу
Онлайн доступ:	http://dspace.nbuv.gov.ua/handle/123456789/50107
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Открыто-замкнутые основания сред интеграции. Часть ІІ / И.В. Редько, А.О. Татариков, М.П. Семенченко // Систем. дослідж. та інформ. технології. — 2011. — № 3. — С. 7-17. — Бібліогр.: 15 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-50107
record_format	dspace
spelling	irk-123456789-501072013-10-06T03:01:48Z Открыто-замкнутые основания сред интеграции. Часть ІІ Редько, И.В. Татариков, А.О. Семенченко, М.П. Теоретичні та прикладні проблеми і методи системного аналізу В рамках концепции ОС-System рассмотрены понятия среды интеграции и интеграционной системы. Рассмотрены решения репрезентативных примеров задач в средах макро- и микроинтеграции. Описано применение метода эволюционного обогащения к сущностям типа бизнес-процеса в предметной области. У межах концепції ОС-System розглянуто поняття середовища інтеграції та інтеграційної системи. Розглянуто рішення репрезентативних прикладів задач у середовищах макро- та мікроінтеграції. Описано застосування методу еволюційного збагачення до сутностей типу бізнес-процесу в предметній області. Within the concept of OC-System the concepts of the integration environment and integration system are considered. The solutions of representative examples of problems in macro- and microintegration environments are considered. The application of the method of the evolution enrichment to essences of business process type are described. Figs 2011 Article Открыто-замкнутые основания сред интеграции. Часть ІІ / И.В. Редько, А.О. Татариков, М.П. Семенченко // Систем. дослідж. та інформ. технології. — 2011. — № 3. — С. 7-17. — Бібліогр.: 15 назв. — рос. 1681–6048 http://dspace.nbuv.gov.ua/handle/123456789/50107 681.3.06 ru Системні дослідження та інформаційні технології Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Russian
topic	Теоретичні та прикладні проблеми і методи системного аналізу Теоретичні та прикладні проблеми і методи системного аналізу
spellingShingle	Теоретичні та прикладні проблеми і методи системного аналізу Теоретичні та прикладні проблеми і методи системного аналізу Редько, И.В. Татариков, А.О. Семенченко, М.П. Открыто-замкнутые основания сред интеграции. Часть ІІ Системні дослідження та інформаційні технології
description	В рамках концепции ОС-System рассмотрены понятия среды интеграции и интеграционной системы. Рассмотрены решения репрезентативных примеров задач в средах макро- и микроинтеграции. Описано применение метода эволюционного обогащения к сущностям типа бизнес-процеса в предметной области.
format	Article
author	Редько, И.В. Татариков, А.О. Семенченко, М.П.
author_facet	Редько, И.В. Татариков, А.О. Семенченко, М.П.
author_sort	Редько, И.В.
title	Открыто-замкнутые основания сред интеграции. Часть ІІ
title_short	Открыто-замкнутые основания сред интеграции. Часть ІІ
title_full	Открыто-замкнутые основания сред интеграции. Часть ІІ
title_fullStr	Открыто-замкнутые основания сред интеграции. Часть ІІ
title_full_unstemmed	Открыто-замкнутые основания сред интеграции. Часть ІІ
title_sort	открыто-замкнутые основания сред интеграции. часть іі
publisher	Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
publishDate	2011
topic_facet	Теоретичні та прикладні проблеми і методи системного аналізу
url	http://dspace.nbuv.gov.ua/handle/123456789/50107
citation_txt	Открыто-замкнутые основания сред интеграции. Часть ІІ / И.В. Редько, А.О. Татариков, М.П. Семенченко // Систем. дослідж. та інформ. технології. — 2011. — № 3. — С. 7-17. — Бібліогр.: 15 назв. — рос.
series	Системні дослідження та інформаційні технології
work_keys_str_mv	AT redʹkoiv otkrytozamknutyeosnovaniâsredintegraciičastʹíí AT tatarikovao otkrytozamknutyeosnovaniâsredintegraciičastʹíí AT semenčenkomp otkrytozamknutyeosnovaniâsredintegraciičastʹíí
first_indexed	2025-07-04T11:35:05Z
last_indexed	2025-07-04T11:35:05Z
_version_	1836716031841665024
fulltext	© И.В. Редько, А.О. Татариков, М.П. Семенченко, 2011 Системні дослідження та інформаційні технології, 2011, № 3 7 TIДC ТЕОРЕТИЧНІ ТА ПРИКЛАДНІ ПРОБЛЕМИ І МЕТОДИ СИСТЕМНОГО АНАЛІЗУ УДК 681.3.06 ОТКРЫТО-ЗАМКНУТЫЕ ОСНОВАНИЯ СРЕД ИНТЕГРАЦИИ. ЧАСТЬ ІІ И.В. РЕДЬКО, А.О. ТАТАРИКОВ, М.П. СЕМЕНЧЕНКО В рамках концепции ОС-System рассмотрены понятия среды интеграции и ин- теграционной системы. Рассмотрены решения репрезентативных примеров за- дач в средах макро- и микроинтеграции. Описано применение метода эволю- ционного обогащения к сущностям типа бизнес-процеса в предметной области. ВВЕДЕНИЕ В [1] была рассмотрена понятийная система концепции OC-System, где ос- новное внимание было уделено разъяснению как собственно понятий откры- то-замкнутой среды (ОЗСР), открыто-замкнутой системы (ОЗС), интегра- ционной среды (ИСР) и интеграционной системы (ИС), так и их логико- предметной взаимосвязи как ключевого элемента системы пошаговых обо- гащений любых сущностей в познании. При этом и сами понятия ОЗСР, ОЗС, ИСР и ИС и их логико-предметное взаимодополнение были рассмот- рены с позиции присущих им наиболее общих свойств и характеристик. В этом смысле они являлись ключевыми оракулами [2, 3] проводимого в [1] исследования как открыто-замкнутой среды, определяя логику последней. Настоящая работа является естественным, в рамках OC-System, про- должением статьи [1] и посвящена рассмотрению репрезентативных пред- метных обогащений вскрытой там понятийной системы. Здесь достаточно подробно рассматриваются вопросы редукционного моделирования ИТС как важнейшего типа ОЗС, а также дается прагматико-обусловленная клас- сификация ОЗСР ИТС. Все используемые и не излагаемые в работе опреде- ления и результаты понимаются в смысле [1, 4–6]. ИСР КАК ПРАГМАТИКО-ОБУСЛОВЛЕННЫЕ ОБОГАЩЕНИЯ ОЗСР Несмотря на то, что ОЗСР является принципиальным обогащением сущ- ностных сред [4–8], оно все же недостаточно содержательно. И поэтому нуж- дается в прагматико-обусловленном обогащении. Последнее же непосредст- венно связано с некоторой расплывчатостью упомянутых выше средств И.В. Редько, А.О. Татариков, М.П. Семенченко ISSN 1681–6048 System Research & Information Technologies, 2011, № 3 8 актуализации и потенциализации составляющих ОЗСР, в частности средств актуализации ЛПО ОЗСР. Основным средством такого обогащения, здесь, как и ранее, выступит экспликативное сведение ОЗСР к ИСР как прагмати- ко-мотивированныя форма типизации, обусловленной прагматикой (ТОП). Предпосылкой вовлечения сред интеграции послужило то, что, как известно, решение любой задачи суть интеграция решений ее подзадач. В [9–11] рассматривалась открыто-замкнутая точка зрения на ИСР как би- польную среду, представляющая собой взаимодействие макроинтеграцион- ной (общезначимой, логической) и микроинтеграционной (предметной) сред, поддерживаемых интерфейсной средой (оракульным логико-пред- метным отношением). В такой трактовке совершенно естественно смотреть на ИСР как на вид рода ОЗСР, на интеграционную систему (ИС), соответственно, — как на вид рода ОЗС, а на их взаимосвязь в биполе <ИСР, ИС> — как на прагмати- ко-обусловленное обогащение взаимодополнения ОЗСР и ОЗС, описанного в [1] и составляющего общезначимую основу концепции OC-System. Конкретнее говоря, любая ИС представляет собой прагматико- обусловленное замыкание соответствующей ИСР, в котором макроинтегра- цонная, микроинтеграционная и интерфейсная среды представлены соответ- ствующими актуализациями — макроинтегратором, микроинтегратором и интерфейсной системой. Последняя представляет собой прагматико- обусловленное замыкание интерфейсной среды как оракульного логико- предметного отношения ИСР. В зависимости от уровня сложности и содержания задач роль интегра- ционной составляющей в их решении может достаточно сильно варьиро- ваться. В первом приближении можно выделить микро- и макроуровни ис- пользования средств интеграции при решении реальных задач. На микроуровне при решении задач ограничиваются фактически ис- пользованием только средствами микроинтеграции. Это означает, что ин- терфейсная система таких ИС как актуализация оракульного ЛПО соответ- ствующей ИСР не имеет оракулов, т.е. такие интерфейсные системы лишь номинально могут рассматриваться как среды интеграции. Потому в кон- тексте ИСР их еще называют средами микроинтеграции. Содержательно говоря, данный уровень интеграции характерен для так называемых замкну- тых (жестко ориентированных на решение одной задачи) систем. В случае макроуровня, в отличие от тривиального микроуровня, в ре- шении задействуются средства не только микро-, но и макроинтеграции. Использование последних индуцировано ориентацией рассматриваемых прагматико-обусловленных обогащений ИСР на решение класса задач. Та- кая их ориентированность выражается в наличии у них оракулов (парамет- ров). Получаемые при этом интерфейсные системы обладают реальной би- абстрактностью, так как могут вовлекаться в рассмотрение как в роли ИС, так и в роли ИСР. В последнем случае они именуются средами макроинте- грации. Выше отмечалось, что прагматика данной работы состоит в изучении информатико-технологических систем в рамках концепции OC-System. Важнейшим частным случаем здесь являются системы программирования (СП). Поэтому рассмотрение СП в контексте проведенных обогащений Открыто-замкнутые основания сред интеграции. Часть ІІ Системні дослідження та інформаційні технології, 2011, № 3 9 ТОП, т.е. точка зрения на ИТС и СП как на интеграционные системы, пред- ставляется прагматико-обусловленным. В этой связи, ниже, если не огово- рено иное, понятия ИСР, ИС и их прагматико-обусловленные обогащения понимаются в разрезе информатико-технологической, а более конкретно, программистской направленности. Индивидуализация сред микро- и макроинтеграции существенно обо- гащает представления об ИСР. Однако, очевидно, что ограничиться этим все же нельзя, необходимо дальнейшее обогащение. До сих пор, все рассмотре- ния относительно ОЗСР и ИСР носили характер непосредственных обога- щений указанных понятий. Последующие шаги будут связаны с косвенным обогащением ИСР. Содержательно говоря, будут существенно учитывать то, что важны ИСР, но не столько сами по себе, как инструмент дескрипти- рования сущностей, сколько технология корректного применения этого инструмента. Косвенное обогащение ИСР и ИС. Информатико-технологическая и программистская направленность рассматриваемых задач естественно на- кладывает свой отпечаток на ИСР и ИС как средства их дескриптирования. Прежде всего, это выражается в том, что в области конструктивного реше- ния задач нельзя ограничиться лишь абстрактно-математическими средст- вами дескриптирования. Как минимум они должны быть обогащены средст- вами дескриптирования логики задач. Поэтому такие средства дескрип- тирования принято называть логико-математическими. В [12] дан обзор средств логико-математического дескриптирования. Показано, что в основе любого дескриптирования лежат явно или неявно выделенные логико- математические структуры задач. Ключевую роль среди последних играют функциональные и декомпозиционные структуры. Предпосылкой вовлечения в рассмотрение функциональных структур служит то, что любая задача, в конечном счете, сводится к получению по исходным данным требуемых результатов, т.е. является функцией. В [5, 8, 13] показано, что в силу объективных причин, дескриптирование не может быть ограничено лишь классическими функциями, а приходится по необхо- димости привлекать неоклассические и даже неклассические функции. Неоклассические функции, в отличие от классических, заданы на мно- жествах не просто абстрактных элементов, а таких, которые имеют опреде- ленную структуру. Точнее говоря, это функции типа BAf →: , где A и (или) B — множества именных множеств, которые в связи с этим стали на- зывать именными функциями [13]. Что касается неклассических функций, то они представлены так называемыми импульсными функциями, подробно рассмотренными, например в [4–8, 14, 15]. В первом приближении, им- пульсная функция может быть разъяснена как вид существования импуль- сов. Частным случаем такой функции может рассматриваться хорошо согла- сующаяся с традициями следующая конкретизация приведенного определения: функция есть множество импульсов [4–8, 14, 15]. При этом нетрадиционность импульса как абстракции действия состоит в его сущест- венной процессональности. Целостная система классических, неоклассических и неклассических функциональных структур образует фундамент логико-математического дескриптирования. Применение же его для решения задач связано со вскры- И.В. Редько, А.О. Татариков, М.П. Семенченко ISSN 1681–6048 System Research & Information Technologies, 2011, № 3 10 тием логики их решений. В основе последних лежат декомпозиционные структуры. Решение любой задачи, как правило, сопряжено с декомпозицией ее на более простые задачи, а значит, с декомпозицией соответствующей ей функции. В основе этих декомпозиций лежат отношения между сложными и сравнительно простыми объектами. Особое место среди них занимают отношения типа редукций. Последние базируются на функциях, которые в определенном смысле упрощают исходную задачу (функцию) и этим сводят (редуцируют) их к программам экспликативного программирования [9–11]. Непосредственно из дескриптивного аналога теоремы Геделя о непол- ноте вытекает, что логико-математическое дескриптирование не сводится не только к абсолютно, но даже к релятивно полной совокупности редукций. Однако, как показано, например в [9–12], удается построить финитную сис- тему редукционных отношений, которая является здесь прагматически пол- ной. Покажем, что уже простейшие частные случаи таких отношений, как, например, базирующиеся на редукции и h -редукции, обеспечивают доста- точно богатый арсенал средств дескриптирования. Введем понятия редукции и h -редукции. Функцию g называют редук- цией функции f справедливо тождество ffg =; . Функцию g называют h -редукцией функции f справедливо тождество hffg ;; = . Заметим, что в приведенных определениях « ; » — представляет собой оракул средств последовательного применения, точно так же, как f , g и h — оракулы законов, правил различной природы. Здесь они актуализируются в соответствии с заявленной ранее прагматикой, так « ; » есть операция мультиплицирования, сопоставляющая упорядоченной паре функций (клас- сических, неоклассических или неклассических) ),( fg новую функцию fg; , которая представляет собой последовательное выполнение исходных функций, обобщающее обычное произведение функций. Значимость введенных понятий состоит в обоснованных, например, в [9–12] тезисах редукционности и h -редукционности, содержательный смысл которых состоит в том, что если функция g есть редукцией ( h -редукцией) функции ,f то последняя может быть представлена в виде следующей схемы программы: until repeat pgF ≡ ( ;repeat ;Init( gF ≡ ) until ph . Здесь p — соответствующий g предикат, а Init — так назы- ваемая функция инициализации [8, 12]. Чтобы продемонстрировать возможности редукционного дескриптиро- вания задач обратимся к ряду простых, но репрезентативных задачах чис- ленного анализа. Дескриптирование в среде микроинтеграции. Пусть требуется ре- шить класс задач, состоящий из одной единственной задачи вычисления x с заданной точностью ,ε где x и ε ⎯ положительные вещественные чис- ла. Поэтому, ввиду сказанного, ее решение может быть адекватно представ- лено в среде микроинтеграции. Открыто-замкнутые основания сред интеграции. Часть ІІ Системні дослідження та інформаційні технології, 2011, № 3 11 Пусть ,...2,1,0}{ =kky — последовательность, в которой ;0 ay = =+1iy ; 2 1 ⎟⎟ ⎠ ⎞ ⎜⎜ ⎝ ⎛ += i i y xy ...),,2,1,0( =i где a — некоторое положительное веществен- ное число. Известно, что эта последовательность независимо от a сходится к x . Отсюда следует, что программирование вычисления x с заданной точностью может быть сведено к детализации именной функции ,f которая преобразует именное множество )}0,(),,(),,{( wvxu ε в именное множество )},{( nyw , где ny — первый член указанной последовательности, для кото- рого выполнено условие .2 1 2 ε<− −nn yy Рассмотрим именную функцию , 2 1: ;: pr prpr ⎟ ⎟ ⎠ ⎞ ⎜ ⎜ ⎝ ⎛ +== w uwwww где ячей- ка с именем prw содержит предыдущий элемент по отношению к элементу, хранящемуся в ячейке с именем w . Очевидно, что эта именная функция яв- ляется искомой редукцией функции .f Следовательно, ε<−⎟ ⎟ ⎠ ⎞ ⎜ ⎜ ⎝ ⎛ +==≡ 22 pr pr prpr until 2 1: ;:repeat ww w uwwwwf . При этом правильность вывода непосредственно вытекает из построе- ния. Дескриптирование в среде макроинтеграции. Ключевое отличие от предыдущего состоит в оракульности получаемых обогащений ИСР. При этом способы использования оракулов могут быть сколь угодно сложными. Это обуславливает необходимость прагматико-обусловленной индивидуа- лизации среди них методов, адекватных сегодняшним представлениям о по- строении ИТС и СП. В [9, 11, 12] обстоятельно обосновано выделение среди сред макроинтеграции сред рудиментарной и бипольной интеграции. Для сред рудиментарной интеграции (рудиментарных сред (РС)) использование оракулов, содержательно говоря, ограничивается тривиальной подстанов- кой. В случае же сред бипольной интеграции (бипольных сред (БС)) при решении задач задействуются не только средства макро- и микроинтегра- ции, но также, в полной мере, и интерфейсная среда. Обусловлено это не столько оракульностью обогащения ИСР, сколько необходимостью поддер- жания нетривиальных зависимостей между самими оракулами. Причем оче- видно, что наличие таких «базовых» зависимостей порождает зависимости уже между самими процессами взаимодействия оракулов, т.е. зависимости высшего типа и т.д. Проведем дескриптирование в РС применительно к задаче нахождения решений в классе уравнений вида )(xx ϕ= , где функция )(xϕ удовлетворя- ет следующим двум условиям: • она определена и непрерывно дифференцируема на всей числовой прямой; И.В. Редько, А.О. Татариков, М.П. Семенченко ISSN 1681–6048 System Research & Information Technologies, 2011, № 3 12 • существует такое вещественное число 1<p , что для всех x модуль производной px ≤′ )(ϕ . Известно, что применительно к такому классу уравнений метод после- довательных приближений сходится. Иными словами, начав с произвольно- го вещественного числа 0x (начального приближения), можно построить последовательность ...,,, 210 xxx , где ...,2,1),( 1 == − ixx ii ϕ , сходящуюся к решению исходного уравнения. В основе дескриптирования поиска решения уравнения, очевидно, ле- жит сведение его к вычислению приближенного решения, то есть такого элемента упомянутой последовательности приближений, который удовле- творяет двум условиям: • для любого , 1 ε≥−< −ii xxni где ε — наперед заданное положи- тельное вещественное число; • ε≤− −1nn xx . Отсюда следует, что поиск приближенного решения уравнения )(xx ϕ= поддерживается функцией ,f которая преобразует именное мно- жество )},(),,{( 0 εuxv в именное множество )},{( nxv , где nx ⎯ первый член последовательности приближений, для которого выполняется второе условие. В качестве редукции функции ,f очевидно, может быть выбрана именная функция )(:;: prpr vvvv ϕ== . Здесь prv — имя ячейки, в которой содержится предыдущий элемент по отношению к элементу, присвоенному ячейке с именем .v Отыскав нужную редукцию, можем автоматически построить заведомо корректную схему программ: uvvvvvvf <−==≡ prprpr until )(: ;:repeat ϕ . Дескриптирование в БС проиллюстрируем применительно к задачам вычисления операции сумирования. При этом под функцией, заданной опе- рацией суммирования, понимают функцию, определяемую равенством ∑ = −− = m i nn ixxgmxxf 1 1111 ),,...,(),,...,( , где ),,...,( 11 ixxg n− — произвольная, но фиксированная функция, зависящая от вещественных переменных ….,1x 1, −nx… и переменной ,i принимающей натуральные значения. В качестве функциональной структуры программы вычисления функ- ции ),...,( 1 nxxf , зависящей от вещественных переменных 11,..., −nxx и пе- ременной nx , принимающей натуральные значения, целесообразно выбрать именную функцию ,F которая отображает именные множества ...),,{( 11 av )},(),,(,... 11 mvav nnn −− в именные множества )},,...,(,{( 11 maafw n− , где 11,..., −naa — вещественные числа, а m — натуральное число. Что же каса- ется построения соответствующей ИС, то ее задание упирается в построение подходящей h -редукции функции .F Открыто-замкнутые основания сред интеграции. Часть ІІ Системні дослідження та інформаційні технології, 2011, № 3 13 Чтобы построить такую h -редукцию, обратимся к основному свойству функции ),...,( 1 nxxf : )1,,...,()1,,...,( 1111 −− = nn xxgxxf , )1,,...,(),,...,()1,,...,( 111111 ++=+ −−− mxxgmxxfmxxf nnn . Непосредственно отсюда следует, что оператор присваивания 1: += nn vv является Gwwvv nn +=+= :;1: -редукцией функции f , где G — именная функция, сопоставляющая каждому именному множеству )},(),,(),...,,{( 1111 mvavav nnn −− число ),,...,( 11 maag n− . Поэтому имеет место равенство: . until : ;1:repeat ;0:;0: nvuGwwuuwuF =+=+===≡ Характерной особенностью данной схемы является ее относительность, проявляющаяся во вхождении функции G . Поэтому, как и в случае РС, она представляет собой структуру не конкретной программы, а программы с оракулом (схемы программ). Конкретные программы получаются из этой схемы путем замены функции G конкретной функцией. Возьмем, например, в качестве ),,...,( 11 ixxg n− функцию i ig 1)( = . Производя указанную замену, получим программу часто рассматриваемой функции ∑ = m i i1 1 : vuiwwuuwuF =+=+===≡ until 1: ;1:repeat ;0:;0: . Совершенно аналогичным образом дескриптируется вычисление функ- ции, определяемой равенством: ).(,),,...,(),,,...,( 1111 mkixxgmkxxf m ki nn ≤=∑ = −− А именно: 1 until : ;1:repeat ;0:;1: +=+=+==−=≡ nvuGwwuuwkuF . Используя эту программу, не представляет никакого труда построить программу для вычисления функции, заданной равенством: ,),,...,(),...,( ),...,( ),...,( 11 1 1 ∑ = = n n xxm xxki nn ixxgxxf где ),...,( 1 nxxk и ),...,( 1 nxxm — такие функции вещественного аргумента и натурального значения, что ),...,(),...,( 11 nn xxmxxk ≤ для всех nxx ,...,1 . Ни- же представлена соответствующая схемы программы: ;0:;1},...,{:};,...,{: 111 =−==≡ + wvvkuvvmvF nnn 1 until : ;1:repeat +=+=+= nvuGwwuu , где },...,{ 1 nvvm и },...,{ 1 nvvk — именные функции, соответствующие функ- циям ),...,( 1 nxxk и ),...,( 1 nxxm . И.В. Редько, А.О. Татариков, М.П. Семенченко ISSN 1681–6048 System Research & Information Technologies, 2011, № 3 14 В отличие от случая рудиментарных сред, задачи, решаемые в рамках бипольных сред, как задачи высшего типа характеризуются нетривиальной взаимосвязью многих оракулов. Поэтому адекватное решение их нецелесо- образно ограничивать рамками РС, так как оно объективно требует более высокого уровня интеграции, индуцированого нетривиальным взаимодейст- вием оракулов, как между собой, так и с макро- и микросредой интеграции. Рассмотренные функциональные и декомпозиционные структуры, яв- ляются важнейшими аналитическими инструментами логико-математи- ческого дескриптирования задач и их решений. Однако очевидно, что огра- ничиться в решении задач лишь анализом нельзя. Ведь синтез решения любой задачи, опирающийся на предварительно проведенный ее анализ яв- ляется необходимой составляющей процесса решения. Такое взаимодопол- нение анализа и синтеза играет ключевую роль в концепции OC-System. Оно нашло непосредственное отражение в общезначимом статусе логико- предметной взаимосвязи понятий ОЗСР и ОЗС, которая естественно перено- сится как на уровень интеграционных сред и систем, так и любых других видов открыто-замкнутых сред и систем. Следствием общезначимости ЛПО в открыто-замкнутых, в частности, интеграционных рассмотрениях является его малосодержательность. Поэтому необходимо прагматико-обусловленное обогащение ЛПО ИСР. Предварим его некоторыми содержательными сооб- ражениями. Ранее отмечалось, что прагматика данной работы тесно связана с изу- чением бизнес-процессов, как процессов поддерживающих решение тех или иных задач в иерархически организованной среде. В свете ранее изложенно- го предположение о том, что любой такой процесс опирается на адекватное прагматике задачи разбиение ее на более простые составляющие, не являет- ся излишне обремененным конкретикой. Причем остовом такого разбиения является, очевидно, поддерживающее иерархию среды отношение подчинен- ности, а глубина и широта разбиения ограничена лишь требованием адек- ватности прагматике. Поэтому индивидуализация среди ЛПО ИСР логико- предметных отношений иерархического типа соответствует прагматике данной работы, а следовательно, является лейбницевым обогащением. Последнее, являясь сущностью, может быть рассмотрено с точки зрения ОЗС. ИЕРАРХИЧЕСКИЕ ЛПО В КОНТЕКСТЕ OC-SYSTEM В первом приближении любая система, поддерживающая иерархическое ЛПО представляет собой предметное обогащение остовного отношения подчиненности. Ключевым элементом микросреды остова, рассматриваемо- го в контексте ОЗСР, очевидно, является биполь <главный, подчиненный>, погруженный в логику частичного порядка. По сути, реализация такого зве- на подчиненности является редукцией процесса экспликации отношения подчиненности любой иерархически организованной среды. При этом, при- рода упомянутого ЛПО как обогащения отношения подчиненности обладает явно выраженной нетривиальной оракульностью и, соответственно, сама иерархическая среда — макроинтеграционностью. Необходимо отметить, что та или иная прагматико-мотивированная актуализация оракулов ЛПО обогащает рассмотрения, переводя их в плоскость рассмотрения более кон- кретных сред и систем. Открыто-замкнутые основания сред интеграции. Часть ІІ Системні дослідження та інформаційні технології, 2011, № 3 15 Рассмотрим в рамках OC-System один прагматико-обусловленный вид такого обогащения, направленный на поддержание процессов анализа биз- нес-процессов в предметной области и реализованный авторами в виде ИТС «СКИФ». В первом приближении это обогащение сводится к рассмотрению биполя подчиненности как ИСР, которая поддерживает взаимодополнение ассоциированных с биполем задач, функций и информационных потоков (информации). Рассмотрим это взаимодополнение с логико-предметной точки зрения, т.е. как оракульное ЛПО, в котором задачи, функции и ин- формация вовлекаются как оракулы. Дескриптирование, ввиду еизложенно- го выше проведем в бипольной среде интеграции. Биполь <задача, функция> поддерживает взаимодополнительность за- дач и функций рассматриваемого биполя подчиненности. Его обогащение в системе «СКИФ» поддерживается операциями «распараллеливание» и «функциональная конкретизация». Заметим, что здесь и далее термин «опе- рация» понимается в широком, естественно-научном, а не формально- математическом смысле. Содержательно, суть первой состоит в конкретиза- ции связи от полюса «главный» к полюсу «подчиненный» как узлов иерар- хии. Здесь параметр (оракул) «задание» как носитель наиболее общих, в том числе непроцедурных, представлений о присущей биполю задаче (т.е. «то, что надо сделать») обогащается неким агрегатом параметров (оракулов) «функция» как конкретизаций того, «что надо сделать» тем, «как это де- лать». При этом сам агрегат также, очевидно, есть оракулом этой системы, который может быть актуализирован, например, как множество. Сказанное, в первом приближении, можно представить в виде диаграммы (рис. 1). Операция распараллеливания обогащает лишь природу взаимодопол- нительности биполя <задача, функция> и никак не затрагивает природу соб- ственно полюсов. Обогащение ее, естествинно, связано с исключением абстракции оракульности этих полюсов. Роль функциональной конкретизации (ФК) в дескриптировании биполя <задача, функция> состоит в обеспечении применимости функции к аргу- менту. Природа таких применений обстоятельно рассмотрена в [8, 12]. Сре- ди всего их многообразия были мотивировано индивидуализированы два их общезначимых типа: непосредственное и опосредованное применения. Со- держательный смысл ФК состоит в том, что функция биполя <задача, функ- ция> может быть применена к аргументу либо непосредственно, и тогда это означает, что дальнейшего ее обогащения не требуется, либо опосредован- но. Поэтому функции первого типа именуют базисными функциями. В пос- леднем случае речь идет об апплицировании функции [12], которое также имеет явно выраженный оракульный характер. В ИТС «СКИФ» апплициро- вание функции актуалтзируется в виде задания «примененить функцию к аргументу» одному из подчиненных узлов иерархии. В этом случае новое задание должно будет пройти весь процесс обогащения на подчиненном уз- ле. Поэтому естественно такие функции называть составными функциями. Задание [функция1, функция2, … , функцияn] Рис. 1. Операция распараллеливания И.В. Редько, А.О. Татариков, М.П. Семенченко ISSN 1681–6048 System Research & Information Technologies, 2011, № 3 16 Таким образом, процесс обогащения биполя <задача, функция> может быть в первом приближении представлен следующей диаграммой (рис. 2). Информационное обогащение параметров «задание» и «функция» также взаимное. С одной стороны актуализация оракула «информация» не- посредственно обогащает базисные функции и опосредованно — составные функции и задания. С другой — функции не только получают, но и проду- цируют информацию, обогащая этим в целом информационное поле. Ввиду достаточной прозрачности этих процессов, обстоятельно останавливаться на них не стоит. Хотя отметим, что любая базисная функция узла должна быть полностью конкретизирована на нем. Ведь последующих конкретизаций ее не предусмотрено. Это означает, что дескриптирование базисных функций по необходимости выполняется в среде микроинтеграции. Рассмотренные здесь операции распараллеливания, функциональной конкретизации и информационного обогащения составляют остов взаимо- дополнения задач, функций и информации биполя <главный, подчиненный> дерева подчиненности исследуемой иерархически организованной среды. Именно он составляет ядро системы анализа бизнес-процессов ИТС «СКИФ». ЗАКЛЮЧЕНИЕ Решение любой задачи суть интеграция решений ее подзадач. Значимость интеграционной проблематики в информатико-технологической области сегодня признается практически всеми. При этом современное ее состояние характерно тем, что применяемые здесь традиционные методы решения за- дач носят явно выраженную экстенсиональную природу. Содержательно говоря, все они поддерживают стратегию интеграции «от достигнутого», т.е. от отдельных решений подзадач. Ярким представителем этого подхода яв- ляется, например, так называемое модульное программирование, в котором основное внимание уделено стандартизации собственно модулей, в частно- сти, присущих им средств коммутации как универсального средства инте- грации. Однако для интеграционных задач не столько важна потенциальная возможность их решения, сколько то, что, во-первых, с любой из них нераз- Задание Распараллеливание Составные функции Базисные функции ФК ФК Рис. 2. Обогощение биополя Открыто-замкнутые основания сред интеграции. Часть ІІ Системні дослідження та інформаційні технології, 2011, № 3 17 рывно связан определенный прагматикой решаемой задачи смысл (интен- сионал), и, во-вторых, эффективное решение любой интеграционной задачи возможно только посредством учета ее интенсионала в рассмотрении. Именно это обуславливает рассмотрение сред интеграции, презентующих смыслы задач. Поэтому создание инструментария, поддерживающего по- строение прагматико-обусловленных ИСР является ключевой задачей в ин- теграционной проблематике ИТС. Предложенный в работе подход к иссле- дованию ИТС посредством вовлечения в рассмотрение взаимодействия полюсов биполя <ИСР, ИС> позволяет реально, а не номинально поддер- жать взаимодополнение процессов решения информатико-технологических проблем с их результатами и, следовательно, не просто обеспечить потенци- альную возможность решения интеграционной задачи, но и, что наиболее важно, поддержать процесс пошагового порождения соответствующей сре- ды интеграции. ЛИТЕРАТУРА 1. Редько И.В. Открыто-замкнутые основания сред интеграции. Часть 1. // Системні дослідження та інформаційні технології. — 2010. — № 4. — С. 1–17. 2. Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. — М.: Мир, 1972. — 624 с. 3. Мальцев А.И. Алгоритмы и рекурсивные функции. — М.: Наука, 1965. — 391 с. 4. Редько В.Н., Редько И.В., Гришко Н.В. Дескриптивные системы: концептуаль- ный базис // Проблемы программирования. — 2006. — № 2–3. — С. 75–80. 5. Дескриптивные аспекты системного подхода // Системні дослідження та інформаційні технології. — 2005. — № 3. — С. 7–28. 6. Редько И.В. Экзистенциальный базис дескриптивных сред // Проблемы про- граммирования. — 2008. — № 1–2. — С. 15–24. 7. Редько И.В. Экзистенциальный базис сущностных сред // Системні досліджен- ня та інформаційні технології. — 2008. — № 3 . — С.16–31. 8. Редько И.В. Теория дескриптивных сред и ее применения // Докт. дисерт. — К.: НТУУ «КПІ». — 2008. — 403 с. 9. Редько І.В. Експлікативне моделювання середовищ інтеграції // Наук. зап. НАУКМА. — 1999. — Т. № 16: Комп’ютерні науки. — С. 30–35. 10. Редько І.В. Процесологічні аспекти середовища моделювання // Наук. зап. НАУКМА. — 2003. — Т. № 21: Комп’ютерні науки. — С. 38–50. 11. Редько И.В. Экспликативное моделирование в среде интеграции // Вестн. Междунар. Соломонова ун-та. — 2000. — № 4. — С. 92–102. 12. Редько В.Н., Гришко Н.В., Редько И.В. Экспликативное программирование в среде логико-математических спецификаций // Тр. Первой междунар. науч.- практ. конф. по программированию УкрПРОГ’98 (доклад). — Киев. — 1998. — С.71–76. 13. Редько В.Н. Основания композиционного программирования // Программи- рование. — 1979. — № 3. — С. 3–13. 14. Редько В.Н., Редько И.В. Экзистенциальные основания композиционной пара- дигмы // Кибернетика и системный анализ.— 2008. — № 2. — С. 3–12. 15. Редько И.В. Прагматические основания дескриптивных сред // Проблемы про- граммирования. — 2005. — № 3. — С. 3–25. Поступила 30.04.2010

Открыто-замкнутые основания сред интеграции. Часть ІІ

Репозитарії

Схожі ресурси