Jazyk specifikace hodinových omezení - Clock Constraints Specification Language

The Jazyk specifikace hodinového omezení nebo CCSL, je softwarový jazyk pro modelování vztahů mezi takzvanými hodinami. Je součástí časového modelu definovaného v profilu UML pro MARTE.[1]

CCSL poskytuje konkrétní syntaxi pro zpracování logické hodiny. Termín logické hodiny odkazuje na Leslie Lamport Logické hodiny a jejich použití v CCSL je přímo inspirováno Synchronní programovací jazyky (jako Esterel nebo signál).

A řešitel omezení CCSL je implementováno v nástroji TimeSquare.[2]

Reference

  1. ^ „Archivovaná kopie“. Archivovány od originál dne 02.02.2014. Citováno 2014-01-28.CS1 maint: archivovaná kopie jako titul (odkaz)
  2. ^ „TimeSquare - LOGICKÉ ČASOVÉ VĚCI“.