REVENDICATIONS 1. Procédé de génération d'un modèle de performance à partir d'un modèle fonctionnel d'un système comportant une pluralité d'entités matérielles et logicielles réparties coopérant pour fournir un service à au moins un utilisateur, caractérisé en ce qu'il comporte les étapes suivantes : - Répartir les requêtes représentatives du système en un nombre fini de groupes et identifier, pour chaque groupe de requêtes, le flot d'exécution correspondant, la répartition desdites requêtes étant déterminée par le service invoqué et par les caractéristiques du comportement propre du client, et le flot d'exécution pour chaque groupe de requêtes correspond à l'enchaînement d'exécutions d'entités logicielles, en séquence et/ou en parallèle, induit par une requête du groupe, - Formaliser les flots d'exécution à l'aide d'une notation permettant de mettre en évidence, d'une part, les relations causales entre les différentes entités logicielles du système impliquées dans les flots d'exécution, et d'autre part, les informations caractérisant la consommation des ressources du système, telles que la durée d'occupation de CPU lorsqu'une entité logicielle est active. - Elaborer un modèle intermédiaire comportant en plus des flots d'exécution formalisés, une spécification de ressources décrivant les matériels physiques du système et une spécification de l'environnement représentant le comportement des utilisateurs. - Automatiser la transformation du modèle intermédiaire élaboré en un modèle de performance. 2.Procédé selon la revendication 1, caractérisé en ce que le modèle de performance dérivé du modèle intermédiaire élaboré est dédié aux simulateurs logiciels pré-existant utilisant des techniques de réseaux de files d'attente. 3.Procédé selon la revendication 1, caractérisé en ce que la répartition des requêtes du système en un nombre fini de groupes de requêtes est déterminée par le service invoqué et par les caractéristiques du comportement propre du client qui influencent la manière dont se réalise le service invoqué. 4.Procédé selon l'une des revendications 1 à 3, caractérisé en ce que le flot d'exécution pour chaque groupe de requêtes est déterminé par l'enchaînement d'exécutions d'entités logicielles, en séquence et/ou en parallèle, induit par une requête du groupe. 5.Procédé selon la revendication 4, caractérisé en ce que la topologie du modèle à files d'attente dérivé de la transformation est entièrement déterminée par les flots d'exécution correspondant aux groupes de requêtes. 6.Procédé selon la revendication 4, caractérisé en ce que la dérivation d'un modèle de performance dédié à un simulateur pré-existant basé sur des techniques des réseaux de files d'attente est automatisable par adaptation des règles de correspondance proposées. 7.Procédé selon l'une des revendications 1 à 6, caractérisé en ce que le formalisme des phases est réalisé à l'aide d'une extension du formalisme MSC (Message Séquence Charts). 8. Procédé selon l'une des revendications 1 à 7, caractérisé en ce que la formalisation du graphe des phases et des flots d'exécution d'un service à l'aide du formalisme HMSC (High level Message Séquence Charts) est représenté sous la forme d'un arbre comportant : - une pluralité de n#uds représentant les phases constituant le service ; - au moins un arc orienté menant d'un n#ud à un autre représentant l'enchaînement en séquence de deux phases ; 9. Procédé selon la revendication 8, caractérisé en ce que l'arbre de formalisation comporte en outre : au moins un n#ud suivi de plusieurs arcs orientés en parallèle, - au moins un n#ud suivi de plusieurs arcs orientés en fonccion du choix de la phase suivante dépendant soit d'une condition externe au système, soit d'une condition interne liée à l'état courant du système. 10. Procédé selon l'une des revendications 1 à 9, caractérisé en ce que le modèle intermédiaire élaboré comporte les flots d'exécution formalisés caractérisant le comportement d'entités logicielles et leurs interactions, au moins une spécification des ressources décrivant les matériels physiques, et au moins une spécification d'environnement représentant le comportement des utilisateurs.