Transformations dirigées par des propriétés non fonctionnelles en conception logicielle
Résumé
Pour qu'un modèle de système logiciel critique soit digne de confiance, il est opportun de s'appuyer sur un processus rigoureux de transformations successives prenant en compte au plus tôt des propriétés non fonctionnelles. Pour cela, cet article se propose de décrire en logique quelques propriétés de sûreté de fonctionnement, de sécurité, ou encore de couplage, afin de diriger deux types de transformations : (i) une première transformation structurelle pour générer un assemblage de composants dits fonctionnels, (ii) une seconde pour incorporer successivement des mécanismes au modèle du système afin de satisfaire au mieux les exigences.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...