Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

Обзор [ править ]

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

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

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

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

Основы и их значение [ править ]

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

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

Приложения парадигмы [ править ]

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

  • RM-ODP
Эта парадигма была применена в области разработки программного обеспечения и систем для формализации основ концептуальной основы эталонной модели открытой распределенной обработки ( RM-ODP ). [6] Как описано Дейкманом, [7] Науменко в 2002 году определил абстрактный синтаксис для RM-ODP на языке под названием Alloy, который использует теоретико-множественную формальную семантику .
  • 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. ^ С. Herrera, М. Clusella, Г. Н. Ткачук, PA Luna. «Как системные модели способствуют разработке информационных систем» , Труды Первого Всемирного конгресса Международной федерации системных исследований (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 на основе парадигмы триединого континуума», Компьютерные стандарты и интерфейсы , том 29, выпуск 1, стр. 39–53, Elsevier BV, 2007. ISSN 0920-5489 . DOI : 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 . DOI : 10.1007 / 3-540-45800-X_2 
  9. ^ К. Лано . «Использование B для проверки преобразований UML» , Труды 3-го семинара по проектированию и проверке моделей (MODEVA 2006), Б. Бодри, Д. Хернден, Н. Рапин, Дж. Г. Зюсс (ред.), Стр. 46–61; Генуя, Италия, октябрь 2006 г.
  10. ^ М. Бра , М. В. Cengarle. «Формальная семантика UML: извлеченные уроки». Программное обеспечение и моделирование систем , том 10, номер 4, стр. 441–446, Springer-Verlag, 2011. ISSN 1619-1366 . DOI : 10.1007 / s10270-011-0207-у 
  11. ↑ A. Wegmann , L.-S. Ле, Г. Регев, Б. Вуд. «Моделирование предприятия с использованием базовых концепций стандарта RM-ODP ISO / ITU». Информационные системы и управление электронным бизнесом , том 5, выпуск 4, стр. 397–413, Springer Berlin / Heidelberg, 2007. ISSN 1617-9846 . DOI : 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 . DOI : 10.1142 / 9789814295062_0068 

Внешние ссылки [ править ]

  • Предприятие Triune Continuum: о парадигме Triune Continuum на сайте triunecontinuum.com.