Title : Transformations
dirigées par des propriétés non fonctionnelles en
conception logicielle
summary:
For critical software system development, it is worth adopting a
rigorous process, including successive model transformations, which
shall address, as soon as possible, non-functional properties.
Accordingly, this paper offers to describe, from a logical standpoint,
various properties relating to dependability, security and coupling, in
order to direct two kinds of model transformations: (i) a structural
transformation aiming at generating a first functional component
architecture and (ii) a transformation for incorporating, step by step,
mechanisms within the whole system model with a view to maximize
requirement satisfaction.
resumé:
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.