определенный процесс = пошаговое определение совокупности

advertisement
УДК 007.51
А. Ф. Манако
КАРКАС ОЦЕНКИ МАНОК-УЗЛОВ
Описан каркас оценки МАНОК-узлов: постановка задачи ZQML и модели для ее решения.
A MANOK-node evaluation framework is described.
Описано каркас оцінки МАНОК-вузлів: постановку задачі ZQML та моделі для її розв’язання.
Введение. В предыдущих статьях автора, посвященных построению МАНОК1систем, в частности, описаны основная проблема, концептуальные идеи и принципы по<IBY>
строения МАНОК-систем (задача Z
MOD
) каркасы построения МАНОК (задача Z
)и
Ŝ_FÂ
МАНОК-систем (задача Z
) [1–7].
В настоящей статье описан каркас (основные положения) оценки МАНОК-узлов.
Постановка задачи. В результате решения задач Z<IBY>, ZMOD, ZŜ_FÂ, в частности,
предложено реализационную функциональную архитектуру FĄℓa МАНОК-систем в виде
диаграммы (17) [6], в соответствии с которой композитами любой комбинации МАНОКсистем <Ş>, соответствующей этой FĄℓa являются [6]: IAK-node – МАНОК-узел, т.е.
класс определенных процессов [1] DP/IAK с 8 подклассами DP/IAK (эталонная модель DP
МАНОК-узла), где IAK – это инновационное агрегирование
объектов учебно-
ориентированного контента (уок), представленное композитами МАНОК [2–4]; WS – это
Веб-сервисы или SOA-сервисы; DPL3/-tools, DPAS/-tools [5–7]. Обозначим ZQML – задачу
оценки <Ş> = <<ŞN>, <DPN>, <WSN>>, где ŞN – это МАНОК-узел Ş, а DPN и WSN – это,
соответственно DP/ и сервисы МАНОК-узла [5, 6]. Тогда разработка постановки задачи
ZQML включает следующие шаги: „Адаптировать релевантные международные / национальные стандарты”; „Разработать каркас вербального описания ZQML”; „Определить релевантные опорные частичные модели и методы (ОЧМ) МАНОК”; „Разработать каркас
формального описания ZQML”.
Оценку <Ş> можно осуществлять в различных ситуациях, контекстах, с разными
назначениями, на различных уровнях МАНОК()-абстракции-реализации, для разных областей и композитов МАНОК-узлов. Рассмотрим подробнее взаимосвязь композитов
„оценки <Ş>”. По определению eldS – это уок-киберпространство (ldS), которое оценивается степенью использования прототипов ІАК [1]. Слово „прототип” означает, что созданный прототип ІАК становится ІАК после практической апробации прототипа, во1
Укр. аббр. МАНОК: Модель Агрегатування Навчально-Орієнтованого Контенту.
1
первых, в ldS (DPL3/-tools) и dS (DPAS/-tools), во-вторых, в eldS как описано IAK+диаграммой (которая является обратной IAK-диаграммой (15) – см. в [6]):
Обработка ІАК в <ŞN> формально описывается, в частности, ІАК-квадратом вида (в соответствии с принципом двойственности, направления всех стрелок можно одновременно
изменить на противоположные):
где: <> – обозначение комбинации того, что содержат эти скобки; MOD – каркас опорных
частичных моделей и методов (ОЧМ / MODi МАНОК, MOD = <<S>, <MODi>, ..…>,
(MODi
<S>; <S> = <<eldS>, <ldS>, <dS>>); <MOD> – композиты MOD сводного МА-
НОК-узла; MODm , MODn – композиты MOD, которые обрабатываются или могут обрабатываться разными МАНОК-узлами (-системами, -средами). Пример интерпретации ІАКквадрата: <MOD> – сводная MOD, которую по определению поддерживает сводный ŞN;
MODm (MODn) – составляющая <MOD>, которую должен поддерживать ŞNm (ŞNn). Содержательно стрелки интерпретируются как информационные потоки и потоки управления (в т.ч. потоки, связанные с оценкой <ŞN>), которые являются композитами <<DPN>,
<WSN>>. Отметим, что в границах каркаса построения МАНОК-систем перечисленные
композиты являются категорными объектами или стрелками [5, 6], т.е. в соответствии с
АРИП-методом (основным методом построения МАНОК-систем) минимальной формальной структурой (м.ф.с.) является категория [6, 7].
Таким образом, для любой комбинации ŞN: – ІАК как входной элемент может быть
или вербальным описанием потенциального композита <MOD> или композитом <MOD>;
– ІАК как выходной элемент может быть композитом <MOD>; – ІАК как входной и / или
выходной элемент обрабатывается композитами <<DPN>, <WSN>> МАНОК-узлов. В соответствии с принципом ИННОВАЦИОННОСТЬ2, основной критерий оценки МАНОКсистем – степень использования ІАК на S при помощи МАНОК-систем [7]. По определению этой «степенью» считается „уровень зрелости <Ş> = <<ŞN>, <DPN>, <WSN>>, где
2
<<DPN>, <WSN>>
<ŞN>”. Формальную и содержательную интерпретацию такого оп-
ределения описано в последующих шагах решения задачи.
Решение задачи. В соответствии принципом построения МАНОК-систем ИННОВАЦИОННОСТЬ1 (Девиз и главный принцип построения МАНОК-систем. Динамическое
создание нового е-знания на S в форме ІАК при помощи МАНОК-систем, общим конечным результатом использования которых будут люди с высококачественными у3компетенциями) [6]. В Меморандуме непрерывного обучения (у3) стран ЕС, в частности,
отмечено [8]: "Поскольку мы движемся к обществу знаний, то изменяется и наше понимание: «Что такое обучение, где, как и для каких целей оно проводится как? … Критерием
является качество учебной практики и ее результатов, в том числе удовлетворение самих
обучаемых.». Поэтому „релевантными” стандартами в формулировке шага «Адаптировать
релевантные международные / национальные стандарты» считаются стандарты, касающиеся „качества процессов / сервисов, управления качеством (процессов / сервисов DPL3 ,
DPAS)” <Ş>, т.е. которые можно использовать для внешней оценки <Ş>. Пример релевантного стандарта – для оценки программного обеспечения (ПО) образовательного назначения как конечной продукции и процессов жизненного цикла (ЖЦ) ПО в Европейской сети (проекте) ERMES [9] разработано и используются критерии, адаптированные на базе
стандарта качества ПО – ISO 9612. Ключевым недостатком этого критерия оценки, на наш
взгляд, является его «статичность» (отсутствие динамической связи показателей качества
с динамиками процессов и сервисов на базе соответствующих эталонных моделей ЖЦ).
Однако, важно другое – для релевантной сферы применения идентифицировано простую
форму оценки, а именно, объект оценки (конечная продукция, процессы), с которым ассоциировано показатели и критерии оценки. Форма оценки <Ş> принципиально важна – в
соответствии с основным методом построения МАНОК-систем (АРИП-метод) [9] в результате исполнения первого шага МАНОК()-абстракция должна быть идентифицирована
минимальная формальная структура (м.ф.с.) для понятия „оценка <Ş>”.
В результате анализа релевантных международных и национальных стандартов (в
частности, ISO/IEC 12207:1995, ISO/IEC TR 15271:1998, SA-CMM, 1996,
TR 15504-
2:1998, ISO/IEC TR 15504-CMM:2001, методология оценки в Национальной программе
качества Baldrige, ISO/IEC 9004:2000 [10–13]) и с учетом практического опыта оценки у3компетенций [4] на базе подхода, предложенного в статье [14], для понятия „оценка <Ş>
= оценка уровня зрелости <Ş>” идентифицировано м.ф.с. типа (O, I, P), где: О = {O} –
комплекс объектов (композитов <ŞN>), I = { I} – комплекс информационных описаний
объектов (данных / метаданных о свойствах О), Р = {P} – комплекс предикатов, ассоциированных с (O, I). Запись типа предикат Рij =1 означает, например, что в результате вы3
полнения некоторой процедуры Π (греческая буква), установлено, что «объект Оi имеет
свойство (свойства), которое представлено Ij». Если Рij = 0, то „Оi не имеет свойства ...”.
Процедура (оператор, алгоритм, процесс, ...) Π может исполняться (вычисляться) человеком и/или автоматически. Запись типа Рij = ∆ означает, что эта процедура Π не может вычислить этот предикат. Для м.ф.с. типа (O, I, P) релевантными классами ОЧМ МАНОК
являются <МАНОК()-задача>,
(МАНОК()-задачи класса ZQ), <концепты> (позволяют
описывать иерархии (O, I, P)) [6].
Для разработки каркаса вербального описания постановки задачи ZQML адаптировано и использовано идеи, понятия и методы, в частности из указанных выше стандартов.
Обозначим: A (assessment) – оценка; ML (maturity level) – уровень зрелости. В каркас введено три размерности для A: подход (Какая эталонная модель процессов / сервисов используется?), распространение (композитов эталонной модели в различных областях
применения <Ş>) и результаты (в различных областях применения <Ş>). Информация о
распространении должна подтверждать „что и с какой скоростью” происходит в различных областях (участках) применения МАНОК-узлов и их компонентов. Примеры количественных факторов A подхода: «Соответствие установленным требованиям; Эффективность использования; Соответствие персонализированным потребностям; Свидетельство /
подтверждение инноваций». Примеры качественных факторов A распространения: «Использование подхода пользователем; Использование подхода всеми приспособленными
экземплярами / компонентами МАНОК-узлов». Примеры качественных факторов A результаты: «Текущее поведение или функционирование / исполнение; Поведение относительно сравнений / тестов; Скорость, охват и важность улучшений в поведении или функционировании / исполнении; Связь измерений результатов с основными требованиями к
функционированию или улучшению качества от заинтересованных сторон, рынка, процесса, плана». В работе [6] для класса DP Seeker/ FĄℓa рекомендовано следующие размерности / темы высокого уровня: „Технологии, Стандарты, Инфраструктуры, Процессы,
Мощности, Наилучшая практика, Бизнес-модели, Стратегии”. Примеры типов композитов А: «КОНТЕКСТ-DP А: предназначена для обеспечения оценки контекста, связанного с
DP. Примеры контекста: долгосрочные ожидания, назначения; ВХОД-DP А: предназначена
для обеспечения оценки альтернативных входов для удовлетворения потребностей и/или
ожиданий, идентифицированных о контекстах оценки. Примеры: альтернативные видения
будущего, стратегии, участники, технологии, модели; DP А: предназначена для обеспечения пошаговой оценки. Примеры: ролевая структура, стратегии, сотрудничество, использование технологий, социальные взаимодействия, обучение; ВИХІД DP А: предназначена
для обеспечения оценки результатов и/или продукции».
4
Вербальное описание постановки задачи ZQML: „(в контексте Q) По комплексу информационных описаний I для комплекса объектов О
<Ş> вычислить значения ком-
плекса предикатов P”. Формальное описание постановки ZQML представлено в виде (1)-(5).
ZQML = ZQML (O, I, P) , (O, I)
<ŞN>
(1)
Решить ZQML(O, I, P) означает построить процедуру (оператор, алгоритм, процесс,
...), который вычисляет предикаты:
ΠQML (O, I, P) = ||αij||, αij = {0, 1}
(2)
ΠQML (O, I, P) = ||βij||, βij = {0, 1, ∆}
(3)
где ∆ означает, что ΠQML не вычислила предикат (он считается некорректным).
Если создано комплекс процедур ΠQML = {ΠQML (O, I, P)}, то ZQML (O, I, P) записывается в виде
ZQML = ZQML(O, I, P, ΠQML)
(4)
DPQML: <ŞN(ML)> → <ŞN(max ML)>
(5)
т.е. трансформируется в задачу выбора процедуры при заданных условиях, например, выбор алгоритма, который доставляет max ML (maturity level; уровень зрелости) и/или экстремум определенной функции качества. В состав комплекса ΠQML обычно входят алгоритмы, которые генерируют или вычисляют метаданные (специализации алгоритмов).
Пример интерпретации описания ZQML как задачи классификации. Для набора объектов {D}
<Ş> вычислить предикаты {Р} = {P1,..., PL}, которые заданы в виде:
L
Рj (D) =”D
Kj”,

Kj = {D}. В работе [15] предложена модель для вычисления оце-
j 1
нок (в т.ч. доказано соответствующую теорему), которая позволяет описать логические
связи в структурной модели алгоритма вычисления оценок для решения задач ZQML как
задач классификации.
Пример интерпретации описания ZQML как задачи принятия решений. Обозначим
{D} – набор ситуаций, каждая из которых описывается в виде некоторой комбинации объектов из <Ş>, т.е. {D}
<Ş>. Каждая ситуация естественно содержит: группу людей и/или
программных агентов, которые исполняют роль ЛПР (лицо, которое принимает решение);
информационное описание или образ реальной ситуации; собственно решение. Следствием принятого решения является новая ситуация (переход от одной ситуации к другой
осуществляется пошагово). Ситуация описывается набором слов некоторого языка с заданием связей между компонентами, т.е. выделено логическую структуру. Обозначим также: R – решение, которое принято в ситуации D, {R} – набор таких решений, {Р} = {P1,...,
PL} – набор предикатов, которые зависят от {D} и {R}. Допустим, что {R} разбито на классы K1, ...,KL и
5

Kj = {R}, (Ki
Kj ≠
).
j 1
Будем считать, что предикат Р имеет вид Pj(D) — «в ситуации D принято решение R Kj”.
Каждую ситуацию из {D} задано набором признаков / свойств x1, …, xn с областями значений {ai}, 1 ≤ i ≤ n. Назовем хi i-ой компонентой ситуации D. Решение, которое принимается в ситуации D, обозначим R(D). Ситуация представляется в виде комбинации слов некоторого языка (например, в виде комбинации <…> из членов классов ОЧМ МАНОК) и
числовых значений (которые ассоциировано с этими комбинациями <…>). Решение R(D)
можно представить в виде R(D) = (y1, …, ym), где yi – некоторые признаки с областями
значений {bi}, 1 ≤ i ≤ m. В работе [16] предложена модель последовательного принятия
решений (введено понятие «близости решений в пространстве решений»), которую можно
использовать для разработки программного обеспечения принятия решений, в частности,
для решения задач ZQML как задач принятия решений
Пример интерпретации описания ZQML с м.ф.с. типа категорія. Совокупность матриц (2)-(3) интерпретируется как категория матриц.
Разработка моделей для решения задач ZQML организуется в пределах единой постановки ZQML и единой схемы из решения, которая включает следующие шаги (перечень
не полный): – построение и совместное использование реестра уникально идентифицированных постановок ZQML (должен обеспечивать сводный МАНОК-узел); – адаптация
и/или разработка новых постановок ZQML; – идентификация, регистрация и доставка схем
решения ZQML; – идентификация и регистрация моделей, которые поддерживают процесс
решения ZQML; – разработка новых классов моделей с разными структурами І; – идентификация, регистрация и доставка текущей стандартной / структурной І [16].
Заключение. Оценку МАНОК-узлов можно осуществлять в различных ситуациях,
контекстах, с разными целями, на различных уровнях МАНОК()-абстракции-реализации,
для разных областей применения и принятия соответствующих решений для систематического улучшения уровня их зрелости. Каркас оценки МАНОК-узлов построено в соответствии с принципами построения МАНОК-систем и релевантными международными стандартами. На базе основного метода построения МАНОК систем идентифицирована и описана м.ф.с для задачи оценки уровня зрелости МАНОК-узлов, что позволило разработать
формальную постановку задачи с интерпретациями в виде соответствующих классов задач классификации и принятия решений. Интерпретация этой м.ф.с. как категории позволяет использовать этот каркас в формальных описаниях концептов МАНОК-систем.
6
1. Манако А.Ф. Сетевое общество и учебно-ориентированные технологии для всех // Управляющие
системы и машины. – 2004. – № 4. – С.123–130.
2.
Манако А.Ф. Моделі агрегатування об’єктів навчального контенту на базі систем інформаційних і
навчальних технологій // Проблеми програмування. Спеціальний випуск «Труди Четвертої міжнародної науково-практичної конференції з програмування «УкрПРОГ’2004». – 2004. – № 2-3. –С.
587–594
3.
Манако А.Ф. Информационно-дидактический базис МАНОК/S // Управляющие системы и машины.
–2005. –№3. –С. 63–70.
4.
Манако А.Ф. Підхід до моделювання цілеспрямованого розвитку інноваційних інформаційних технологій„навчальні об’єкти // Проблеми програмування, Спеціальний випуск «Матеріали П’ятої міжнародної науково-практичної конференції з програмування «УкрПРОГ’2006». – 2006. – № 2-3. – С.
475–481.
5.
Манако А.Ф. Каркас побудови МАНОК-систем // Бионика интеллекта. – 2006. – № 2(65). – С. 77–
82.
6.
Манако А.Ф. Системные аспекты моделирования целенаправленного развития инновационных информационных технологий „учебные объекты” // Управляющие системы и машины. – 2006. – №6. –
С. 10–19.
7.
Манако А.Ф. Принципы построения МАНОК-систем // Управляющие системы и машины. – 2007. –
№1. – С. 81–89.
8.
A memorandum on life-long learning. Commission staff working paper. Brussels, SEC, No 1832, 2000. –
36 p.
9.
Avellis, G. &Capurso, P. ERMES (European Network For Multimedia Educational Software) Evaluation
Methodology To Support Teachers In Skills Development. In Downes T. & Watson D. (Eds.): Communications and Networking in Education: Learning in a Networked Society, (Post-conference book of
ComNEd'99, Aulanko, Finland, June 13-18, 1999).
10. Оценка и аттестация зрелости процессов создания и сопровождения программных средств и информационных систем (ISO/IEC TR 15504-CMM). Пер. с англ. А. С. Агапов, Н. Э. Михайловский, А.
А. Мкртумян. М.: Бизнес и книга, 2001.
11. ISO/IEC 13236:1998, Information technology - Quality of Service: Framework. International standard.
ISO/IEC 13236: 1998. – 47 p. (Інформаційна технологія – Якість сервіса: Основні положення
(ISO/IEC 13236:1998, MOD). К.М. Синиця (керівник розробки); А.Ф. Манако; В.В. Манако. К.:
ДЕРЖСТАНДАРТ УКРАЇНИ, 2002).
12. Baldrige National Quality Program. 2000 Education Criteria for Performance Excellence. – NIST,
Guithersburg, MD 20899-1020. – 2000. – 54 p.
13. ISO/DIS 9004:2000. Quality management systems – Guidelines for performance improvements. – 51 p.
14. Манако А.Ф. Информационные ресурсы для непрерывного обучения. // Управляющие системы и
машины. –2002. – №3/4. – С. 41–49.
15. [25] Иванченко (Манако) А. Ф., Кондратьев А. И.. Логические структуры в алгоритмах вычисления
оценок //Кибернетика. – 1984, – №4. – С. 121 – 123.
16. Стогний А.А., Иванченко (Манако) А. Ф., Кондратьев А. И. Теоретико-игровая модель процесса
принятия решения в информационно-распознающих системах // Кибернетика. – 1983. – №6. – С. 115
– 117.
7
Download