Brevet FR2679347A1 — publié le 19930122

- Système logiciel composite et son procédé de réalisation La présente invention concerne un système logiciel Elle s'applique avantageusement à la formation d'un système logiciel volumineux, c'est-à-dire comportant un nombre d'instructions pouvant 6 aller de 10 à 10 en un langag évolué constituant un langage source. Elle s'applique par exemple à l écriture d'un système destiné à un central de commutation dans un réseau de télécommunications. Les instructions d'un tel système sont écrites en un langage évolué tel que le langage CHILL défini par le comité européen CCITT. Son coût d'écriture, exprimé en temps, est typiquement d'une centaine d'année-homme Après son écriture, il est souvent nécessaire qu'il subisse des évolutions telles que des adaptations à des conditions nouvelles Ces évolutions peuvent constituer une fraction importante de son coût final. Il est connu de donner à des systèmes logiciels une structure composite constituée de composants logiciels Ces composants peuvent être par exemple soit des "blocs fonctionnels" opérant sur des données qui leur sont extérieures, soit des "objets" regroupant des données et des procédures les utilisant On citera à cet égard les systèmes à20 blocs fonctionnels SDL du CCITT et ESTELLE de l'ISO Chaque composant logiciel remplit une fonction qui lui est attribuée Il peut pour cela avoir recours à un autre composant pour accomplir une partie des opérations impliquées par cette fonction Les composants communiquent entre eux par des messages.25 La construction et l'évolution des systèmes connus est rendue difficile et coûteuse par l'importance des interactions qui existent entre ces composants et qui nécessitent la définition de plusieurs interfaces pour chacun d'eux. La présente invention a notamment pour but de faciliter non seulement la réalisation d'un système logiciel volumineux efficace mais aussi sa maintenance et son évolution Elle a notamment pour but de faciliter les nombreuses opérations de tests qui accompagnent les opérations d'écriture correspondantes. Dans ces buts, elle a pour objet un système logiciel composite constitué d'une pluralité de composants logiciels communiquant par des 2- messages "externes", chacun de ces composants effectuant des opérations qui sont déclenchées par de tels messages reçus par ce composant et qui aboutissent à de tels messages émis par ce composant, ce système étant caractérisé par le fait que chacun de ces composants comporte une pluralité de ports de communication qui, d'une part, communiquent séparément avec l'extérieur de ce composant pour recevoir et émettre lesdits messages externes et qui d'autre part échangent des messages internes avec un noyau de ce composant pour faire effectuer au moins partiellement lesdites opérations par ce noyau. Ces ports de communication peuvent typiquement avoir un volume individuel compris entre quelques centaines et quelques milliers d'instructions Ils seront parfois appelés ci-après "ports" Ils présentent, comme le noyau, la forme de modules logiciels. Un tel composant a un volume typiquement compris entre 0,5 104 et 2 104 instructions Il se présente comme un "prestataire de service" Il échange desdits messages externes notamment avec d'autres tels composants qui constituent pour lui des "prestataires de services" ou des "utilisateurs de service". L'utilisation, selon l'invention, de composants présentant une structure modulaire type facilite leur réalisation, leur vérification et leur évolution. A l'aide des figures schématiques ci-jointes, on va décrire plus particulièrement ci-après, à titre d'exemple non limitatif, comment la présente invention peut être mise en oeuvre Ces figures représentent25 des composants conformes à la structure type de la présente invention. Lorsque des éléments homologues appartenant à des composant différents sont désignés sur plusieurs figures ils le sont par un même signe de référence avec des préfixes constitués par des chiffres différents propres à ces composants.30 La figure 1 représente un premier composant, ledit préfixe des signes de référence étant 1, cette figure illustrant tous les éléments essentiels de la structure type prévue par cette invention. Les figures 2 et 3 représentent partiellement un deuxième composant et la transmission de messages dans deux situations différentes, ledit préfixe étant 2. -3 - Les figures 4 et 5 représentent partiellement un troisième et un quatrième composants et la transmission de messages, lesdits préfixes étant 3 et 4, respectivement. On va d'abord indiquer de manière générale, et en se référant à la figure 1, des dispositions qui sont communes, quant aux fonctions indiquées, à des systèmes logiciels connus et à un système selon la présente invention. Selon ces dispositions communes un système logiciel est constitué d'instructions et de données qui sont écrites en un langage source et traduites en un langage exécutable et qui sont groupées dans ce langage source en une pluralité de composants Ces composants sont des composants logiciels Ils sont munis d'interfaces et de ports associés à ces interfaces Ces ports sont des ports de communication constitués de procédures de traitement d'interface pour émettre et recevoir des messages externes locaux et non locaux Un message externe local est adressé par un composant émetteur à un composant destinataire à l'intérieur du système, un message externe non local étant échangé avec l'extérieur du système. Chacun de ces composants est prévu pour effectuer des opérations impliquées par les messages externes reçus par ce composant, ces opérations comportant des traitements effectués à l'intérieur de ce composant en réponse à ces messages externes reçus, et aboutissant à l'émission d'autres messages externes L'ensemble des opérations d'un composant constitue le fonctionnement de ce composant et l'ensemble des fonctionnements des composants constitue le fonctionnement du système. Conformément à la présente invention ces composants sont, au moins dans leur majorité, conformes à une même structure type selon laquelle chaque tel composant conforme IL comporte de manière30 distincte: une pluralité de ports de communication l Sl 154 associés respectivement à une pluralité d'interfaces Il, I 4 de ce composant, un noyau IN constitué par des procédures de traitement de fond et communiquant avec chacun de ces ports pour effectuer des traitements de fond demandés par ce port, -4- et des modules de données DS, DC accessibles par chacun de ces ports et par ce noyau pour enregistrer des données inscrites par ces ports et noyau et pour fournir des données lues par ces ports et noyau. Chaque message externe local adressé à un composant conforme comporte 5 non seulement des "paramètres" représentatifs d'information et l'adresse de ce composant mais aussi celle d'un port de ce composant auquel ce message est plus particulièrement adressé Ce port effectue sur ce message un traitement d'interface pouvant comporter l'inscription et/ou la lecture de données dans les modules de données.10 Ce traitement peut constituer soit, dans quelques cas, un traitement d'interface complet aboutissant à l'émission d'un message externe par ce port, soit, typiquement, un traitement d'interface d'entrée aboutissant à l'émission d'un message interne centripète envoyé par ce port au noyau pour lui demander un traitement de fond Ce traitement15 de fond peut comporter l'inscription et/ou la lecture de données dans les modules de données Il aboutit à l'émission d'un message interne centrifuge envoyé par ce noyau aux divers ports de ce composant Ce message peut appartenir à divers types et comporte une indication du type auquel il appartient Chaque port de ce composant est apte, en réponse à des messages qu'il reçoit, à devenir sélectivement sensible à un type de message interne centrifuge Il devient ainsi apte, en réponse à un message interne centrifuge auquel il est sensible, à effectuer un traitement d'interface de sortie aboutissant à l'émission d'un message externe par ce port Pour donner un exemple simple des rôles des divers ports, un port de communication peut servir à l'exécution des opérations pour lesquelles le composant est prévu, un autre à l'exécution d'opérations de maintenance, et un troisième à l'observation du trafic dans le cas o le système logiciel assure le fonctionnement d'un central de commutation dans un réseau de30 télécommunications Il est évident que les traitements effectués diffèrent selon que le composant est sollicité par l'un ou l'autre de ces ports de communications. Le noyau IN effectue des traitements de fond constituant collectivement la ou les fonctions dévolues au composant Il comporte une pluralité de modules de noyau N N 3 effectuant respectivement -5 - une pluralité de traitements de fond Chacun de ces modules échange des messages internes centraux avec d'autres de ces modules, et des messages internes centripètes et centrifuges avec lesdits ports de communication. 5 Les modules de données comportent d'une part des modules de structure DS contenant des données de structure, ces données étant descriptives de la structure de ce composant et du système et étant seulement lues par les ports et le noyau de ce composant Ils comportent d'autre part des modules de contexte DC contenant des10 données de contexte, ces données étant descriptives de l'évolution d'opérations effectuées par ce composant et par le système, et étant aussi bien inscrites que lues par les ports et le noyau de ce composant. Des interfaces de composant Il, I 4 sont associés aux ports l Sl 154 pour communiquer avec l'extérieur du composant Il Chaque interface telle que I 2 du composant IL définit les échanges entre un autre composant 1 K 2, vu comme utilisateur du composant IL, et un port de communication correspondant 152 du composant IL vu comme prestataire de services La mise en oeuvre du composant IL à partir20 d'un autre composant tel que l K 2 s'obtient ainsi par la transmission d'un message externe du composant 1 K 2 à l'un des ports 152 par exemple, du composant IL conformément à un protocole de communication matérialisé par l'interface correspondante I 2 On peut définir généralement un protocole de communication, au niveau de l'interface,25 comme l'ensemble des règles de constitution et des processus d'interprétation de tels messages, en y incluant l'accomplissement des actions de communication qui sont demandées par le contenu de tels messages. Conformément à l'un des aspects de l'invention, le protocole de communication appartient au port de communication du composant prestataire de services destinataire d'un message. Par ailleurs des interfaces internes au composant sont prévues. Certaines telles que Hl-2 relient deux modules de noyau tels que NI et N 2 D'autres, non représentés, relient ces divers éléments aux modules35 de données DS et DC. 6 - Une interface J est propre au noyau et utilisée par les divers ports Cela signifie que la communication entre les différents ports et le noyau obéit à des règles communes de communication et que les ports réalisent, en tant que de besoin, l'adaptation entre les divers protocoles d'interfaces du composant et le noyau. Chaque port et chaque module de noyau présente la forme d'un automate à états finis. Chaque port comporte des moyens de stockage de message Ml, M 4 et est apte à connaître l'état du noyau de ce composant Lorsqu'il reçoit un message externe nécessitant un traitement de fond, ce port stocke provisoirement ce message et émet, pour connaître cet état, un message interne centripète de test d'activité auquel ce noyau répond par l'émission d'un message interne centrifuge d'état indiquant l'état d'activité de ce noyau Puis ce port adresse un message interne centripète à ce noyau pour demander le traitement de fond seulement lorsque ce noyau est en état d'effectuer ce traitement Le fonctionnement du composant est ainsi rendu synchrone alors que celui du système est asynchrone. Les messages externes adressés aux ports de communication sont traités par ces ports qui se chargent, chacun pour son compte de prendre en charge un message entrant. Cette prise en charge consiste à effectuer sur ce message un traitement d'interface basé sur une analyse de ce message et aboutissant, du moins typiquement à l'émission d'un message interne au25 composant l L, ce traitement constituant alors un traitement d'interface d'entrée Ce message est appelé dans la présente demande "message interne centripète" Il prend typiquement la forme d'un ordre de traitement de fond adressé au noyau N de ce composant pour l'exécution d'un traitement de fond effectué sur des paramètres qui30 étaient contenus dans le message externe reçu. Plus précisément et à titre d'exemple un port tel que 152 est sensible à des messages ou événements externes et internes En cas de réception de message externe nécessitant un traitement de fond dans le noyau, il examine d'abord l'état d':ctivité du noyau et éventuellement35 des modules de données. Si cet état est du type dit "en cours" c'est-à-dire si le traitement en question est déjà en cours d'exécution dans le noyau -7- parce qu'un autre port l'a déjà demandé, le port 152 masque le message reçu, c'est-à-dire qu'il attend le résultat de ce traitement En même temps, il se sensibilise au type du message interne centrifuge qui marquera la fin de ce traitement, ceci pour pouvoir utiliser le moment 5 venu le résultat de ce traitement. Si au contraire cet état est du type "repos", c'est-à-dire si le traitement de fond peut être effectué, le port 152 demande au noyau de le faire. En cas de réception d'un message interne centrifuge auquel le port 52 est sensibilisé, ce port effectue un traitement d'interface de sortie en vue par exemple d'émettre un message externe. Bien entendu d'autres situations peuvent se présenter dont la description n'est pas nécessaire à la compréhension de la présente invention.15 Pour faciliter encore l'écriture d'un système, les instructions concernant les échanges de message externes tels que MRQ et MCF, (fig 3) et les instructions concernant les échanges de messages internes tels que Nl Opé RQ et Nl Opé CF sont écrites en utilisant des règles de nommage analogues pour les divers éléments, soit composants20 et ports en ce qui concerne les messages externes, soit modules de noyau ou de données en ce qui concerne les messages internes. Cependant les utilisateurs externes du composant ne connaissent rien d'autre de la structure interne de ce dernier que l'existence de ses divers ports.25 On va maintenant décrire plus particulièrement des exemples de fonctionnement de composants conformes à la structure type qui vient d'être décrite. Le composant 2 L représenté aux figures 2 et 3 peut fonctionner, au moins dans certains cas, selon le type dit relais On va décrire son fonctionnement dans un tel cas Pour cela et dans la suite on va utiliser des conventions de désignation des messages internes Un message interne est formé de trois éléments: Identité d'un module du noyau, opération à réaliser, type de requête (RQ = demande, CF = confirmation, RJ = rejet, etc)35 a/ Présentation du cas: -8 - Un message "externe" MRQ est émis par un composant utilisateur 2 K 2 et reçu sur le port 252 Il déclenche un traitement d'interface d'entrée qui se traduit par l'envoi d'un message interne centripète Nl Ope RQ à un module du noyau 2 N. En cas d'anomalie de traitement détectée par ce noyau et annoncée par un message interne centrifuge Nl Ope RJ, le composant 2 L doit répondre au message reçu MRQ par l'émission d'un message externe de rejet MRJ Ce dernier est émis par le port 252 à destination de l'utilisateur 2 K 2, ceci parce que ce port était sensible au type du message interne Nl Ope RJ alors que le port 253 ne l'est pas (voir figure 2). En cas de traitement correct le noyau répond par un message interne centrifuge Nl Ope CF Un message externe d'indication MID est alors émis par le port 253 à destination d'un utilisateur 2 K 3 et un message de confirmation MCF est émis par le port 252 à destination du composant 2 K 2, ceci parce que les ports 252 et 253 étaient tous les deux sensibles à ce type de message interne tout en ayant des protocoles de traitement différents. b/ Explication des messages échangés dans le composant logiciel. Le port 252 reçoit le message externe MRQ. Le port 252 émet vers le noyau le message interne Nl Opé RQ (destinataire Nl, opération "Opé", type de requête "demande"). le noyau traite ce message: Dans le cas d'anomalie, le noyau répond par le message Nl.Opé RJ qui est capté par le port 252 Ce dernier émet le message externe de rejet MRJ. Dans le cas de traitement correct, le noyau répond par le message Nl Opé CF qui est capté par les ports 252 et 253 Le port 252 émet alors un message externe de confirmation MCF pour indiquer au composant 2 K 2 qu'il a traité le message MRQ envoyé par ce même composant 2 K 2 Quant au port 253 qui n'a pas reçu le message MRQ, il adresse au composant 2 K 3 un message externe d'indication MID pour lui indiquer qu'un message MRQ a été émis par un autre composant 2 K 2 et a été traité par le composant 2 L. -9 - Le composant 3 L de la figure 4 est analogue au composant 2 L mais on va décrire son fonctionnement dans un cas de croisement de messages externes qui est légèrement différent du cas précédemment décrit. a) Présentation du cas. Ce cas de croisement est le suivant: Un même message externe MR Qi est reçu à peu près simultanément d'abord par le port 352 puis par le port 353 du composant 3 L Le traitement de ce message est quasi immédiatement demandé par le port 352 Il comporte un état d'attente du noyau 3 N de ce composant Cet état d'attente débute avant que le port 353 ait reçu le message MR Ql, par exemple lorsque le port 354 reçoit un message interne centrifuge N 3 Opé RQ 2 de ce noyau dans le cadre de ce traitement et émet un message externe MRQ 2, puis attend la réponse Cet état d'attente se termine postérieurement à la réception du message MR Ql par le port 353, par exemple lorsque le port 354 reçoit la réponse attendue sous la forme d'un message externe MCF 2 et la transmet au noyau sous la forme d'un message interne N 3.Opé C Fl Dans ce cas il convient que le traitement du message MR Ql aboutisse à l'émission de deux messages externes de confirmation MC Fl par les deux ports 352 et 353 et non à celle d'un message d'indication tel que le message MID du cas précédent. b) Explication des messages échangés dans le composant logiciel. Le port 352 reçoit le message externe MR Ql, Le port 352 effectue le test d'activité du noyau La réponse est "repos" Ce port émet alors un message interne centrifuge Nl.Opé R Ql et se sensibilise au type de message Nl Opé C Fl qui constituera le résultat de ce traitement. Le noyau traite le message Nl Opé R Ql, émet des messages tels que N 3 Opé RQ 2 capté par le port 354 et se met en état d'attente. Le port 353 reçoit le message MR Ql Il effectue le test d'activité du noyau La réponse à ce test est "en-cours", ce qui signifie que le traitement approprié a déjà été demandé Ce port se met donc à l'écoute de la fin de ce traitement c'est-à-dire - qu'il se sensibilise lui aussi au type de message Nl Opé C Fl. Suite à réception du message tels que N 3 Opé CF 2 de la part du port 354, et à l'achèvement du traitement de fond, le noyau 3 N émet le message Nl Opé C Fl. Les ports 353 et 354 captent le message Nl-Opé C Fl et répondent comme suit: Le port 352 émet le message externe MC Fl. Le port 353 émet aussi MC Fl (c'est lui qui a enregistré le "croisement" des deux messages MR Ql et il répond comme s'il avait été seul à recevoir un tel message). Des traits tiretés représentent sur la figure des messages internes échangés avec le module de contexte 3 DC pendant les traitements qui viennent d'être décrits. Le quatrième composant 4 L représenté à la figure 5 est utilisé dans un cas dit de diffusion interne au composant. a) Présentation du cas: Le port 454 reçoit un message "externe" MFLT caractéristique d'un mauvais fonctionnement d'un autre composant 4 K 4 Ce port déclenche alors un traitement qui doit se traduire par une libération de la transaction concernée, c'est-à-dire par un arrêt et une annulation des traitements déjà effectués dans le cadre de cette transaction Ce traitement doit se traduire par ailleurs par l'émission de messages de faute M Fl, MF 2, MF 3 vers d'autres composants logiciels 4 K 1, 4 K 2, 4 K 3. b) Explication des messages échangés dans le composant logiciel 4 L. Le port 454 reçoit le message externe MFLT en provenance du composant 4 K 4. Il émet vers le noyau 4 N le message interne centripète N 2 FLT RQ. Ce noyau traite ce message en réalisant la libération de la transaction concernée Il signale la situation par l'émission d'un message interne centrifuge N 2 FLT ID. Chacun des ports 4 Sl, 452 et 453 est sensible de manière permanente à ce message Il y réagit et émet un message externe spécifique du protocole de l'interface de composant qui lui est associée c'est-à-dire que les ports 451, 452 et 453 émettent des messages de il - faute MF 1, MF 2 et MF 3 vers les composants 4 K 1, 4 K 2 et 4 K 3, respectivement. 12 - REVENDICATIONS 1/ Système logiciel composite constitué d'une pluralité de composants logiciels (i L) communiquant par des messages "externes", chacun de ces composants effectuant des opérations qui sont déclenchées par de tels messages (MRQ, fig 3) reçus par ce composant et qui aboutissent à de tels messages (MCF) émis par ce composant, ce système étant caractérisé par le fait que chacun de ces composants comporte une pluralité de ports de communication (l Sl 154) qui, d'une part, communiquent séparément avec l'extérieur de ce composant pour recevoir et émettre lesdits messages externes et qui d'autre part échangent des messages internes (Nl Opé RQ) avec un noyau (MN) de ce composant pour faire effectuer au moins partiellement lesdites opérations par ce noyau. 2/ Système selon la revendication 1, ce système étant constitué d'instructions et de données qui sont écrites en un langage source et traduites en un langage exécutable et qui sont groupées dans ce langage source en une pluralité de composants, ces composants étant des composants logiciels munis d'interfaces et de ports associés à ces interfaces, ces ports étant des ports de communication constitués de20 procédures de traitement d'interface pour émettre et recevoir des messages externes locaux et non locaux, un message externe local étant adressé par un composant émetteur à un composant destinataire à l'intérieur du système, un message externe non local étant échangé avec l'extérieur du système, chacun de ces composants étant prévu25 pour effectuer des opérations impliquées par les messages externes reçus par ce composant, ces opérations comportant des traitements effectués à l'intérieur de ce composant en réponse à ces messages externes reçus, et aboutissant à l'émission d'autres messages externes, l'ensemble des opérations d'un composant constituant ce30 fonctionnement de ce composant et l'ensemble des fonctionnements des composants constituant le fonctionnement du système, ce système étant caractérisé par le fait que ces composants sont, au moins dans leur majorité, conformes à une même structure type selon laquelle chaque tel composant conforme (i L, fig 1) comporte de manière35 distincte: 13 - -une pluralité de ports de communication (l Sl 154) associés respectivement à une pluralité d'interfaces (Il, I 4) de ce composant, un noyau (IN) constitué par des procédures de traitement de fond et communiquant avec chacun de ces ports pour effectuer des traitements de fond demandé par ce port, et des modules de données (DS, DC) accessibles par chacun de ces ports et par ce noyau pour enregistrer des données inscrites par ces ports et noyau et pour fournir des données lues par ces ports et noyau, chaque dit message externe local (MRQ, Fig 3) adressé à un composant conforme comportant non seulement l'adresse de ce composant mais aussi celle d'un port ( 252) de ce composant auquel ce message est plus particulièrement adressé, ce port effectuant sur ce message un15 traitement d'interface pouvant comporter l'inscription et/ou à la lecture de données dans ces modules de données, et pouvant constituer soit un traitement d'interface complet aboutissant à l'émission d'un message externe par ce port, soit un traitement d'interface d'entrée aboutissant à l'émission d'un message interne centripète (Ni Opé RQ)20 envoyé par ce port au noyau (IN) pour leur demander un traitement de fond, ce traitement de fond pouvant comporter l'inscription et/ou la lecture de données dans ces modules de données, ce traitement de fond aboutissant à l'émission d'un message interne centrifuge (Ni Opé CF) envoyé par ce noyau aux divers port de ce composant, ce message25 pouvant appartenir à divers types et comportant une indication du type auquel il appartient, chaque port de ce composant étant apte, en réponse à des messages qu'il reçoit à devenir sélectivement sensible à un type de message interne centrifuge, et étant apte, en réponse à un message interne centrifuge auquel il est sensible, à effectuer un30 traitement d'interface de sortie aboutissant à l'émission d'un message externe (MCF) par ce port. 3/ Système selon la revendication 2, caractérisé par le fait que chaque port ( 1 Sl, 154; fig l) dudit composant conforme (i L) comporte des moyens de stockage de message (Ml, M 4) et est apte à connaître35 l'état du noyau (IN) de ce composant, ce port réagissant à un dit 14 - message externe qu'il reçoit en stockant provisoirement ce message et en émettant un message interne centripète de test d'activité auquel ce noyau répond par l'émission d'un message interne centrifuge d'état indiquant à l'état d'activité de ce noyau, ce port adressant un dit message interne centripète (Nl Opé RQ, fig 3) à ce noyau pour demander un traitement de fond de ce message externe seulement lorsque ce noyau est en état d'effectuer ce traitement, de manière que le fonctionnement de ce composant soit synchrone alors que celui de ce système est asynchrone.10 4/ Système selon la revendication 2, dans lequel lesdits modules de données comportent d'une part des modules de structure (DS) contenant des données de structure, ces données étant descriptives de la structure de ce composant (i L) et du système et étant seulement lues par les ports (l Sl 154) et le noyau de ce composant, d'autre part15 des modules de contexte (DC) contenant des données de contexte, ces données étant descriptives de l'évolution d'opérations effectuées par ce composant et par le système, et étant aussi bien inscrites que lues par les ports et le noyau de ce composant. 5/ Système selon la revendication 2, caractérisé par le fait que ledit noyau ( 1) comporte une pluralité de modules de noyau (Ni, N 2) effectuant respectivement une pluralité de traitements de fond, chacun de ces modules échangeant des messages internes-centraux avec d'autres de ces modules, et échangeant desdits messages internes centripètes et centrifuges avec lesdits ports de communication (l Sl, 154).25 6/ Système selon la revendication 5, caractérisé par le fait que certains au moins desdits modules de noyau (Ni, N 2) sont sensibles chacun à un ordre d'arrêt pour interrompre un traitement en cours dans ce module, et à un ordre de réinitialisation pour reprendre le traitement ainsi interrompu, ces ordres d'arrêt et de réinitialisation30 étant émis par des ports de communication (l Sl, 154) et/ou par d'autres modules de noyau (Nl, N 2) du même composant ( 1 L). 7/ Procédé de formation d'un système logiciel, ce procédé étant caractérisé par le fait qu'on écrit ce système conformément à l'une uelconque des revendications précédentes.35 8/ Procédé selon la revendication 7, caractérisé par le fait que les - instructions concernant les échanges de message externes (MRQ, MCF, fig 3) et les instructions concernant les échanges de messages internes (Nl Opé RQ, Nl Opé CF) sont écrites en utilisant des règles de nommage analogues.