Formalisation des besoins à l'aide de schémas LSCs

Colloque avec actes et comité de lecture. nationale.; National audience; Dans notre approche pour l'expression des besoins, nous proposons d'intégrer une étape de formalisation très tôt dans le développement afin d'analyser de manière détaillée les besoins des utilisateurs et de découvrir les inconsistances et les problèmes à partir des difficultés rencontrées lors de la formalisation. Afin d'améliorer la lisibilité et l'écriture des besoins formalisés, nous proposons d'utiliser les LSCs, Life Sequence Charts, au lieu des formules sur les traces d'un système (c'est-à-dire des suites d'événements se produisant sur un état du système à un moment donné) pour la formalisation des besoins décomposés sous forme de fragments. Nous proposons, en particulier, des schémas graphiques définis à l'aide des LSCs pour exprimer différents types de besoins. Ces schémas constituent un guide à l'étape de formalisation.