Triune Continuum範式

Triune Continuum範式（ Triune ：“同時同時也是三個”）是2002年發表的通用系統建模的範式。該範式允許在各種應用程序上（高度量身定制為應用於系統建模）的嚴格概念框架（以及跨學科）。

概述

正如劍橋哲學詞典中所述：“塔馬斯·庫恩（Thomas Kuhn）所使用的範式（科學革命的結構，1962年），指的是一組科學和形而上學的信念，構成了理論上的框架，其中可以在其中檢驗科學理論，在該框架中，可以被檢驗，在該框架中，可以被檢驗，在該框架中，可以被檢驗，在該框架中，可以在其中構成了一個理論框架。進行評估，並在必要時進行修訂。”

Triune Continuum範式通過定義了一組科學原則，可以在該定義中構建，可以在不同上下文中構建，測試，評估和修訂在不同上下文中的系統建模。

對於存在的建模框架，該範式允許根據其原理進行測試，顯示框架缺陷（如果有），解釋瞭如何在可能修訂框架的修改中解決缺陷。在構建新的系統建模框架時，範式提供了有關如何執行的指南，從而確保了框架的質量。

根據Herrera等人的說法，Triune Continuum範式是一個完整的理論基礎，可用於構建或改善用於系統建模的現代建模框架，尤其是在軟件開發中，尤其是在軟件開發中，以及企業信息的工程信息系統。

基礎及其含義

Triune Continuum範式基於三個理論：基於塔斯基的真理理論，羅素的類型理論以及三位一體的連續性理論。這些理論應用於通用系統建模時，會產生三個原則：

• 第一個原則可確保在單個建模框架的建模解釋中的一致性和明顯。
• 第二個原則確保了借助建模框架構建的描述和規格的內部一致性。
• 第三個原理允許引入並證明最小的建模概念集合，足以涵蓋最抽象的級別的建模框架的表示範圍（在與羅素類型理論中的一階命題相對應的水平上）。

範式的應用

可以在實踐中應用Triune Continuum範式來改善現有的系統建模框架或為給定目的設計新的系統建模框架。

• RM-ODP

該範式應用於軟件和系統工程領域，以形式化開放分佈處理（ RM-ODP ）概念框架的參考模型的基礎。正如Dijkman所述，Naumenko在2002年用一種稱為Alloy的語言定義了RM-ODP的抽象語法，該語言使用集合理論形式語義。

• 嗯

應用範式來定義UML的正式元模型。根據Lano的說法，在本應用程序中發現了對UML概念的基礎解釋。正如Broy和Cengarle所解釋的那樣，Triune Continuum Paradigm的這種應用：

• 顯示了UML的缺陷（例如圓形和矛盾的定義）；
• 引入了一種具有內部一致結構的選項，由羅素的類型理論支持；
• 定義的聲明性語義àlatarski;
• 是基於哲學和自然科學基礎（與UML相比，這是從未理論上合理的，失敗和成功的結果）是合理的。

• 接縫

RM-ODP的應用程序用於企業體系結構的接縫方法的定義中，允許企業建模，其中所有系統都以相同的建模本體為代表。

• 飛碟

一個新的框架“單位 - 函數 - 對象”方法是根據三位一體連續體範式提供的本體而設計的。