WikiDer > Сағат шектеулерін сипаттау тілі

Clock Constraints Specification Language

The Сағат шектеулерін сипаттау тілі немесе CCSL, бұл деп аталатын сағаттар арасындағы қатынастарды модельдеуге арналған бағдарламалық жасақтама тілі. Бұл UML профилінде анықталған уақыт моделінің бөлігі MARTE.[1]

CCSL өңдеу үшін нақты синтаксисті ұсынады логикалық сағаттар. Термин логикалық сағат сілтеме жасайды Лесли ЛампортЛогикалық сағаттар және оны CCSL-де қолдану тікелей шабыттандырылған Синхронды бағдарламалау тілдері (сияқты Эстерель немесе сигнал).

A шешуші CCSL шектеулерінің саны TimeSquare құралында жүзеге асырылады.[2]

Әдебиеттер тізімі

  1. ^ «Мұрағатталған көшірме». Архивтелген түпнұсқа 2014-02-09. Алынған 2014-01-28.CS1 maint: тақырып ретінде мұрағатталған көшірме (сілтеме)
  2. ^ «TimeSquare - ЛОГИКАЛЫҚ УАҚЫТ МӘСЕЛЕЛЕРІ».