Hispanopedia Wiki
Articulo de referencia

paradigma del continuo triuno

El paradigma del continuo triuno ( triuno : "tres y uno al mismo tiempo") es un paradigma para el modelado general de sistemas publicado en 2002. [ 1 ] El paradigma permite cons...

Hispanopedia WikiContenido en espanolLectura gratuita

El paradigma del continuo triuno ( triuno : "tres y uno al mismo tiempo") es un paradigma para el modelado general de sistemas publicado en 2002. [ 1 ] El paradigma permite construir marcos conceptuales rigurosos empleados para el modelado de sistemas en diversos contextos de aplicación (altamente personalizados e interdisciplinarios).

Descripción general

Como se indica en el Diccionario de Filosofía de Cambridge : [ 2 ] "Paradigma, tal 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 probadas, evaluadas y, si es necesario, revisadas".

El paradigma del continuo triuno 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 ponerlo a prueba según sus principios, detectando sus deficiencias, si las hubiera, y explicando cómo corregirlas en una posible revisión. Al construir un nuevo marco de modelado de sistemas, el paradigma proporciona directrices para su desarrollo, garantizando así la calidad del marco resultante.

Según Herrera et al., [ 4 ] el paradigma del continuo triuno es una base teórica completa que puede utilizarse 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 sistemas de información empresarial .

Fundamentos y sus implicaciones

El paradigma del continuo triuno 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 triuno. [ 5 ] Las teorías, cuando se aplican al modelado de sistemas generales, producen tres principios: [ 3 ]

  • El primer principio garantiza la coherencia y la ausencia de ambigüedad en las interpretaciones de un mismo marco de modelado.
  • El segundo principio garantiza la coherencia interna de las descripciones y especificaciones que se elaboran 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 puede aplicarse en la práctica tanto para mejorar un marco de modelado de sistemas existente como 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 ] Como lo describe Dijkman, [ 7 ] Naumenko en 2002 definió una sintaxis abstracta para RM-ODP en un lenguaje llamado Alloy que utiliza una semántica formal de teoría de conjuntos .
  • 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 para los conceptos de UML. Como explican Broy y Cengarle, [ 10 ] esta aplicación del paradigma del continuo triuno:
  • mostró deficiencias en UML (por ejemplo, definiciones circulares y contradictorias);
  • Introdujo una opción que tiene una estructura internamente consistente respaldada 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 ciencias naturales (a diferencia de UML, que es el resultado de intentos, fracasos y éxitos que nunca fueron justificados teóricamente).
  • COSTURA
La aplicación de RM-ODP se empleó en la definición del método SEAM para la arquitectura empresarial , lo que permite el modelado empresarial en el que todos los sistemas se representan sistemáticamente con la misma ontología de modelado. [ 11 ]
  • OVNI
Se diseñó un nuevo marco, el enfoque "Unidad  -  Función  -  Objeto"  (UFO), [ 12 ] para el modelado de negocios [ 13 ] basado en la ontología proporcionada por el paradigma del continuo triuno.

Referencias

  1. ↑ A. Naumenko. Triune Continuum Paradigm: a paradigm for general system modeling and its applications for UML and RM-ODP , Tesis doctoral 2581, Instituto Federal Suizo de Tecnología – Lausana. EPFL , junio de 2002.
  2. ↑ R. Audi (editor general). Diccionario de filosofía de Cambridge, segunda edición; Cambridge University Press, 1999.
  3. 1 2 A. Naumenko. «Paradigma del continuo triuno» , en Enciclopedia de la ciencia y la tecnología de la información , 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.
  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 para la 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.
  5. ↑ A. Naumenko. «Un informe sobre el paradigma del continuo triuno y su teoría fundamental del continuo triuno» , PHISE'05, 1.er 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.
  6. ↑ A. Naumenko, A. Wegmann . «Formalización de los fundamentos de RM-ODP basados ​​en el paradigma del continuo triuno», Computer Standards & Interfaces , volumen 29, número 1, págs. 39-53, Elsevier BV, 2007. ISSN 0920-5489 . doi : 10.1016/j.csi.2005.10.001 
  7. ↑ RM Dijkman. Consistencia en el diseño arquitectónico con 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.
  8. ↑ A. Naumenko, A. Wegmann . «Un metamodelo para el Lenguaje Unificado de Modelado». «UML» 2002 – El Lenguaje Unificado de Modelado: Ingeniería de Modelos, Conceptos y Herramientas. 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
  9. ↑ 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.
  10. ↑ M. Broy , MV Cengarle. «Semántica formal de UML: lecciones aprendidas». Software & Systems Modeling , Volumen 10, Número 4, pp. 441–446, Springer-Verlag, 2011. ISSN 1619-1366 . doi : 10.1007/s10270-011-0207-y 
  11. ↑ A. Wegmann , L.-S. Lê, G. Regev, B. Wood. «Modelado empresarial utilizando los conceptos fundamentales de la norma RM-ODP ISO/ITU». Information Systems and E-Business Management , Volumen 5, Número 4, págs. 397–413, Springer Berlin/Heidelberg, 2007. ISSN 1617-9846 . doi : 10.1007/s10257-007-0051-3 
  12. ↑ O. Ukrainets. "Presentación de elementos OVNI en la estructura del metamodelo del paradigma del continuo triuno", 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.
  13. ↑ K. Vanhoof, M. Bondarenko, K. Solovyova, O. Ukrayinets. «Lenguaje sistemático para el modelado de negocios inteligentes». Sistemas de toma de decisiones inteligentes. 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
  • Triune Continuum Enterprise: Información sobre el paradigma Triune Continuum en triunecontinuum.com.