Язык спецификации ограничений часов
Язык спецификации ограничений часов или CCSL — это программный язык для моделирования отношений между так называемыми часами. Это часть модели времени, определенной в профиле UML для MARTE . [ 1 ]
CCSL предоставляет конкретный синтаксис для управления логическими часами . Термин «логические часы» относится к логическим часам Лесли Лэмпорта , и его использование в CCSL напрямую вдохновлено языками синхронного программирования (такими как Esterel или Signal).
Решатель ограничений CCSL реализован в инструменте TimeSquare. [ 2 ]
Ссылки
[ редактировать ]- ^ «Профиль UML для MARTE: моделирование и анализ систем реального времени и встроенных систем | www.omgwiki.org/marte» . Архивировано из оригинала 9 февраля 2014 г. Проверено 28 января 2014 г.
- ^ «TimeSquare – ЛОГИЧЕСКОЕ ВРЕМЯ ВАЖНО» .
 | Эта времени статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |