3. Processus IDM. Diagramme d'activité UML et SAM
Il s'agit de montrer dans ce paragraphe, comment on peut appliquer ces techniques d'annotation d'assertions pour raisonner au niveau des processus IDM. On prend comme exemple le diagramme d'activité UML puis l' atelier de modélisation SAM . Nous montrons l'intérêt d'intégrer des techniques de preuve au niveau modélisation pour décrire des algorithmes à différents niveaux de modélisation, avant la génération des codes proprement dite. À noter qu'UML est un langage de modélisation général, par contre l'atelier SAM se présente comme un DSL ( Domain Specific Language ) spécialisé dans la prise en compte des exigences des domaines spécifiques tels que l'aéronautique, par exemple.
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Processus IDM. Diagramme d'activité UML et SAM
Conclusion. Perspectives
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
