2.1 Cadre d'analyse des mécanismes et hypothèses

Une solution logicielle comprenant des composants logiques non reliés peut être analysée en tant que graphes acycliques, déconnectés et orientés, tel que mentionné à la section 1.3.4. Tous les composants logiques d’une même solution doivent faire partie d’un seul graphe acyclique, connecté et orienté, dont les sommets sont les composants logiques et virtuels, et dont les arcs représentent les dépendances entre ces composants. Les composants physiques, dans cet essai, n’ont d’intérêt que de par le fait qu’ils sont abstraits par les composants virtuels. La section 1.3.3 détaille la nécessité que tous les composants logiques soient disponibles pour offrir la totalité des services offerts par la solution logicielle. De ce fait, le cadre de l’analyse considérera que les mécanismes seront évalués pour une solution logicielle où tous les composants logiques sont indispensables à la solution, comparativement aux composants virtuels qui peuvent être dupliqués à loisir et dont chaque duplicata n’est pas en soi indispensable.

Les composants logiques de la solution seront traités sans égard à leur criticité vis-à-vis d’autres composants, celle-ci étant abstraite tel que mentionnée à la section 1.3.3. De même, l’analyse exclus le détail des processus internes des composants logiques. Cela ajoute une caractéristique au graphe connecté et orienté : ses sommets, représentant les composants logiques, ne sont pas pondérés.

L'analyse de disponibilité se fait selon la prémisse d’une disponibilité totale de tous les composants logiques, sans erreur interne pouvant les rendre indisponibles. Une disponibilité de est alors supposée pour tous les composants logiques, puisqu’il y a un contrôle sur l’implémentation interne des composants logiques, et l’abstraction de toute relation avec l’externe fait de ceux-ci des boîtes noires.