Logical Time: observation vs. implementation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Software Engineering Notes Année : 2011

Logical Time: observation vs. implementation

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
178 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More