A generalization of traces
Walter Vogler · RAIRO - Theoretical Informatics and Applications · 1991
Traces describe the behaviour of distributed Systems as labelled partial orders under the assumption that actions accessing the same object cannot occur simultaneously.We drop this assumption and show that for the resulting generalized traces will still have some results that intuitively justify the use of traces, namely: Traces corresponds to équivalence classes of global observations, and they correspond to tuples of local observations. Résumé. -Les traces décrivent le comportement des systèmes distribués comme ordres partiels étiquetés sous l'hypothèse que des actions accédant à la même ressource ne peuvent se produire simultanément. Nous supprimons cette restriction et nous montrons que pour les traces généralisées ainsi définies, on retrouve divers résultats qui justifient intuitivement l'usage des traces. En particulier, les traces correspondent à des classes d'équivalence d'observations globales et elles correspondent à des t-uplets d'observations locales.