El Triune Continuum Paradigm es un paradigma para el modelado general de sistemas publicado en 2002. [1] El paradigma permite la construcción de marcos conceptuales rigurosos empleados para el modelado de sistemas en varios contextos de aplicación (altamente personalizados e interdisciplinarios).
Descripción general
Como se indica en el Diccionario de Filosofía de Cambridge : [2] "Paradigma, como lo usa Thomas Kuhn ( La estructura de las revoluciones científicas , 1962), se refiere a un conjunto de creencias científicas y metafísicas que conforman un marco teórico dentro del cual las teorías científicas pueden ser probado, evaluado y si es necesario revisado. "
El paradigma del continuo trino se mantiene fiel a esta definición al definir un conjunto de principios científicos dentro de los cuales se pueden construir, probar, evaluar y revisar los marcos conceptuales utilizados para el modelado de sistemas en diferentes contextos. [3]
Para un marco de modelado existente, el paradigma permite que el marco sea probado contra sus principios, mostrando las deficiencias del marco, si las hay, explicando cómo solucionar las deficiencias en una posible revisión del marco. Al construir un nuevo marco de modelado de sistemas, el paradigma proporciona pautas sobre cómo hacerlo, asegurando la calidad resultante del marco.
Según Herrera et al., [4] el Triune Continuum Paradigm es una base teórica completa que se puede utilizar para construir o mejorar marcos de modelado modernos que se emplean para el modelado de sistemas en diferentes contextos, en particular en el desarrollo de software y en la ingeniería. de los sistemas de información empresarial .
Fundaciones y sus implicaciones
El paradigma del continuo trino se basa en tres teorías: en la teoría de la verdad de Tarski , en la teoría de los tipos de Russell y en la teoría del continuo trino. [5] Las teorías, cuando se aplican al modelado general de sistemas, producen tres principios: [3]
- El primer principio asegura la coherencia y la falta de ambigüedad en las interpretaciones de modelado de un marco de modelado único.
- El segundo principio asegura la coherencia interna de las descripciones y especificaciones que se construyen con la ayuda de un marco de modelado.
- El tercer principio permite introducir y justificar el conjunto mínimo de conceptos de modelado que es necesario y suficiente para cubrir el alcance de representación de un marco de modelado en el nivel más abstracto (en el nivel que corresponde a las proposiciones de primer orden en la teoría de tipos de Russell ).
Aplicaciones del paradigma
El paradigma del continuo Triuno se puede aplicar en la práctica para mejorar un marco de modelado de sistemas existente o para diseñar un nuevo marco de modelado de sistemas para un propósito determinado.
- RM-ODP
- El paradigma se aplicó en el dominio de la ingeniería de software y sistemas , para formalizar los fundamentos del marco conceptual del Modelo de Referencia de Procesamiento Distribuido Abierto ( RM-ODP ). [6] Según lo descrito por Dijkman, [7] Naumenko en 2002 definió una sintaxis abstracta para RM-ODP en un lenguaje llamado Alloy que usa una semántica formal teórica establecida .
- UML
- El paradigma se aplicó para definir un metamodelo formal para UML . [8] Según Lano, [9] en esta aplicación se identificó la falta de interpretación fundamentada de los conceptos de UML. Como explicaron Broy y Cengarle, [10] esta aplicación del paradigma del continuo Triuno:
- mostró déficits de UML (por ejemplo, definiciones circulares y contradictorias);
- introdujo una opción que tiene una estructura internamente consistente apoyada por la teoría de tipos de Russell;
- semántica declarativa definida a la Tarski;
- se justificó sobre la base de fundamentos filosóficos y de las ciencias naturales (en contraste con UML, que es el resultado de intentos, fracasos y éxitos que nunca se justificaron teóricamente).
- COSTURA
- La aplicación para RM-ODP se empleó en la definición del método SEAM para Arquitectura Empresarial , permitiendo el modelado empresarial en el que todos los sistemas están representados sistemáticamente con la misma ontología de modelado. [11]
- OVNI
- Un nuevo marco, el enfoque "Unidad - Función - Objeto" (OVNI), [12] fue diseñado para el modelado de negocios [13] basado en la ontología que fue proporcionada por el paradigma del continuo Triuno.
Referencias
- ^ A. Naumenko. Triune Continuum Paradigm: un paradigma para el modelado general de sistemas y sus aplicaciones para UML y RM-ODP , tesis doctoral 2581, Instituto Federal Suizo de Tecnología - Lausana. EPFL , junio de 2002.
- ^ R. Audi (editor general). El Diccionario de Filosofía de Cambridge, segunda edición; Prensa de la Universidad de Cambridge 1999.
- ^ a b A. Naumenko. "Triune Continuum Paradigm" , en Encyclopedia of Information Science and Technology , segunda edición, vol. VIII, págs. 3821–3825; M. Khosrowpour (Ed.), Information Science Reference, IGI Global, septiembre de 2008. ISBN 978-1-60566-026-4 .
- ^ SI Herrera, MM Clusella, GN Tkachuk, PA Luna. "Cómo los modelos de sistemas contribuyen al diseño de sistemas de información" , Actas del Primer Congreso Mundial de la Federación Internacional de Investigación de Sistemas (IFSR 2005): Los nuevos roles de las ciencias de sistemas para una sociedad basada en el conocimiento; Kobe, Japón, noviembre de 2005.
- ^ A. Naumenko. "Un informe sobre el Paradigma del Continuo Triuno y su teoría fundacional del Continuo Triuno" , PHISE'05, el 1º Taller Internacional sobre Fundamentos Filosóficos de la Ingeniería de Sistemas de Información. Actas de los talleres CAiSE'05 , vol. 2, págs. 439–450; J. Castro, E. Teniente (Eds.); Oporto, Portugal, junio de 2005. FEUP edições. ISBN 972-752-077-4 .
- ↑ A. Naumenko, A. Wegmann . "Formalización de las bases de RM-ODP basadas en el paradigma del continuo trino", Interfaces y estándares informáticos , volumen 29, número 1, págs. 39–53, Elsevier BV, 2007. ISSN 0920-5489 . doi : 10.1016 / j.csi.2005.10.001
- ^ RM Dijkman. Coherencia en el diseño arquitectónico de múltiples puntos de vista . Tesis doctoral 06-80, Centro de Telemática y Tecnología de la Información, Universidad de Twente, 2006. Página 16.
- ↑ A. Naumenko, A. Wegmann . "Un metamodelo para el lenguaje de modelado unificado". "UML" 2002 - El lenguaje de modelado unificado: ingeniería de modelos, conceptos y herramientas. La Quinta Conferencia Internacional ; págs. 2-17 .; J.-M. Jézéquel, H. Hussmann, S. Cook (Eds.); Dresde, Alemania, septiembre / octubre de 2002. LNCS 2460. Springer-Verlag 2002. ISBN 3-540-44254-5 . doi : 10.1007 / 3-540-45800-X_2
- ^ K. Lano . "Uso de B para verificar transformaciones UML" , Actas del 3er taller sobre diseño y validación de modelos (MODEVA 2006), B. Baudry, D. Hearnden, N. Rapin, JG Süß (Eds.), Págs. 46–61; Génova, Italia, octubre de 2006.
- ^ M. Broy , MV Cengarle. "Semántica formal UML: lecciones aprendidas". Modelado de software y sistemas , volumen 10, número 4, págs. 441–446, Springer-Verlag, 2011. ISSN 1619-1366 . doi : 10.1007 / s10270-011-0207-y
- ^ A. Wegmann , L.-S. Lê, G. Regev, B. Wood. "Modelado empresarial utilizando los conceptos básicos del estándar RM-ODP ISO / ITU". Sistemas de información y gestión de comercio electrónico , volumen 5, número 4, págs. 397–413, Springer Berlín / Heidelberg, 2007. ISSN 1617-9846 . doi : 10.1007 / s10257-007-0051-3
- ^ O. Ukrainets. "Presentación de elementos OVNI en la estructura del metamodelo de Triune Continuum Paradigm", Actas de la conferencia internacional sobre informática y tecnologías de la información (CSIT'2006), págs. 107–108; Lviv, Ucrania, septiembre de 2006.
- ^ K. Vanhoof, M. Bondarenko, K. Solovyova, O. Ukrayinets. "Lenguaje sistémico para el modelado de negocios de inteligencia". Sistemas inteligentes de toma de decisiones. Actas de la 4ª Conferencia Internacional ISKE ; págs. 439–444 .; K. Vanhoof, D. Ruan, T. Li, G. Wets (Eds.); Hasselt, Bélgica, noviembre de 2009. World Scientific Publishing Co. Singapur, 2010. ISBN 981-4295-05-1 . doi : 10.1142 / 9789814295062_0068
enlaces externos
- Triune Continuum Enterprise: Acerca del paradigma Triune Continuum en triunecontinuum.com.