|
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. I |
|
|
l 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.
Source: <a title="Articles gratuits " href="._BASEURL./">Articles
gratuits</a> de ArticlesBase.com
Sur l'auteur:
Skalli mamoun, doctorant au laboratoire LSIS
(Laboratoire des Sciences de lInformation et des
Systèmes)de l'université PAUL CEZANNE (AIX-MARSEILLE 3) |