Paradigma trojjediného kontinua - Triune continuum paradigm

The Paradigma trojjediného kontinua je paradigma pro obecné modelování systému publikováno v roce 2002.[1] Toto paradigma umožňuje budování přísných koncepčních rámců používaných pro modelování systémů v různých aplikačních kontextech (vysoce přizpůsobených i mezioborových).

Přehled

Jak je uvedeno v Cambridge Dictionary of Philosophy:[2] „Paradigma, jak ji používá Thomas Kuhn (Struktura vědeckých revolucí, 1962), odkazuje na soubor vědeckých a metafyzických přesvědčení, které tvoří teoretický rámec, v němž lze vědecké teorie testovat, hodnotit a v případě potřeby revidovat. “

Paradigma trojjediného kontinua platí pro tuto definici tím, že definuje soubor vědeckých principů, v nichž koncepční rámce používané pro modelování systému v různých kontextech lze vytvářet, testovat, hodnotit a revidovat.[3]

U existujícího modelového rámce paradigma umožňuje testování rámce proti jeho principům, přičemž ukazuje případné nedostatky rámce a vysvětluje, jak tyto nedostatky opravit v možné revizi rámce. Při vytváření nového rámce modelování systému poskytuje paradigma pokyny, jak to udělat, a zajišťuje výslednou kvalitu rámce.

Podle Herrera et al.,[4] paradigma Triune Continuum je úplná teoretická základna, kterou lze použít k vytváření nebo zlepšování moderních modelovacích rámců, které se používají pro modelování systémů v různých kontextech, zejména v vývoj softwaru a ve strojírenství podnikové informační systémy.

Základy a jejich důsledky

Paradigma trojjediného kontinua je založeno na třech teoriích: o Tarskiho teorie pravdy, na Russellova teorie typů, a na teorii trojjediného kontinua.[5] Teorie, když jsou aplikovány na modelování obecného systému, vytvářejí tři principy:[3]

  • První zásada zajišťuje soudržnost a jednoznačnost v rámci modelových interpretací jediného modelového rámce.
  • Druhý princip zajišťuje vnitřní konzistence popisů a specifikací, které jsou konstruovány pomocí modelového rámce.
  • Třetí princip umožňuje zavést a ospravedlnit minimální sadu konceptů modelování, která je nutné a dostatečný pokrýt rozsah reprezentace modelového rámce na nejabstrahující úrovni (na úrovni, která odpovídá výrokům prvního řádu v Russellově teorii typů).

Aplikace paradigmatu

Paradigma kontinua Triune lze v praxi použít buď ke zlepšení existujícího rámce modelování systému, nebo k návrhu nového rámce modelování systému pro daný účel.

  • RM-ODP
Paradigma bylo aplikováno v doméně software a systémové inženýrství, formalizovat základy referenčního modelu otevřeného distribuovaného zpracování (RM-ODP ) koncepční rámec.[6] Jak popsal Dijkman,[7] Naumenko v roce 2002 definoval abstraktní syntaxi pro RM-ODP v jazyce zvaném Slitina který používá teoretickou množinu formální sémantika.
  • UML
Paradigma bylo použito k definování formálního metamodelu pro UML.[8] Podle Lanea,[9] v této aplikaci byl zjištěn nedostatek uzemněné interpretace konceptů UML. Jak vysvětlili Broy a Cengarle,[10] tato aplikace paradigmatu trojjediného kontinua:
  • vykazovaly deficity UML (např. kruhové a protichůdné definice);
  • zavedla možnost, která má vnitřně konzistentní strukturu podporovanou Russellovou teorií typů;
  • definovaná deklarativní sémantika à la Tarski;
  • byl ospravedlněn na základě filozofických a přírodovědných základů (na rozdíl od UML, který je výsledkem pokusů, neúspěchů a úspěchů, které nikdy nebyly teoreticky oprávněné).
  • ŠEV
Aplikace pro RM-ODP byla použita při definici metody SEAM pro Enterprise Architecture, což umožňuje podnikové modelování, ve kterém jsou všechny systémy systematicky reprezentovány stejnou modelovou ontologií.[11]
  • UFO
Nový rámec, přístup „jednotka - funkce - objekt“ (UFO),[12] byl určen pro obchodní modelování[13] na základě ontologie, kterou poskytlo paradigma trojjediného kontinua.

