Парадигма триединого континуума - Triune continuum paradigm

В Парадигма Триединого Континуума это парадигма за общее системное моделирование опубликовано в 2002 г.[1] Эта парадигма позволяет построить строгие концептуальные рамки, используемые для системное моделирование в различных прикладных контекстах (как специализированных, так и междисциплинарных).

Обзор

Как указано в Кембриджский философский словарь:[2] "Парадигма, используемая Томасом Куном (Структура научных революций, 1962), относится к набору научных и метафизических убеждений, которые составляют теоретическую основу, в рамках которой научные теории могут быть проверены, оценены и, при необходимости, пересмотрены ».

Парадигма Триединого Континуума верна этому определению, определяя набор научных принципов, в рамках которых концептуальные основы используемые для моделирования систем в различных контекстах, могут быть построены, протестированы, оценены и пересмотрены.[3]

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

Согласно Herrera et al.,[4] Парадигма Триединого Континуума - это полная теоретическая база, которую можно использовать для построения или улучшения современных структур моделирования, которые используются для моделирования систем в различных контекстах, в частности, в разработка программного обеспечения и в разработке информационные системы предприятия.

Основы и их значение

Парадигма Триединого Континуума основана на трех теориях: Теория истины Тарского, на Теория типов Рассела, и по теории триединого континуума.[5] В применении к общему системному моделированию теории приводят к трем принципам:[3]

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

Приложения парадигмы

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

  • RM-ODP
Парадигма применялась в области программного обеспечения и системная инженерия, чтобы формализовать основы эталонной модели открытой распределенной обработки (RM-ODP ) концептуальная основа.[6] По описанию Дейкмана,[7] Науменко в 2002 году определил абстрактный синтаксис для RM-ODP на языке под названием Сплав который использует теоретико-множественное формальная семантика.
  • UML
Парадигма была применена для определения формальной метамодели для UML.[8] По словам Лано,[9] В этом приложении было выявлено отсутствие обоснованной интерпретации концепций UML. Как объяснили Брой и Сенгарл,[10] это приложение парадигмы Триединого континуума:
  • показал недостатки UML (например, круговые и противоречивые определения);
  • представил вариант, имеющий внутренне непротиворечивую структуру, поддерживаемую теорией типов Рассела;
  • определил декларативную семантику а-ля Тарский;
  • был оправдан на основе философских и естественнонаучных основ (в отличие от UML, который является результатом попыток, неудач и успехов, которые никогда не были теоретически обоснованы).
  • Шов
Приложение для RM-ODP использовалось при определении метода SEAM для Архитектура предприятия, что позволяет моделировать предприятия, в которых все системы систематически представлены с помощью одной и той же онтологии моделирования.[11]
  • НЛО
Новый подход «Единица - Функция - Объект» (НЛО),[12] был разработан для бизнес-моделирование[13] на основе онтологии, представленной парадигмой Триединого континуума.

Рекомендации

  1. ^ А. Науменко. Парадигма Триединого Континуума: парадигма для общего моделирования системы и ее приложений для UML и RM-ODP, Докторская диссертация 2581, Швейцарский федеральный технологический институт - Лозанна. EPFL, Июнь 2002 г.
  2. ^ Р. Ауди (главный редактор). Кембриджский философский словарь, второе издание; Издательство Кембриджского университета 1999.
  3. ^ а б А. Науменко. "Парадигма Триединого Континуума", в Энциклопедия информационных наук и технологий, второе издание, Vol. VIII, стр. 3821–3825; М. Хосровпур (ред.), Справочник по информационным наукам, IGI Global, сентябрь 2008 г. ISBN  978-1-60566-026-4.
  4. ^ С.И. Эррера, М. Клюзелла, Г. Ткачук, П.А. Луна. «Как системные модели способствуют разработке информационных систем», Труды Первого Всемирного конгресса Международной федерации системных исследований (IFSR 2005): Новые роли системных наук для общества, основанного на знаниях; Кобе, Япония, ноябрь 2005 г.
  5. ^ А. Науменко. «Отчет о Парадигме Триединого Континуума и ее основополагающей теории Триединого Континуума», PHISE'05, 1-й международный семинар по философским основам инженерии информационных систем. Материалы семинаров CAiSE'05, Vol. 2. С. 439–450; Х. Кастро, Э. Тениенте (ред.); Порту, Португалия, июнь 2005 г. FEUP edições. ISBN  972-752-077-4.
  6. ^ А. Науменко, А. Вегманн. «Формализация основ RM-ODP на основе парадигмы триединого континуума», Компьютерные стандарты и интерфейсы, Volume 29, Issue 1, pp. 39–53, Elsevier B.V., 2007. ISSN  0920-5489. Дои:10.1016 / j.csi.2005.10.001
  7. ^ Р.М. Дейкман. Последовательность в архитектурном проектировании с разных точек зрения. Кандидатская диссертация 06-80, Центр телематики и информационных технологий, Университет Твенте, 2006 г. Стр. 16.
  8. ^ А. Науменко, А. Вегманн. «Метамодель для единого языка моделирования». "UML" 2002 - Единый язык моделирования: разработка моделей, концепции и инструменты. 5-я международная конференция; С. 2–17 .; Ж.-М. Jézéquel, H. Hussmann, S. Cook (Eds.); Дрезден, Германия, сентябрь / октябрь 2002 г. LNCS 2460. Springer-Verlag 2002. ISBN  3-540-44254-5. Дои:10.1007 / 3-540-45800-X_2
  9. ^ К. Лано. «Использование B для проверки преобразований UML», Труды 3-го семинара по проектированию и проверке моделей (MODEVA 2006), Б. Бодри, Д. Хирнден, Н. Рапин, Дж. Г. Зюсс (ред.), Стр. 46–61; Генуя, Италия, октябрь 2006 г.
  10. ^ М. Брой, М. В. Ченгарле. «Формальная семантика UML: извлеченные уроки». Программное обеспечение и моделирование систем, Volume 10, Number 4, pp. 441–446, Springer-Verlag, 2011. ISSN  1619-1366. Дои:10.1007 / s10270-011-0207-y
  11. ^ А. Вегманн, Л.-С. Ле, Г. Регев, Б. Вуд. «Моделирование предприятия с использованием основных концепций стандарта RM-ODP ISO / ITU». Информационные системы и управление электронным бизнесом, Том 5, Выпуск 4, стр. 397–413, Springer Berlin / Heidelberg, 2007. ISSN  1617-9846. Дои:10.1007 / s10257-007-0051-3
  12. ^ О. Украинец. «Презентация НЛО-элемента в структуре метамодели Парадигмы Триединого Континуума», Труды международной конференции по информатике и информационным технологиям (CSIT'2006), стр. 107–108; Львов, Украина, сентябрь 2006 г.
  13. ^ К. Ванхуф, М. Бондаренко, К. Соловьева, О. Украинец. «Системологический язык интеллектуального бизнес-моделирования». Интеллектуальные системы принятия решений. Материалы 4-й Международной конференции ISKE; С. 439–444 .; К. Ванхуф, Д. Руан, Т. Ли, Г. Ветс (ред.); Хасселт, Бельгия, ноябрь 2009 г. World Scientific Publishing Co., Сингапур, 2010 г. ISBN  981-4295-05-1. Дои:10.1142/9789814295062_0068

внешняя ссылка