Transformations dirigées par des propriétés non fonctionnelles en conception logicielle

Julien Mallet (1) , Siegfried Rouvrais (1)

1 INFO - Département informatique

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.

Domaines: Informatique [cs]; Informatique et langage [cs.CL]; Performance et fiabilité [cs.PF]; Génie logiciel [cs.SE]; Théorie et langage formel [cs.FL]

Julien Mallet, Siegfried Rouvrais. Transformations dirigées par des propriétés non fonctionnelles en conception logicielle. CAL '09 : 3ème conférence francophone sur les architectures logicielles, Mar 2009, Nancy, France. ⟨hal-00424221⟩