rCOS (ciencias de la computación)

rCOS significa refinamiento de sistemas de objetos y componentes . Es un método formal que proporciona desarrollo de software basado en modelos y componentes .

rCOS fue desarrollado originalmente por He Jifeng , Zhiming Liu y Xiaoshan Li en UNU-IIST en Macao , y consiste en una notación de modelado multivista unificada con una teoría de semántica relacional y semántica operacional basada en grafos , un cálculo de refinamiento y soporte de herramientas para la construcción, el análisis y la verificación de modelos, y las transformaciones de modelos . Las transformaciones de modelos automatizan las reglas de refinamiento y los patrones de diseño, y generan condiciones como obligaciones de prueba. rCOS admite el modelado multidimensional: modelos en diferentes niveles de abstracción relacionados por relaciones de refinamiento, jerarquía de composiciones de componentes y modelos de diferentes vistas del sistema ( protocolos de interacción de componentes, comportamientos reactivos de componentes, funcionalidad de datos y estructuras de clases y tipos de datos). Los componentes se componen e integran en función de sus modelos de interfaces para admitir la composición de terceros. ^{[ 1 ]}

• Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu: "rCOS: Definición de los significados de las arquitecturas de software basadas en componentes". Teorías unificadoras de la programación y métodos formales de ingeniería – Escuela de formación ICTAC sobre ingeniería de software 2013, LNCS 8050: 1-66, Springer (2013).
• Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz: "rCOS: un método formal de ingeniería basado en modelos para software basado en componentes". Frontiers of Computer Science in China 6(1): 17-39 (2012)
• Zhiming Liu, Charles Morisset y Volker Stolz. "rCOS: Teoría y herramienta para el desarrollo impulsado por modelos basado en componentes, ponencia principal en FSEN09", Informe técnico 406 , UNU-IIST, apartado de correos 3058, Macao, febrero de 2009.
• Zhenbang Chen, Zhiming Liu, Ander P. Ravn y Volker Stolz (2009). "Refinamiento y verificación en el diseño dirigido por modelos basado en componentes". Informe de investigación UNU-IIST 381. Science of Computer Programming , 74(4):168-196, 2009.
• Liang Zhao, Xiaojian Liu, Zhiming Liu y Zongyan Qiu (2009). "Transformaciones de grafos para el refinamiento orientado a objetos", Aspectos formales de la computación , 21(1-2):103-131, 2009.
• He Jifeng, Xiaoshan Li y Zhiming Liu. «Ingeniería de software basada en componentes». En Actas de ICTAC'2005, Lecture Notes in Computer Science, volumen 3722. Springer, 2005.
• He Jifeng, Xiaoshan Li y Zhiming Liu. "rCOS: Un cálculo de refinamiento para sistemas de objetos". Theoretical Computer Science , 365(1–2):109–142, 2006.
• He Jifeng, Zhiming Liu y Xiaoshan Li. "Una teoría de componentes reactivos" Electronic Notes in Theoretical Computer Science , 160:173–195, 2006.
• Xin Chen, He Jifeng, Zhiming Liu y Naijun Zhan. "Un modelo de programación basada en componentes". Actas de FSEN 2007, Ciencias de la Computación, Lecture Notes in Computer Science 4767, págs.  191–208.
• Xin Chen, Zhiming Liu y Vladimir Mencl. «Separación de preocupaciones e integración consistente en el modelado de requisitos». En Actas de Tendencias Actuales en Teoría y Práctica de la Informática [ Lecture Notes in Computer Science] . Springer, 2007.

• Teorías Unificadoras de la Programación (UTP)

• Sitio web de rCOS archivado el 11/12/2007 en Wayback Machine.