Un langage formel pour les diagrammes de séquence

Les diagrammes de séquence permettent de représenter sous une forme graphique intuitive les comportements attendus de certains systèmes distribués. Toutefois, ils ne sont la plupart du temps utilisés que de manière informelle, à des fins de documentation. Nous présentons une formalisation de ces diagrammes et illustrons son usage pour la génération d'automates finis.