Парадигма триединого континуума

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

Обзор

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

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

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

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

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

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

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

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

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

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

Ссылки

  1. ^ А. Науменко. Парадигма триединого континуума: парадигма для общего моделирования систем и ее приложения для UML и RM-ODP, докторская диссертация 2581, Швейцарский федеральный технологический институт – Лозанна. EPFL , июнь 2002 г.
  2. ↑ Р. Ауди (главный редактор). Кембриджский философский словарь, второе издание; Cambridge University Press, 1999.
  3. ^ ab А. Науменко. «Парадигма триединого континуума», в Энциклопедии информационной науки и технологий , второе издание, т. VIII, стр. 3821–3825; М. Хосровпур (ред.), Справочник по информационной науке, IGI Global, сентябрь 2008 г. ISBN  978-1-60566-026-4 .
  4. ^ SI Herrera, MM Clusella, GN Tkachuk, PA Luna. «Как системные модели способствуют проектированию информационных систем», Труды Первого всемирного конгресса Международной федерации системных исследований (IFSR 2005): Новые роли системных наук для общества, основанного на знаниях; Кобе, Япония, ноябрь 2005 г.
  5. ^ А. Науменко. «Отчет о парадигме триединого континуума и ее фундаментальной теории триединого континуума», PHISE'05, 1-й Международный семинар по философским основам инженерии информационных систем. Труды семинаров CAiSE'05 , т. 2, стр. 439–450; J. Castro, E. Teniente (ред.); Порту, Португалия, июнь 2005 г. Издания FEUP. ISBN 972-752-077-4 . 
  6. ^ А. Науменко, А. Вегманн . «Формализация основ RM-ODP на основе парадигмы триединого континуума», Computer Standards & Interfaces , том 29, выпуск 1, стр. 39–53, Elsevier BV, 2007. ISSN  0920-5489. doi :10.1016/j.csi.2005.10.001
  7. ^ Р. М. Дейкман. Последовательность в многоточечном архитектурном проектировании. Кандидатская диссертация 06-80, Центр телематики и информационных технологий, Университет Твенте, 2006. Страница 16.
  8. ^ A. Naumenko, A. Wegmann . "A Metamodel for the Unified Modeling Language". "UML" 2002 – The Unified Modeling Language: Model Engineering, Concepts, and Tools. 5-я международная конференция ; стр. 2–17.; J.-M. Jézéquel, H. Hussmann, S. Cook (редакторы); Дрезден, Германия, сентябрь/октябрь 2002 г. LNCS 2460. Springer-Verlag 2002. ISBN 3-540-44254-5 . doi :10.1007/3-540-45800-X_2 
  9. ^ K. Lano . «Использование B для проверки преобразований UML», Труды 3-го семинара по разработке и проверке моделей (MODEVA 2006), B. Baudry, D. Hearnden, N. Rapin, JG Süß (ред.), стр. 46–61; Генуя, Италия, октябрь 2006 г.
  10. ^ M. Broy , MV Cengarle. "Формальная семантика UML: извлеченные уроки". Software & Systems Modeling , том 10, номер 4, стр. 441–446, Springer-Verlag, 2011. ISSN  1619-1366. doi :10.1007/s10270-011-0207-y
  11. ^ А. Вегманн , Л.-С. Ле, Г. Регев, Б. Вуд. «Моделирование предприятий с использованием основных концепций стандарта 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. ^ K. Vanhoof, M. Bondarenko, K. Solovyova, O. Ukrayinets. "Systemological Language for Intelligence Business Modelling". Интеллектуальные системы принятия решений. Труды 4-й международной конференции ISKE ; стр. 439–444.; K. Vanhoof, D. Ruan, T. Li, G. Wets (ред.); Хасселт, Бельгия, ноябрь 2009 г. World Scientific Publishing Co. Сингапур, 2010. ISBN 981-4295-05-1 . doi :10.1142/9789814295062_0068 
  • Triune Continuum Enterprise: о парадигме Triune Continuum на triunecontinuum.com.
Взято с "https://en.wikipedia.org/w/index.php?title=Парадига_триединого_континуума&oldid=1192623242"