Английская Википедия:Clock Constraints Specification Language

Материал из Онлайн справочника
Версия от 19:32, 19 февраля 2024; EducationBot (обсуждение | вклад) (Новая страница: «{{Английская Википедия/Панель перехода}} The '''Clock Constraint Specification Language''' or '''CCSL''', is a software language for modeling relations among so-called clocks. It is part of the time model defined in the UML Profile for MARTE.<ref>{{Cite web |url=http://www.omgmarte.org/ |title=The UML Profile for MARTE: Modeling and Analysis of Real-Time and Embedded...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

The Clock Constraint Specification Language or CCSL, is a software language for modeling relations among so-called clocks. It is part of the time model defined in the UML Profile for MARTE.[1]

CCSL provides a concrete syntax to handle logical clocks. The term logical clock refers to Leslie Lamport's logical clocks and its usage in CCSL is directly inspired from Synchronous programming languages (like Esterel or Signal).

A solver of CCSL constraints is implemented in the TimeSquare tool.[2]

References

Шаблон:Reflist


Шаблон:Time-stub