Synthèse de scénarios MSC (Message Sequence Shart) en modèles exprimés dans le formalisme de spécification de système à événements discrets DEVS

L'ingénierie des exigences est une activité qui intervient d'abord en amont dans le processus de développement. Il existe différents mécanismes potentiellement intéressants pour décrire des exigences et des besoins : les scénarios.
Les scénarios représentent des exemples d'exécution du futur système, ils sont partiels, concrets et intuitifs pour un utilisateur. Ils permettent de représenter les aspects comportementaux du système. Toutefois, leur caractère partiel amène différents problèmes. Des scénarios peuvent être incohérents. Enfin, s'ils sont exprimés en langage naturel, ils sont sujets à l'ambiguïté de langage. L'utilisation d'un langage formel (avec une sémantique formelle) pour décrire les scénarios permet d'éviter les ambiguïtés et de détecter les incohérences. De plus, si le langage possède une représentation graphique, il est alors facilement compréhensible par les utilisateurs non familiers des méthodes formelles. Il existe différents langages formels de description de scénarios : les Message Sequence Charts (MSC) standardisés par l'ITU [1], parmi lesquels on distingue les MSC basiques (bMSC) et les MSC composés (High-Level MSC : hMSC) , les Live Sequence Charts (LSC) qui sont une extension des bMSC proposée par Harel et Damm [2] , les diagrammes de séquence d'UML 1.4 qui sont une version simplifiée des bMSC [3], etc…
Les usagers préfèrent naturellement un formalisme relativement simple et intuitif. C'est en l'occurrence le cas des MSC (Message Sequence Charts) dont l'utilisation est bien répandue en milieu industriel. Ce standard est utilisé aussi bien dans la conception de logiciels avec UML, que dans la conception de protocoles réseaux avec des techniques de description formelles telles que SDL [4]. Les MSC’s permettent de décrire les exigences de manière incrémentale, notamment grâce aux "High-level MSC" [TMSC96] qui a été conçu pour permettre la création de scénarios plus complexes, autorisant des compositions parallèles, des alternatives, des itérations, des séquences de bMSC, ainsi que la définition hiérarchique de scénarios.
Comme pour les MSC, les hMSC bénéficient d’une syntaxe formelle normalisée. Une exécution d’un hMSC est obtenue en parcourant les bMSC’s rencontrées le long d’un chemin fini qui mène de l’état initial à un état final.
Cet article a pour objet de faire une synthèse de scénarios permettant de passer à une modélisation plus rigoureuse de systèmes à événements discrets en générant une spécification comportementale à partir d’un ensemble de scénarios exprimés en MSC.
Au début on s'attendrait à ce que le modèle DEVS ait exactement le même ensemble de comportements que ceux représentés dans les spécifications des scénarios. Cependant, ce n'est pas toujours le cas. Les scénarios peuvent combiner de manière inattendue et certains comportements de système, pas présents dans la spécification des scénarios, peuvent apparaître. Ces comportements s'appellent les scénarios implicites.