Reference

  1. ^ A. Naumenko. Triune Continuum Paradigm: paradigma pro obecné modelování systému a jeho aplikace pro UML a RM-ODP, Disertační práce 2581, Švýcarský federální technologický institut - Lausanne. EPFL, Červen 2002.
  2. ^ R. Audi (hlavní redaktor). Cambridge Dictionary of Philosophy, druhé vydání; Cambridge University Press 1999.
  3. ^ A b A. Naumenko. „Paradigma trojjediného kontinua“, v Encyclopedia of Information Science and Technology, druhé vydání, sv. VIII, s. 3821–3825; M. Khosrowpour (ed.), Information Science Reference, IGI Global, září 2008. ISBN  978-1-60566-026-4.
  4. ^ Herrera, M.M. Clusella, G.N. Tkachuk, P.A. Luna. „Jak modely systémů přispívají k návrhu informačních systémů“ Sborník z prvního světového kongresu Mezinárodní federace pro systémový výzkum (IFSR 2005): Nové role systémových věd pro znalostní společnost; Kobe, Japonsko, listopad 2005.
  5. ^ A. Naumenko. „Zpráva o paradigmatu trojjediného kontinua a jeho základní teorii trojjediného kontinua“, PHISE'05, první mezinárodní seminář o filozofických základech inženýrství informačních systémů. Sborník workshopů CAiSE'05, Sv. 2, s. 439–450; J. Castro, E. Teniente (ed.); Porto, Portugalsko, červen 2005. FEUP edições. ISBN  972-752-077-4.
  6. ^ A. Naumenko, A. Wegmann. „Formalizace základů RM-ODP na základě paradigmatu trojjediného kontinua“, Počítačové standardy a rozhraní, Svazek 29, číslo 1, s. 39–53, Elsevier B.V., 2007. ISSN  0920-5489. doi:10.1016 / j.csi.2005.10.001
  7. ^ R.M. Dijkman. Konzistence v architektonickém návrhu s více pohledy. Disertační práce 06-80, Centrum pro telematiku a informační technologie, University of Twente, 2006. Strana 16.
  8. ^ A. Naumenko, A. Wegmann. "Metamodel pro Unified Modeling Language". „UML“ 2002 - Unified Modeling Language: Model Engineering, Concepts, and Tools. 5. mezinárodní konference; s. 2–17 .; J.-M. Jézéquel, H. Hussmann, S. Cook (Eds.); Drážďany, Německo, září / říjen 2002. LNCS 2460. Springer-Verlag 2002. ISBN  3-540-44254-5. doi:10.1007 / 3-540-45800-X_2
  9. ^ K. Lano. „Použití B k ověření transformací UML“, Proceedings of the 3rd Workshop on Model design and Validation (MODEVA 2006), B. Baudry, D. Hearnden, N. Rapin, J. G. Süß (Eds.), Pp. 46–61; Janov, Itálie, říjen 2006.
  10. ^ M. Broy, M. V. Cengarle. "UML formální sémantika: poučení". Software a modelování systémů, Svazek 10, číslo 4, str. 441–446, Springer-Verlag, 2011. ISSN  1619-1366. doi:10.1007 / s10270-011-0207-r
  11. ^ A. Wegmann, L.-S. Le, G. Regev, B. Wood. „Podnikové modelování pomocí základních konceptů standardu RM-ODP ISO / ITU“. Informační systémy a správa elektronického podnikání, Svazek 5, číslo 4, str. 397–413, Springer Berlin / Heidelberg, 2007. ISSN  1617-9846. doi:10.1007 / s10257-007-0051-3
  12. ^ O. Ukrajinci. „Prezentace prvků UFO v metamodelové struktuře Triune Continuum Paradigm“, sborník z mezinárodní konference o informatice a informačních technologiích (CSIT'2006), s. 107–108; Lvov, Ukrajina, září 2006.
  13. ^ K. Vanhoof, M. Bondarenko, K. Solovyova, O. Ukrayinets. "Systemologický jazyk pro inteligentní obchodní modelování". Inteligentní systémy rozhodování. Sborník ze 4. mezinárodní konference ISKE; 439–444 .; K. Vanhoof, D. Ruan, T. Li, G. Wets (Eds.); Hasselt, Belgie, listopad 2009. World Scientific Publishing Co. Singapur, 2010. ISBN  981-4295-05-1. doi:10.1142/9789814295062_0068

externí odkazy