Paradygmat kontinuum trójjednego

Triune Continuum Paradigm to paradygmat ogólnego modelowania systemów opublikowany w 2002 roku. Paradygmat pozwala na budowanie rygorystycznych ram koncepcyjnych wykorzystywanych do modelowania systemów w różnych kontekstach aplikacji (wysoce dostosowanych, jak również interdyscyplinarnych).

Przegląd

Jak stwierdzono w Cambridge Dictionary of Philosophy : „Paradigm, używany przez Thomasa Kuhna ( The Structure of Scientific Revolutions , 1962), odnosi się do zestawu przekonań naukowych i metafizycznych, które tworzą ramy teoretyczne, w ramach których można testować teorie naukowe, oceniane iw razie potrzeby korygowane”.

Paradygmat Trijene Continuum jest wierny tej definicji, definiując zestaw naukowych zasad, w ramach których można budować, testować, oceniać i korygować ramy pojęciowe używane do modelowania systemów w różnych kontekstach.

W przypadku istniejących ram modelowania paradygmat umożliwia przetestowanie ram pod kątem ich zasad, pokazując ewentualne braki ram, wyjaśniając, jak naprawić braki w ewentualnej rewizji ram. Podczas budowania nowej struktury modelowania systemu paradygmat dostarcza wskazówek, jak to zrobić, zapewniając wynikową jakość struktury.

Według Herrera i wsp. Paradygmat Trijene Continuum to kompletna baza teoretyczna, którą można wykorzystać do budowy lub ulepszenia nowoczesnych ram modelowania, które są wykorzystywane do modelowania systemów w różnych kontekstach, w szczególności w tworzeniu oprogramowania i inżynierii informacji korporacyjnych systemy .

Podstawy i ich implikacje

Paradygmat kontinuum trójjedynego opiera się na trzech teoriach: teorii prawdy Tarskiego , teorii typów Russella oraz teorii kontinuum trójjedynego. Teorie zastosowane do ogólnego modelowania systemu dają trzy zasady:

• Pierwsza zasada zapewnia spójność i jednoznaczność w modelowaniu interpretacji jednej ramy modelowania.
• Druga zasada zapewnia wewnętrzną spójność opisów i specyfikacji konstruowanych za pomocą ram modelowania.
• Trzecia zasada pozwala wprowadzić i uzasadnić minimalny zestaw pojęć modelowania, który jest niezbędny i wystarczający do pokrycia zakresu reprezentacji ram modelowania na najbardziej abstrakcyjnym poziomie (na poziomie odpowiadającym twierdzeniom pierwszego rzędu w Russellowskiej teorii typów ).

Zastosowania paradygmatu

Paradygmat kontinuum Trójjedynego można zastosować w praktyce albo do ulepszenia istniejących ram modelowania systemu, albo do zaprojektowania nowej ramy modelowania systemu dla danego celu.

• RM-ODP

Paradygmat został zastosowany w dziedzinie inżynierii oprogramowania i systemów , aby sformalizować podstawy modelu referencyjnego otwartego przetwarzania rozproszonego ( RM-ODP ). Jak opisał Dijkman, Naumenko w 2002 roku zdefiniował abstrakcyjną składnię dla RM-ODP w języku zwanym Alloy , który wykorzystuje formalną semantykę teorii mnogości .

• UML

Paradygmat został zastosowany do zdefiniowania formalnego metamodelu dla UML . Według Lano w tej aplikacji stwierdzono brak ugruntowanej interpretacji pojęć UML. Jak wyjaśnili Broy i Cengarle, to zastosowanie paradygmatu kontinuum Trójjedynego:

• wykazał deficyty UML (np. koliste i sprzeczne definicje);
• wprowadził opcję, która ma wewnętrznie spójną strukturę wspieraną przez teorię typów Russella;
• zdefiniowana semantyka deklaratywna à la Tarski;
• został uzasadniony w oparciu o podstawy filozoficzno-przyrodnicze (w przeciwieństwie do UML, który jest wynikiem prób, porażek i sukcesów, które nigdy nie były teoretycznie uzasadnione).

• SEAM

Aplikacja dla RM-ODP została wykorzystana do zdefiniowania metody SEAM dla architektury korporacyjnej , pozwalając na modelowanie przedsiębiorstwa, w którym wszystkie systemy są systematycznie reprezentowane za pomocą tej samej ontologii modelowania.

• UFO

Nowa struktura, podejście „Jednostka – Funkcja – Obiekt” (UFO), została zaprojektowana do modelowania biznesowego w oparciu o ontologię dostarczoną przez paradygmat kontinuum Trójjedynego.

Linki zewnętrzne

• Triune Continuum Enterprise: O paradygmacie Triune Continuum na triunecontinuum.com.