Logical Time: observation vs. implementation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Software Engineering Notes Year : 2011

Logical Time: observation vs. implementation

Abstract

MARTE/CCSL specifications express chronological and causal relations on UML models. In a previous work, we proposed a mechanism to verify Esterel implementations against MARTE/CCSL specifications. The mechanism was thought to be general enough to be extended to other languages. However, preserving the polychronous semantics of CCSL was pretty easy with a synchronous language but is much harder when the target language does not directly support coincidence/simultaneity. We show here how coincidence can be encoded.
Not file

Dates and versions

inria-00576647 , version 1 (15-03-2011)

Identifiers

Cite

Frédéric Mallet, Charles André, Robert de Simone. Logical Time: observation vs. implementation. Software Engineering Notes, 2011, 36 (1), pp.1--8. ⟨10.1145/1921532.1921554⟩. ⟨inria-00576647⟩
173 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More