Lenguaje de especificación de restricciones de reloj

El lenguaje de especificación de restricciones de reloj o CCSL es un lenguaje de software para modelar relaciones entre los llamados relojes. Forma parte del modelo de tiempo definido en el perfil UML para MARTE . ^{[ 1 ]}

CCSL proporciona una sintaxis concreta para manejar relojes lógicos . El término reloj lógico hace referencia a los relojes lógicos de Leslie Lamport , y su uso en CCSL está directamente inspirado en lenguajes de programación síncronos (como Esterel o Signal).

En la herramienta TimeSquare se implementa un solucionador de restricciones CCSL. ^{[ 2 ]}