Revisiting Semantics of Interactions for Trace Validity Analysis

Erwan Mahe, Christophe Gaston, Pascale Le Gall

Interaction languages such as MSC are often associated with formal semantics by means of translations into distinct behavioral formalisms such as automatas or Petri nets. In contra…