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