Язык спецификации ограничений часов - Clock Constraints Specification Language

В Язык спецификации ограничения времени или же CCSL, это программный язык для моделирования отношений между так называемыми часами. Это часть модели времени, определенной в профиле UML для МАРТ.[1]

CCSL предоставляет конкретный синтаксис для обработки логические часы. Период, термин логические часы относится к Лесли Лэмпорт логические часы и его использование в CCSL напрямую вдохновлено Синхронные языки программирования (подобно Эстерель или сигнал).

А решатель ограничений CCSL реализовано в инструменте TimeSquare.[2]

Рекомендации

  1. ^ «Архивная копия». Архивировано из оригинал на 2014-02-09. Получено 2014-01-28.CS1 maint: заархивированная копия как заголовок (связь)
  2. ^ "TimeSquare - ЛОГИЧЕСКИЕ ВОПРОСЫ ВРЕМЕНИ".