rCOS significa refinamiento de sistemas de objetos y componentes . Es un método formal que proporciona desarrollo de software basado en modelos y basado en 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 operativa basada en gráficos , un cálculo de refinamiento y soporte de herramientas para construcción de modelos, análisis y verificación de modelos y 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 de múltiples dimensiones: 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 clase y datos tipos). Los componentes se componen e integran en función de sus modelos de interfaces para admitir la composición de terceros. [1]