Section: New Results

Languages, Models of Computation and Metamodeling using logical clock constraints

Participants : Julien Deantoni, Robert de Simone, Frédéric Mallet, Marie Agnès Peraldi Frati.

A revised and updated version of our previous work on UML MARTE Time Model was written in survey textbook form for a larger audience, and published in [38] . Same was done for the more applied specific findings of the ARTEMIS PRESTO European project [39] . Also, a research report finalizing the denotational semantics of the logical clock constraint languages was issued for reference [44] .