FR2688611A1 - Utilisation d'un langage dont le typage porte sur le contenu des variables et permettant de manipuler des constructions complexes. - Google Patents

Utilisation d'un langage dont le typage porte sur le contenu des variables et permettant de manipuler des constructions complexes. Download PDF

Info

Publication number
FR2688611A1
FR2688611A1 FR9202976A FR9202976A FR2688611A1 FR 2688611 A1 FR2688611 A1 FR 2688611A1 FR 9202976 A FR9202976 A FR 9202976A FR 9202976 A FR9202976 A FR 9202976A FR 2688611 A1 FR2688611 A1 FR 2688611A1
Authority
FR
France
Prior art keywords
language
function
functions
list
sml
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
FR9202976A
Other languages
English (en)
Other versions
FR2688611B1 (fr
Inventor
Jarossay Mylene
Attal Denis
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Bull SAS
Original Assignee
Bull SAS
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Bull SAS filed Critical Bull SAS
Priority to FR9202976A priority Critical patent/FR2688611A1/fr
Priority to CA002091546A priority patent/CA2091546C/fr
Priority to EP93400643A priority patent/EP0560689A1/fr
Priority to JP5052316A priority patent/JP2514152B2/ja
Publication of FR2688611A1 publication Critical patent/FR2688611A1/fr
Priority to US08/479,563 priority patent/US5734907A/en
Application granted granted Critical
Publication of FR2688611B1 publication Critical patent/FR2688611B1/fr
Granted legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/30Creation or generation of source code
    • G06F8/31Programming languages or programming paradigms

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computing Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Devices For Executing Special Programs (AREA)
  • Computer And Data Communications (AREA)

Abstract

Un langage dans lequel le typage porte sur le contenu des variables plutôt que sur les variables et qui, en outre, permet de manipuler des structures complexes telles que des ensembles ou des arbres est utilisé dans des programmes d'applications de type programmes de gestion d'un réseau. D'une part, sont ainsi créées des interfaces d'accès à des serveurs en autorisant une programmation générique et d'autre part sont créées des interfaces respectant le caractère ensembliste de bases de données relationnelles et le caractère arborescent d'une pluralité de serveurs. Chaque machine du réseau possède un interpréteur INT dudit langage.

Description

i Utilisation d'un langage dont le typage porte sur le contenu des
variables et permettant de manipuler des constructions complexes. La présente invention concerne l'utilisation d'un langage dans lequel le typage porte sur le contenu des variables plutôt que sur les variables et qui, en outre, permet de manipuler des structures complexes telles que des ensembles
ou des arbres.
Traditionnellement, ce type de langage est essentiellement utilisé dans le domaine de l'intelligence artificielle Au regard des langages classiques, ce type de langage apporte l'objet fonctionnel manipulable sans restriction, une programmation récursive efficace ainsi qu'une gestion automatique de la mémoire programme- données En outre, grâce à la représentation similaire des programmes et des données, un programme peut s'automodifier pour tenir compte d'événements nouveaux Cependant, en dehors de son application au domaine de l'intelligence artificielle, son utilisation est mal ressentie et notamment, il existe une foule de préjugés quant à son maniement dans d'autres domaines et notamment dans le domaine des programmes
d'applications du type programmes de gestion d'un réseau.
Dans ce dernier domaine, il existe des langages de programmation spécifiques à certaines applications Ainsi, un langage du type SMALLTALK sera utilisé pour une première famille d'applications dont l'objet est de présenter des interfaces d'accès à des serveurs qui soient simplifiées et qui facilitent une programmation générique, c'est-à-dire dans laquelle la structure des données est manipulée de manière directe sans connaître le contenu des données En effet, dans ce type de langage, le typage porte sur le contenu des variables plutôt que sur les variables, caractéristique qui permet de répondre efficacement aux
problèmes posés par cette première famille d'applications.
Cependant, lorsque il sera désiré créer des interfaces avec des bases de données relationnelles qui ont un caractère ensembliste, c'est un autre type de langage qu'il faudra utiliser, par exemple le langage SQL qui possède également ce caractère ensembliste mais qui lui, par contre, ne permet pas de faciliter une programmation générique De même, d'autres problèmes sont posés lorsqu'il s'agit de créer des interfaces respectant le caractère arborescent d'une pluralité de serveurs comme par exemple dans les plateformes d'administration de réseaux Ainsi, à chaque famille d'applications correspond un type de langage adapté Cette situation est peu pratique et entraîne un manque de souplesse lorsque des programmes d'applications du genre programmes de gestion de réseau doivent être développés pour permettre de créer des interfaces avec des bases de données relationnelles tout en autorisant l'établissement de requêtes vers des serveurs d'informations sans connaître
préalablement la structure de la valeur reçue en retour.
La présente invention a pour but de remédier à cet inconvénient majeur et propose l'utilisation d'un langage dans lequel le typage porte sur le contenu des variables et
qui, en outre, permet de manipuler des structures complexes.
Pour cela, le langage du type précité est utilisé dans des programmes d'applications du type programmes de gestion d'un réseau destinés d'une part à créer des interfaces d'accès à des serveurs en autorisant une programmation générique et d'autre part à créer des interfaces respectant le caractère ensembliste de bases de données relationnelles et le caractère arborescent d'une pluralité de serveurs, chaque
machine du réseau possédant un interpréteur dudit langage.
Ainsi, l'idée de l'invention consiste à utiliser, et ceci contre toute attente, dans des programmes d'applications du type programmes de gestion des réseaux un langage symbolique de programmation conçu pour être appliqué essentiellement au domaine de l'intelligence artificielle Ce langage, en effet, présente simultanément l'ensemble des caractéristiques désirées pour développer les programmes d'applications ci-avant mentionnés Contrairement aux solutions de l'art antérieur, un seul langage est utilisé,5 ce qui confère une grande souplesse et une efficacité considérable Les programmes peuvent ainsi manipuler des données sans connaître leur contenu, présentant de la sorte une avantageuse généricité, en particulier des requêtes peuvent être adressées à des serveurs d'informations sans10 connaissance préalable des structures des valeurs reçues en retour, l'interface d'accès avec lesdits serveurs étant bien entendu considérablement simplifiée Dans un tel langage, en réalité les variables n'ont pas de type car elles sont supposées toutes exister à un état indéterminé et c'est au moment d'une affectation que le type est en même temps fixé, le code s'adaptant aux diverses applications En outre, grâce à ce langage de très haut niveau, qui a un caractère ensembliste, il est tout à fait simple de créer des interfaces avec différents serveurs d'informations, interfaces qui permettent d'une part de respecter le caractère également ensembliste de langages structurés, tel que SQL autorisant ainsi l'accès à des bases de données relationnelles et d'autre part de respecter le caractère arborescent de certains serveurs utilisés notamment pour des plateformes d'administration de réseaux Enfin, et par conséquence, l'utilisation d'un tel langage de programmation permet de réduire très significativement le temps de
développement d'une application.
Selon une application préférée de la présente invention, le
langage utilisé est un langage du type Lisp.
En outre, pour permettre le dialogue selon ce langage entre les diverses machines du réseau, chacune d'entre elles
possède un interpréteur dudit langage.
De manière remarquable l'interpréteur du langage de chaque machine est principalement constitué d'un noyau pour traiter le programme à exécuter en s'appuyant aussi bien sur des services internes: évaluateur, gestion mémoire, que sur le code exécutant les fonctions primitives du langage, d'une interface programmatique documentée entre le noyau et le code exécutant les fonctions primitives pour autoriser l'accès à une pluralité de services et faciliter l'extension du langage et de l'interpréteur à de nouvelles fonctions primitives. Cet interpréteur permet de développer de manière aisée, rapide et efficace une application désirée Grâce au langage utilisé, les différentes fonctions peuvent être codées (dans un environnement constitué par l'interpréteur et différentes bibliothèques auxquelles l'interpréteur a accès) et testées rapidement sans passer par les phases traditionnelles de compilation-liaison-exécution nécessaires aux autres langages de programmation Ainsi, le code n'est jamais compilé et lorsque l'interpréteur est appelé, tout code existant est chargé et immédiatement interprété L'interface programmatique offre l'accès à une pluralité de services, elle doit être claire et documentée pour faciliter avantageusement l'extension du langage et de l'interpréteur lui-même à de nouvelles fonctions primitives offrant, par
exemple, l'accès à de nouveaux serveurs.
La description suivante en regard du dessin annexé, le tout
donné à titre d'exemple non limitatif, fera bien comprendre
comment l'invention peut être réalisée.
La figure unique propose un exemple de structure représentant un interpréteur et un ensemble de bibliothèques
auxquelles il a accès.
Sur la figure unique, l'interpréteur est référencé INT et l'ensemble de bibliothèques est référencé LIB. L'interpréteur de langage INT est composé principalement d'un noyau K, d'une interface programmatique A Pl et d'un jeu de fonctions SOF mettant en oeuvre les fonctions primitives de l'interpréteur INT Dans ce jeu de fonctions, deux catégories peuvent être grossièrement distinguées Une première dans laquelle sont rangées les fonctions de base BF, c'est-à-dire les fonctions propres au langage dont le typage porte sur le contenu des variables et permettant de manipuler des constructions complexes, par exemple et de manière avantageuse, les fonctions de base de Lisp Une seconde à laquelle appartiennent des fonctions étendues qui assurent l'interface avec différents services représentés sous la référence LIB Ainsi, dans l'exemple montré figure unique, un jeu de fonctions SAF permet d'accéder à une bibliothèque propre à un langage structuré SLL servant à son tour d'interface avec des bases de données relationnelles (non représentées) Un autre jeu de fonctions XAF permet d'accéder à une bibliothèque XML dont l'objet est de fournir des composants pour développer et gérer des interfaces utilisateur graphiques Un troisième jeu de fonctions GAF permet d'accéder à une bibliothèque GOL autorisant les applications utilisant les objets graphiques élaborés Un quatrième jeu de fonctions MIF permet d'accéder à une bibliothèque MIL servant à son tour d'interface avec des
services de gestion de réseaux et systèmes d'informations.
Pour la première ou la seconde catégorie de jeu de fonctions, l'utilisation d'une fonction primitive du langage utilisé selon l'invention (qui est appelé dans la suite dans un but de simplification: langage SML) conduit à l'exécution d'une procédure qui est connue sous le nom de
fonction codant la primitive.
Une fonction codant une primitive est elle-même compilée comme le reste de l'interpréteur étant écrite à l'origine par exemple en langage C Les arguments d'entrée sont reçus en langage SML car ils proviennent d'un dispositif d'appel
fonctionnant en langage SML De même, la valeur retournée vers le dispositif d'appel est toujours en langage SML.
S'agissant de fonctions de base BF (en langage SML), une fois que la fonction codant la primitive a accompli sa tâche, il y a retour vers le dispositif d'appel Cependant dans le cas o un appel de fonction SML représente une demande d'accès à un des services proposés par l'ensemble LIB, alors la fonction codant la primitive doit réaliser un travail supplémentaire qui généralement conduit à l'exécution des tâches suivantes: validation des arguments d'entrée (en langage SML), s'il n'y a pas d'erreur, conversion des arguments en langage SML en arguments en langage de type C, appel d'une procédure dans une des bibliothèques externes de l'ensemble LIB fournissant des arguments d'entrée en langage type C, après retour de la procédure externe, retour au dispositif
d'appel fournissant une valeur de retour en langage SML.
En outre, indépendamment de l'objet de la présente invention, le langage SML permet la mise en oeuvre d'un très grand nombre d'applications dans le domaine de l'informatique distribuée également appelée informatique
coopérative.
De manière générale, ce langage présente avantageusement les caractéristiques des langages de type Lisp et se propose de fournir des moyens efficaces et cohérents d'accès, de manipulation et de présentation des informations de gestion de réseaux et systèmes d'informations Pour cela, il doit respecter les règles principales suivantes: les objets gérés sont définis selon les règles du standard ISO. les opérations sur les objets gérés sont cohérentes et conformes à celles décrites dans le standard ISO pour l'utilisation des services des réseaux et systèmes
d'informations de gestion (voir ISO CMIS).
l'accès à des bases de données est possible par l'intermédiaire d'un langage structuré tel que SQL. l'interface utilisateur, par exemple pour le dialogue ou la visualisation d'informations, est gérée par l'intermédiaire de fonctions permettant l'accès d'une part à des composants de développement et de gestion des interfaces utilisateur graphiques comme par exemple X/Motif et d'autre part aux applications utilisant les objets graphiques
élaborés, tel le système Go (Graphic Objects).
Le langage SML utilisé selon l'invention est influencé par le langage Common Lispl' mais ne cherche pas nécessairement à lui être totalement compatible, car le langage SML cherche à atteindre des objectifs fondamentalement différents de ceux de Common Lisp"l ou de tout autre dialecte Lisp En effet, dans leur ensemble, les dialectes Lisp sont largement utilisés dans le domaine de l'intelligence artificielle, alors que le langage SML est adapté aux programmes
d'applications du type programmes de gestion de réseaux.
Pour cette raison, il y a sensiblement moins de fonctions de base nécessaires en langage SML que de fonctions proposées
dans Il Common Lisp"l par exemple.
Il existe d'autres différences entre le langage SML et Il Common Lisp"l Ainsi dans le langage SML, un atome peut avoir une seule valeur alors que les dialectes Lisp classiques permettent, par exemple, qu'un même nom soit donné à une variable et à une fonction sans qu'il y ait un risque de conflit De même, dans le langage SML, les listes sont manipulées de manière interne comme des tableaux de manière à accélérer les opérations de balayage pour
l'analyse et l'exploration des informations.
Il est important également de remarquer que les objets gérés d'une base d'informations de gestion (base qui contient la totalité des informations utiles pour une application donnée) qui ont une structure d'arbre sont facilement représentés sous forme de listes, cette représentation étant obtenue de manière tout à fait naturelle pour le langage SML. Les bibliothèques externes de l'ensemble LIB sont constituées de procédures compilées écrites à l'origine en langage de type C, mais à la différence des fonctions codant les primitives, elles ignorent les arguments ou objets de type SML Ces dernières effectuent une conversion des arguments de type SML en langage de type C ou effectuent la conversion inverse et ainsi peuvent être considérées comme des procédures liant les bibliothèques externes de
l'ensemble LIB et les fonctions SML.
L'utilisation de fonctions telles que XAF ou MIF est obligatoire d'une part pour permettre à un utilisateur d'avoir accès à toute application et d'autre part pour permettre de retrouver une information contenue dans un service de gestion des réseaux et systèmes d'informations (base de données par exemple) L'utilisation des fonctions GOF bien qu'utile n'est pas obligatoire alors que celle des
fonctions SAF n'est jamais obligatoire pour une application.
En fait, les fonctions SAF ne sont utilisées que pour permettre de créer et/ou d'accéder à des bases de données relationnelles La relation avec une telle base de données peut être établie pour une utilisation spécifique à une
application; de même ladite base de données peut être partagée entre plusieurs applications.
L'interface A Pl autorise l'application de toute fonction SAF, XAF, GAF, MIF par l'intermédiaire d'une fonction BF en35 langage SML qui entraîne l'exécution d'une fonction codant une primitive SML Après quelques opérations de vérification et de formatage de base, la fonction codant la primitive SML appelle la fonction adéquate permettant l'accès à l'une des
bibliothèques externes de l'ensemble LIB.
En outre, le rôle du noyau K consiste à créer le lien entre un appel d'une fonction SML et une fonction codant une primitive SML Les fonctions codant les primitives SML de même que les fonctions SAF, XAF, GAF, MIF sont des
procédures en langage de type C, avec compilation de code.
L'appel de la fonction SML original est, quant à lui, interprété De manière générale, la phase d'interprétation correspond à moins d'un pour cent du temps d'exécution, la plus grande partie du temps de traitement est passée à
l'exécution de codes compilés.
Une caractéristique importante et avantageuse de l'environnement SML tient à sa réactivité aux événements extérieurs Ainsi, une application SML peut accéder au moyen de l'interface à différents services et requérir que tout événement qui se produit lui soit notifié Par exemple, l'action d'un utilisateur (sur un clavier, un écran, une souris,) pourra être considérée comme un événement spécifique qui "réveille" une application SML permettant d'amorcer un dialogue avec l'utilisateur Cette opération de "réveil" implique l'exécution de procédures SML spécifiques, en vue du traitement de l'événement De telles procédures appelées procédures de rappel ou "callback" sont d'une extrême importance pour le développement de toute
application SML.
Une application SML se met en place pour le traitement d'événements après production d'appels vers la source d'événements appropriée et après avoir fourni le nom de la procédure de rappel qui doit être déclenchée quand un
événement survient.
Une application SML peut être considérée en fait comme une collection de procédures de rappel Au démarrage de l'application et après initialisation, celle-ci notifie aux sources d'événements ses exigences en fournissant les noms des procédures de rappels appropriées Ensuite l'application
attend l'apparition desdits événements.
Les événements qui surviennent sont gérés par le noyau K de l'interpréteur SML Ainsi, le noyau n'est pas seulement responsable des relations entre les appels SML et les fonctions codant les primitives SML mais également du traitement des événements Lorsqu'un événement provenant d'une source donnée survient, le noyau attend, si besoin est, l'inactivité de l'application et ensuite active la
procédure de retour appropriée.
Si une application est en train de traiter un événement et qu'un autre événement survient, le noyau attend l'achèvement de la tâche en cours avant d'activer la procédure de retour correspondant au nouvel événement Ainsi, des événements peuvent rester en attente de traitement pour une application donnée, le premier dans la file d'attente étant le prochain à traiter Il n'existe pas de notion de priorité pour le
traitement des événements.
Selon les concepts de programmation relatifs à la présente invention, une quelconque application SML, qui doit être développée, doit principalement effectuer les deux tâches essentielles suivantes: créer une interface avec l'utilisateur, ce qui implique la visualisation sur l'écran d'objets (fenêtres, boîtes de dialogue, boutons,) utilisés pour contrôler le dialogue entre l'utilisateur et l'application, retrouver, manipuler et visualiser l'information demandée
par l'utilisateur.
Le langage SML fournit l'interface avec les différentes fonctions qui autorisent l'exécution de ces deux tâches essentielles. il L'interface utilisateur est, de manière habituelle, codée pour utiliser des systèmes de développement et de gestion d'interfaces utilisateur graphiques comme par exemple le système connu OSF/Motif-X/Windows (marques déposées respectivement par l'Open Software Foundation et par le M I T) Le langage SML fournit l'interface pour les fonctions XAF compilées accédant à la bibliothèque externe
XML, par exemple X/Motif.
Une fois que l'application a déterminé l'information qui est requise par l'utilisateur, elle doit dans l'étape suivante
retrouver cette information.
L'ensemble des informations qui doivent être rendues disponibles pour les différentes applications est appelé la base d'informations gérées MIB Cette base ne consiste pas en un simple répertoire de données, comme l'est une base de données centralisée, mais est de nature conceptuelle car elle représente les informations qui peuvent être fournies
lorsqu'elles sont nécessaires.
Retrouver une information dans la base MIB n'implique pas alors une demande d'accès à une base de données Cela implique la requête d'une information à partir d'un composant qui peut fournir l'information requise Chacun de
ses composants gère une partie de la base MIB.
L'interaction entre une application (composant requérant) et un gestionnaire d'informations (composant fournisseur d'informations) est obtenue au moyen de messages envoyés entre les deux composants Un gestionnaire répondra à des requêtes d'information en alimentant l'application au moyen de parties d'objets qu'il connaît, le gestionnaire de ces
objets étant appelé dans la suite gestionnaire d'objets.
L'environnement dans lequel s'applique l'invention utilise du point de vue sémantique un paradigme "orienté-objet", ce qui signifie qu'un programmeur n'utilisera pas une approche orientée-procédurey' Un objet diffère d'une procédure en ce qu'il est une entité de laquelle peuvent être requises un certain nombre d'actions Les données propres à un objet ne sont jamais manipulées, de manière directe, par autre chose que l'objet lui-même, il n'y pas de concept de données globales comme, de manière générale, c'est le cas pour le
modèle uorienté-procédureh".
Pour développer une application dans le présent contexte, utilisant un modèle "orienté-objet", il faut conserver en mémoire qu'une entité qui envoie un message à un objet n'a pas à attendre la fin de traitement du message par l'objet, mais peut, car le fonctionnement est asynchrone, envoyer d'autres messages à d'autres objets tout en attendant la réponse faite au message envoyé au premier objet Au contraire, lorsqu'une procédure est appelée, le code d'appel bloque tout autre appel tant que ladite procédure n'est pas
acquittée, le fonctionnement étant synchrone.
Dans la mise en oeuvre de ces différentes applications, les messages peuvent désigner et être directement appliqués à un objet puisque ce dernier ne traite pas lui-même les messages envoyés par une application, c'est le gestionnaire d'objets
qui opère le traitement.
A ce modèle applications et gestionnaires d'objets, il est possible de faire correspondre le modèle client-serveur dans lequel les applications sont les clients et les gestionnaires d'objets les serveurs Ceci implique seulement que les applications requièrent les services des gestionnaires d'objets Lorsqu'un gestionnaire d'objets reçoit un message émis par une application, il interprète et
traite le message.
Si l'on considère qu'un agent intégrateur est un gestionnaire d'objets qui fournit des informations à une application ayant émis une requête, cet agent intégrateur devra, pour fournir lesdites informations, communiquer via une interface avec un agent (composant généralement d'un autre système) qui gère les valeurs d'attributs d'un objet
géré d'une base d'informations de gestion.
Une caractéristique importante d'une application est qu'elle interagit directement avec l'utilisateur ce que ne fait pas un gestionnaire d'objets Une application reçoit des requêtes par l'intermédiaire de l'interface utilisateur et renvoie les informations vers l'utilisateur, par contre une application ne gère pas les objets, de même qu'elle n'agit pas pour d'autres applications ou d'autres gestionnaires d'objets. Comme cela a été vu précédemment, une application réagit aux événements, ce qui signifie qu'elle attend effectivement qu'un événement survienne, par exemple l'interaction d'un
utilisateur Cependant, l'application ne génère pas elle-
même des événements, ces derniers étant générés uniquement
par les gestionnaires d'objets.
Lorsqu'une application est utilisée dans un environnement SML, elle doit se préparer à répondre aux interactions d'un utilisateur Les demandes d'information d'un utilisateur provoquent des interactions entre l'application et un ou plusieurs gestionnaires d'objets Ceci implique alors, d'une part, la présence active du ou des gestionnaires et d'autre part que ce ou ces derniers soient prêts à recevoir les messages émis par les applications Pour cela, les gestionnaires sont toujours prêts à fonctionner et doivent rester activement présents tant que les applications sont actives. Dans ce contexte, toutes les applications ainsi que les gestionnaires d'objets communiquent entre eux par l'intermédiaire d'infrastructures de communication utilisant
des protocoles et des services standards.
Cette infrastructure inclut les services gestionnaires de communications qui à leur tour incluent les services de
gestion des réseaux et systèmes d'informations.
Les applications comme les gestionnaires d'objets ont accès aux services de gestion des réseaux et systèmes d'informations (basés sur le standard OSI CMIS) Une application a accès à ces services (CMIS par exemple) par l'intermédiaire de l'interface A Pl au moyen des fonctions BF et MIF puis de la bibliothèque externe MIL qui sert
d'interface à son tour aux services tels que CMIS.
Deux importants services peuvent être rendus aux applications concernées par les services de gestion des réseaux et systèmes d'informations tels que CMIS: fournir un service d'acheminement ou d'aiguillage entre les applications et les gestionnaires d'objets en déterminant quel gestionnaire doit recevoir un message émis par une application en fonction du type d'objet que l'application spécifie (cette dernière ne sachant pas si le gestionnaire d'objets réside sur le même système ou un
système différent).
proposer aux applications des fonctions qui autorisent l'exécution d'opérations sur les objets gérés d'une base d'objets gérés, les opérations les plus intéressantes étant les suivantes: GET retrouve des informations d'un objet (les valeurs de ces attributs), ceci est l'opération la plus utilisée. CANCEL GET: permet à une application de notifier aux services de gestion de réseaux et systèmes d'informations que le nombre de réponses déjà reçues après une opération GET est suffisant, par conséquent tout autre réponse d'un
gestionnaire d'objets doit être rejetée.
SET: donne aux attributs des objets les valeurs spécifiées.
CREATE: crée une instance d'objet.
DELETE: supprime une instance d'objet.
Une application ne peut fixer les valeurs d'attributs que si la définition de l'objet autorise cette opération Ceci est
également vrai pour les opérations CREATE et DELETE.
Un exemple (non limitatif) d'un jeu de fonctions BF en langage SML est décrit ci-après quant à certaines
conventions d'une part et à sa description syntaxique
d'autre part.
Par convention Un symbole littéral indique qu'il est lui-même une donnée
plutôt qu'une référence.
Un astérisque * indique que le symbole qui précède est optionnel et qu'il peut être répété autant de fois que désiré. Un signe + indique que le symbole qui précède peut être répété autant de fois que désiré mais qu'il doit être
présent au moins une fois.
Des accolades {} indiquent que le groupe de symboles entre
les crochets est considéré comme un seul terme.
Des crochets ll indiquent que le groupe de symboles entre
parenthèses est optionnel.
Une barre de séparation I indique qu'il existe plusieurs alternatives. Tout commentaire commence par un point virgule et termine à
la fin de la ligne.
Les nombres sont représentés par 32 bits avec signe et peuvent être notés sous la forme décimale (par défaut), sous la forme hexadécimale (#x ou Ox) ou selon leur code ASCII
(#\J).
Les symboles sont des identificateurs qui permettent de
nommer des fonctions ou des variables.
Un symbole qui commence par deux points (:) est un mot clé.
Les mots clé sont utilisés dans la définition des fonctions.
Les symboles dans le langage SML sont monoévalués, par conséquent un symbole peut se référer à une fonction ou à
une variable mais pas aux deux.
Comme dans tout dialecte Lisp, une liste est à la fois une structure dedonnées et une structure de programme Par défaut, une liste est évaluée et le premier élément doit être une fonction Une évaluation peut néanmoins être évitée
en utilisant la fonction (').
Les listes sont des ensembles extensibles d'éléments consécutifs stockés dans une mémoire et par conséquent n'ont pas la structure classique de Lisp en cellules chaînées Les listes ou les chaînes de listes (ensembles de listes) sont
cependant traitées comme des séquences de Common Lisp.
Une liste "Propriété'" est une liste spéciale composée de paires, chaque paire contenant un attribut et sa valeur
associée, l'attribut devant être un symbole.
Les chaînes de listes sont encadrées par des guillemets.
Suit l'énumération des principales fonctions de contrôle.
"Catch" et "Ithrow"': ces fonctions, manipulées de manière relativement exceptionnelle, présentent un mécanisme puissant pour sortir d'un traitement complexe La fonction "catch" évalue une forme, mais si un "throw" avec la même étiquette survient pendant l'évaluation de la "forme", ladite évaluation n'est pas menée à son terme et "catch"
retourne l'évaluation du "résultat".
L'étiquette doit être définie comme une cible pour le
transfert de contrôle "Catch" et "throw" sont appairés.
Plusieurs combinaisons de "catch" "throw" peuvent être utilisées avec différentes étiquettes A un "throw" correspond obligatoirement un "catch", si un "throw" est rencontré avec une étiquette inconnue une erreur est
signalée.
"Cond": c'est un test conditionnel Cette fonction évalue la "forme" qui est associée au premier test qui retourne une condition vérifiée La fonction retourne l'évaluation de la dernière de ses formes Si aucune forme n'est présente alors une valeur simple de test est retournée Lorsque chaque test produit un "nil" (rien n'est trouvé), la fonction "ycond'"
retourne un "nil".
"do": cette fonction opère une itération générale, elle fournit un mécanisme généralisé d'itération avec un indice numérique arbitraire Au début les variables sont liées à leur valeur initiale, ensuite la fonction effectue une boucle qui fonctionne ainsi évaluation du test final Si cet attribut est vérifié et "résultats" spécifié, évaluation de "résultats" et retour de la dernière évaluation Si "résultats" n'est pas
spécifié, retourne "nil".
évaluation de chaque "forme".
évaluation des expressions "par étape" de gauche à droite, chaque résultat est lié à l'indice variable correspondant Si "étape" est omis, la variable reste inchangée. "dolist": cette fonction, opère une itération dans les éléments d'une liste, elle assigne successivement chaque élément de la liste à une "variable" et évalue chaque
"forme" Si "résultat" est omis, "nil" est retourné.
"dotimes: cette fonction permet de créer une boucle de zéro à (n-1) en opérant de la manière suivante D'abord elle évalue le nombre de tour à effectuer, nombre qui doit être entier Ensuite et successivement elle assigne les entiers de zéro au (nombre évalué 1) Pour chaque itération, les instructions de chaque forme sont exécutées Si le nombre évalué est égal à O ou à une valeur négative les instructions ne sont pas exécutées Le résultat de cette fonction est l'évaluation de "résultat", si ce dernier est
omis le résultat est "nil".
"eval": cette fonction évalue une expression SML dans l'environnement instantané Une double évaluation est donnée car l'argument est évalué par SML avant d'être évalué par
cette fonction.
"exit": cette fonction ferme l'environnement SML en
terminant l'exécution.
"for" et "mapfor": ces fonctions procèdent à une itération dans une liste de valeurs Elles affectent successivement une "variable" (non évaluée) à chacun des éléments de la liste de valeurs évaluées et exécutent les instructions "For" retourne la valeur de l'évaluation de la dernière instruction de la dernière itération alors que "mapfor" construit une liste composée des valeurs
successives "d'instruction" pour les itérations.
"if": test conditionnel dont la fonction est similaire de "cond" mais avec un niveau de parenthèses supprimé Il exécute la partie "then" de la première condition vérifiée ou la partie '1 else" (si elle existe) si aucune condition
préalable n'a été vérifiée.
"let": cette fonction annonce une variable locale en opérant comme suit: évaluation de toutes les valeurs initiales et liaison
de ces valeurs aux variables correspondantes.
évaluation séquentielle de chaque "forme".
Si aucune valeur initiale n'est associée à une variable, "nil" est initialisé La valeur de retour de la fonction est
celle retournée par la dernière "forme".
"progn": cette fonction exécute en séquence des instructions, elle évalue chaque "forme" et retourne le résultat de la dernière évaluation Elle est utile lorsque plus d'une instruction est attendue, par exemple dans les
parties '"then"' d'une instruction "if ".
yquote' ou "/": cette fonction a pour but d'éviter une
évaluation Elle retourne l'objet sans l'évaluer.
"set" ou "setq" cette fonction est utilisée pour assigner une valeur à une variable C'est l'équivalent de la fonction assignement des dialectes Lisp Dans sa forme "setq" le premier argument n'est pas évalué alors qu'il est évalué dans sa forme "set" Ces deux fonctions évaluent le second argument et fixent la valeur du premier argument à la valeur résultante La fixation des valeurs actives ne modifie pas leur valeur mais appelle sur la valeur une
fonction prédéfinie.
"Some" et "every": ces deux fonctions provoquent une
itération pour la recherche d'un attribut dans une liste.
Pour cela, elles appliquent une fonction attribut à chaque élément d'une liste "Some" applique la fonction jusqu'au retour d'une valeur non "nill' et retourne alors cette valeur, sinon à la fin retourne "nil" "Every" applique la fonction jusqu'au retour d'un valeur "nil" et retourne '"nil"f, sinon à la fin elle retourne le dernier résultat obtenu Le nombre de listes données devrait être égal au nombre d'arguments de la fonction appliquée Ainsi la fonction est appliquée N fois lorsque N est la longueur de
la première liste donnée.
Si l'une des autres listes a une taille inférieure à la première elle sera considérée comme une liste de la même taille que la première obtenue en ajoutant son dernier élément à la fin autant de fois qu'il est nécessaire Si la première liste a une taille inférieure à une autre liste, seuls les premiers N éléments des autres listes sont référencés. -"unless": cette fonction, qui est un test conditionnel négatif, exécute chaque instruction et retourne la valeur de la dernière si la condition est évaluée à la valeur "nil", sinon "nil" est retourné C'est l'inverse de la fonction
"when" décrite plus loin.
"unwind-protect": cette fonction retourne l'évaluation de la "forme protégée", mais garantit une tentative de sortie par un "throw" interne, chaque "forme" sera évaluée en
séquence avant d'obéir à "throw".
"when": cette fonction, test conditionnel positif, exécute chaque instruction et retourne la valeur de la dernière si la condition évaluée est vérifiée sinon "nil"
est retourné.
"while": cette fonction, exécute chaque instruction en séquence jusqu'à une condition "nil" La fonction retourne
toujours "nil".
"with ou "'with-eval": ces fonctions annoncent une variable locale Ce sont des constructions utilisées pour annoncer et initialiser des variables qui sont propres à un groupe d'instructions Les valeurs actives et les fonctions sont manipulées comme désiré, remettant à zéro leur valeur initiale après exécution de '1 with'l Les valeurs sont évaluées séquentiellement L'argument "contexte" est une liste de variables et de valeurs associées (liste propriété) qui peut être réutilisée dans plusieurs fonctions "with" La fonction "with-eval" évalue l'expression et ensuite l'utilise comme contexte Compte tenu de la structure de l'interpréteur SML, 1 'with'l opère également avec des valeurs
actives et des fonctions.
Suit l'énumération des principales fonctions d'entrée/sortie. "lclose": permet de terminer le traitement d'un objet dans un flux Instruction inverse de l'instruction "open" décrite
ci-après.
"lload"l: cette fonction permet de charger et d'exécuter un fichier SML spécifié par 11 filenamell, en utilisant un chemin de recherche spécifié par une variable Une première tentative est faite pour trouver un fichier désigné
"filename smll' dans chaque répertoire du chemin spécifié.
Ensuite, si le fichier n'est pas trouvé une recherche est faite pour un fichier désigné 'Tfilenamel" Si le nom de fichier comporte un caractère 11/11, ce nom est considéré être un nom de chemin absolu et le chemin de recherche n'est pas utilisé Si une quelconque erreur survient au moment de la lecture du fichier, un message d'erreur est transmis et la lecture suivante du fichier est arrêtée Si le fichier est trouvé, la fonction retourne le nom du fichier comme une chaîne Si le fichier n'est pas trouvé et que le mot clé "if-does-not-exist" est spécifié, soit une erreur est signalée, soit la fonction " 1 nill" est retournée Si le
fichier n'est pas trouvé et que le mot clé "if-does-not-
exist Il n'est pas spécifié, une erreur est signalée.
"open": permet d'ouvrir le traitement d'un objet dans un flux Cette fonction crée un flux d'objets en ouvrant le fichier "filename" et retourne un objet du type "flux" Les mots clé et leurs valeurs correspondantes déterminent le type de flux à créer, le choix entre entrée, sortie ou les deux est spécifié par le mot clé ":direction" et la direction est l'une des suivantes : input flux d'entrée (par défaut) : output flux de sortie : io: flux bidirectionnel Le mot clé: "if-exists" spécifie l'action à tenir si le fichier existe et est ouvert dans ":output" ou ":io", la valeur clé est l'une des suivantes : append: la position de départ est la fin du fichier
(par défaut).
: overwrite la position de départ est le début du fichier, les contenus du fichier courant, s'il y en a, ne
sont pas écrasés.
: supersede: la position de départ est le début du fichier, les contenus du fichier courant, s'il y en a, sont remplacés. Le mot clé ":type" spécifie le type de fichier, la valeur clé est l'une des suivantes: : file: le flux créé est un fichier UNIX (par défaut) : string: le flux créé est une chaîne interne Les fonctions d'entrée/sortie comme "read" ou "print" (décrites ci-après) peuvent être appliquées de même que les commandes
de manipulation de chaîne.
Le mot clé ":buffered" spécifie si le registre tampon doit ou ne doit pas être vidé à chaque opération de sortie, la valeur clé est l'une des suivantes nil: ne doit pas être vidé, t: doit être vidé (par défaut), "prinl": cette fonction imprime des objets SML, chaque objet est spécifié dans sa forme naturelle, c'est à dire sans espacement et sans division entre lignes La fonction retourne le dernier objet évalué la sortie est "vidée" à la fin de l'appel, selon la valeur du mot clé "':buffered"l dans
la fonction "open".
"print": cette fonction permet l'impression d'une nouvelle ligne, et ensuite de chaque objet SML, chaque objet étant imprimé sans espacement ni division entre lignes La fonction retourne le dernier objet évalué La sortie est également "vidée" à la fin de l'appel selon la valeur du mot
clé *":buffered'' dans la fonction "open".
h I*print-readably*y: permet le contrôle de la représentation de l'impression La fonction *print-readably* est une variable Si sa valeur est "nil" (par défaut) toute sortie peut être lue, c'est-à-dire que des caractères spéciaux sont interprétés pour améliorer la lisibilité Si sa valeur est "true", toute sortie est imprimée comme si elle contenait des caractères spéciaux, sauf pour les séquences d'échappement qui sont toujours interprétées sans
tenir compte de la valeur de *print-readably*.
YI*print-level*': permet le contrôle de l'impression de la profondeur des listes Cette fonction est une variable
qui contrôle la profondeur maximale des listes à imprimer.
"provide" et " 1 require"l: ces fonctions gèrent le chargement d'un fichier Elles aident à déterminer si un fichier SML à été chargé de manière à éviter de le charger une seconde fois L'argument commun "file" doit être un symbole qui définit le fichier utilisant son nom d'impression Le symbole "file" est ensuite fixé à la valeur "nilif par l'une ou l'autre fonction La fonction " 1 require"
cherche si le fichier est présent et donc chargé dans SML.
Si le fichier n'est pas présent alors soit il est chargé, soit rien n'est fait La confirmation qu'un fichier a déjà été chargé est donné par la fonction " 1 provide"l La fonction "providel" confirme que le fichier a été chargé Cette
fonction est généralement appelée dans le fichier chargé.
"read": permet la lecture et l'interprétation d'une chaîne Cette fonction lit la prochaine expression sur le flux d'entrée si cela est spécifié ou sinon sur "l'entrée standard", l'analyse et la retourne A la fin du fichier la fonction exécute un "throw" vers l'étiquette "fin de fichier". "read-char"': cette fonction lit un caractère sur le flux d'entrée si cela est spécifié ou alors sur "l'entrée standard" et elle le retourne Cette fonction est utile pour les fichiers binaires dans lesquels les octets peuvent être
lus de cette manière.
T Tread-linell cette fonction lit une chaîne de caractères sur le flux d'entrée si cela est spécifié ou sinon sur "l'entrée standard" et elle la retourne ne tenant pas compte de la nouvelle ligne à la fin A la fin du fichier, elle exécute un "throw" vers l'étiquette "fin de fichier".
"*standard-error* ou *standard-input* ou *standard-
output*": fonctions utilisées pour les flux standards Elle correspondent à des variables globales, sinon sont fixées par défaut à des valeurs associées Si une variable est
fixée à la valeur 'Inill", elle est remise à sa valeur par défaut.
" 1 write-charl': cette fonction écrit un caractère sur le flux de sortie si cela est spécifié ou sinon sur la "sortie standard" et elle le retourne Cette fonction est utile pour créer des fichiers binaires dans lesquels les octets peuvent
être écrits de cette manière.
"write-line" cette fonction écrit une chaîne de caractères sur le flux de sortie si cela est spécifié ou
sinon sur la "sortie standard" et la retourne.
Suivent les définitions des principaux symboles.
"defconstant Il: cette fonction annonce et fixe une variable à une valeur donnée qui ne peut être référencée
dans une fonction "setq" ou "let".
"defvar" cette fonction annonce que la variable spécifiée est une variable globale Les variables globales
peuvent être lues dynamiquement par des constructions "let".
"documentation": fixe ou retrouve une documentation Si "string" n'est pas spécifié, cette fonction retrouve la documentation pour le symbole spécifié Si la documentation n'existe pas, la valeur "nil" est retournée Si "string" est spécifié, il est associé à "symbol", une erreur apparaissant si le symbole n'est pas défini La "documentation" peut être définie par les fonctions "defvar", "defconstant", "defun"
et "defmacro".
"gensym": cette fonction génère et retourne un nouveau symbole Son nom est composé de la lettre G suivie d'un
nombre incrémenté à chaque appel de fonction.
"intern": cette fonction crée et retourne un symbole
(d'une chaîne) dont le nom est "string".
Si un symbole avec un même nom est trouvé, il est retourné.
Cette fonction est utile pour créer des "atomes" avec des caractères spéciaux incorporés comme " ' " ou des blancs (espaces). T Tmakunbound": cette fonction rend un symbole indéfini de telle manière que si la fonction "boundp" (décrite ci-après) lui est appliquée, la valeur "nil" est retournée. Suivent les définitions des principaux attributs fl/=Tf: c'est le test d'inégalité des objets qui retourne la valeur "ltruell si un objet 1 est différent d'un objet 2,
sinon retourne la valeur nill".
Iy<l: c'est le test de stricte infériorité qui compare deux nombres ou deux chaînes et retourne la valeur l"t" si le premier argument est inférieur ou égal à un second, sinon la valeur "Inill" est retournée Les chaînes sont comparées alphabétiquement. "≤": test d'infériorité qui compare deux nombres ou deux chaînes et retourne la valeur "lt" si le premier argument est inférieur ou égal au second, sinon la valeur nill" est retournée Les chaînes sont également comparées alphabétiquement. > 1: test de stricte supériorité qui compare deux nombres ou deux chaînes et retourne la valeur "lt" si le premier argument est supérieur et non égal au second, sinon la valeur "Inill" est retournée, les chaînes étant comparées alphabétiquement. _I=: test de supériorité qui compare deux nombres ou deux chaînes et retourne la valeur 'lt" si le premier argument est supérieur ou égal au second, sinon la valeur "Inil " est
retournée, les chaînes étant comparées alphabétiquement.
"and" c'est un "et logique" entre expressions, qui évalue chaque "forme" de gauche à droite Si une forme est évaluée à la valeur "Inill" la fonction retourne cette valeur "nil" sinon la valeur "t" est retournée Si aucun argument
n'est spécifié la fonction retourne la valeur "t".
"boundp": cette fonction teste si un atome a déjà été défini Elle retourne le symbole évalué si il a été défini, sinon la valeur "nil Il est retournée Cette fonction est
* vérifiée si la variable appelée "symbole" a une valeur.
"compare" cette fonction impose la comparaison entre deux nombres ou deux chaînes et retourne une des valeurs suivantes: un nombre strictement positif si le premier argument
est supérieur au second.
zéro si le premier et le second arguments sont égaux.
un nombre strictement négatif si le premier argument
est inférieur au second.
feq": test de l'égalité stricte entre deux objets qui est vérifié seulement si les deux objets sont situés au même
emplacement de la mémoire.
"equal" ou "=": test de l'égalité entre deux objets qui retourne la valeur de l'objet 1 si elle est la même que
celle de l'objet 2, sinon la valeur "nil"' est retournée.
L'égalité des listes est vérifiée en testant l'égalité de
chacun de leurs éléments.
"o")" ou "nil": c'est la valeur "nil" du langage Lisp classique dans lequel un objet est "vrai" si il n'est pas "nil". "not": c'est un "non logique", la valeur "t" est retournée si l'objet a la valeur "nil", sinon c'est la
valeur "nil" qui est retournée.
"or": c'est un "ou logique" entre des expressions Il évalue chaque forme de gauche à droite Si une forme est évaluée à une valeur "non nil", cette évaluation est retournée Si toutes les formes sont évaluées à la valeur "nil" la dernière évaluation est retournée.
tl: c'est la valeur logique vraie.
"typep": c'est l'attribut "type des données" Cette fonction retourne "type" si l'objet est de ce type, sinon la
valeur "nil" est retournée.
Suivent les définitions des fonctions de listes "append": cette fonction permet de construire et retourner un nouvelle liste ou nouvelle chaîne par
concaténation des arguments.
"copy'l: cette fonction copie un objet SML, elle retourne
une copie de l'objet qui doit être une liste.
"length": cette fonction retourne le nombre d'éléments
d'une liste ou le nombre de caractères d'une chaîne.
"list": cette fonction construit et retourne une liste
d'arguments évalués.
"list-get" ou "llist-putl' ou "llist-putl": ces fonctions
permettent d'obtenir ou de fixer une valeur dans une liste.
"llist-get" retourne une valeur dans une liste" "list-putl" change la liste et la retourne alors que "list-put" retourne une nouvelle liste mise à jour La valeur peut être
spécifiée par un nombre (position) ou un attribut (symbole).
Si un attribut est utilisé la liste est considérée être une liste propriété et l'élément référencé de la liste est celui qui est juste après le symbole dans la liste Si c'est la position qui est utilisée, elle se réfère à la position de l'élément de la liste en partant de zéro Si la "position" est supérieure à celle du dernier membre de la liste "list-get" retourne la valeur défaut si elle est
spécifiée, sinon la valeur '"nil".
"list-put" et "list-putl" insèrent le nouveau membre de la liste dans la position correcte en remplissant les positions non spécifiées avec des valeurs "nil" si cela est nécessaire Si un "attribut" ne correspond pas à un attribut existant, "list-get" retourne la valeur par défaut si elle
est spécifiée, sinon la valeur "nil".
"list-remove" ou "list-removel": ces fonctions permettent
de retirer un ou plusieurs éléments d'une liste "list-
removel" change la liste et la retourne alors que "list-
remove" retourne une nouvelle liste mise à jour Quand un "attribut" est utilisé la liste est considéré être une liste propriété Dans ce cas, l'élément attribut ainsi que celui qui le suit dans la liste sont retirés Si la "position" est utilisée, elle se réfère à la position de l'élément de la liste en partant de zéro Si "l'attribut" ne s'appaire pas avec un attribut existant ou si la "position" est supérieure à celle du dernier membre de la liste, la liste est inchangée. "make-list": cette fonction construit et retourne une liste contenant la taille des éléments, dans laquelle chaque élément est initialisé par "form", si cet attribut est
présent sinon par "nil"'.
"map": cette fonction applique une fonction" aux éléments de la ou des listes spécifiées, retournant une liste ou une chaîne selon la valeur du "type de résultat" qui détermine ce qui est construit La fonction appliquée doit prendre autant d'arguments qui le nombre N d'arguments de liste fournis Les N listes doivent avoir la même longueur L La fonction "Imap'l retourne une liste ou une chaîne de longueur L ayant comme éléments le résultat de l'appel de la fonction avec les L éléments de la liste, si une liste est spécifiée, ou si pour plusieurs listes les premiers éléments de chaque liste sont spécifiées, alors les seconds éléments de chaque
liste sont retournés et ceci jusqu'à L éléments.
"maphash": cette fonction applique une "fonction" avec deux arguments, chaque clé et la valeur correspondante dans
la liste propriété Elle retourne toujours la valeur "nil".
Elle peut être également utilisée avec un tableau.
"nconc": cette fonction exécute la concaténation d'une liste 1 avec chaque liste Elle modifie physiquement une
séquence d'une liste ou d'une chaîne et retourne la liste 1.
"position": dans la première forme la liste est analysée avec l'attribut "equal" Si un élément "item" est présent la fonction retourne son indice dans la liste en partant de zéro, sinon elle retourne la valeur "nil" Dans la seconde forme l'apparition d'un élément "substring" est recherché dans la chaîne Si cet élément est présent, la fonction retourne la position du caractère à laquelle elle commence,
sinon la valeur "nil" est retournée.
"reverse": cette fonction retourne une nouvelle liste
avec les mêmes éléments mais dans l'ordre inverse.
"sort": cette fonction classe la liste dans l'ordre
croissant au moyen de la fonction "comparison".
La fonction nommée par "comparison" est appelée avec deux éléments à comparer et doit retourner un entier Sa valeur sera négative, nulle ou positive selon que le premier
argument est plus petit, égal ou plus grand que le second.
"subseq": cette fonction retourne une sous-liste à partir de l'élément à la position départ ("start") jusqu'à l'élément en position fin ("end") "Start" et "end" sont des nombres partant de zéro Si le nombre d'éléments indéxés est supérieur à la table de la liste, la sous-liste retournée est fixée à la valeur "nil" Cette fonction peut également
être utilisée avec une chaîne.
Suivent les définitions des fonctions de chaînes et de
tableaux:
Comme une chaîne est traitée comme une liste de caractères, des fonctions de listes peuvent être également utilisées pour des chaînes, telles que: "append", "length", "map",
"max", "nconc", "position", "subseq".
"match": cette fonction permet d'appairer et d'extraire
des sous-chaînes à partir d'une chaîne SML.
"string-downcase" ou "string-upcase": ces fonctions
retournent une copie d'un chaîne après conversion.
De même, un certain nombre de fonctions de listes peuvent être utilisées pour traiter les tableaux, telles que: "list-get", "list-put", "list-putl", "list-removel", "'maphash" Un objet d'un tableau est créé en utilisant la
fonction "coerce" appliquée à une liste propriété.
Suivent les définitions des macro définitions: "backquote" ou" '": cette fonction crée une copie d'une liste spécifiée utilisant cette dernière comme un gabarit
pour la création de la copie.
"defun": permet de définir une fonction SML C'est la manière habituelle de créer une nouvelle fonction définissant le nom de la fonction en utilisant les paramètres déclarés dans la liste "lambda" et dans la
"forme".
"defmacro": cette fonction définit une macro SML c'est l'utilisation normale pour définir une nouvelle macro définissant le nom de la macro en utilisant les paramètres
déclarés dans la liste "lambda"'" et dans la "forme".
"lambda": cette fonction définit une expression "lambda" qui est la forme de base pour déterminer une fonction anonyme en utilisant des expressions "lambda" Une expression "lambda" est composée d'un symbole lambda, d'un liste lambda et du corps de l'expression lambda Une liste lambda spécifie les paramètres Lorsqu'une fonction est appelée, ses arguments sont appairés avec les paramètres de la liste lambda correspondante Si des paramètres requis sont spécifiés, les arguments correspondants doivent être présents lorsque l'expression lambda est appliquée Une liste "lambda" peut utiliser des mots clé, commençant par le symbole & et définis comme suit: & optional: paramètres optionnels; si ces arguments ne sont pas utilisés, ils sont liés à la valeur initiale si
elle existe, sinon à la valeur "nil".
& rest: paramètres de repos, quand tous les paramètres requis et optionnels sont liés alors tout argument suivant
est créé dans une liste et est lié aux paramètres de repos.
& key: paramètres de mots-clé; ce sont des arguments constitués de paires comprenant le mot-clé appelé et sa valeur. & aux: ce sont des variables locales qui ne sont pas vraiment des paramètres; c'est l'équivalent de la fonction
let TT.
"lambdamacro": cette fonction définit une expression lambda macro qui est la forme de base pour définir une macro anonyme Si des paramètres requis sont spécifiés les arguments correspondants doivent être présents lorsque l'expression lambda est appliquée Une liste "lambdamacro" peut utiliser des mots clé commençant par le symbole & et définis de manière équivalente à ceux de la liste "lambda":
& optional, & rest, & key et & aux. Suit la définition de quelques opérateurs numériques et autres opérateurs:
"+": opérateur d'addition de nombres, il peut également être utilisé comme opérateur de concaténation pour des listes ou des chaînes Le type de résultat est déterminé à partir du type du premier argument: () pour une liste, ""
pour une chaîne et O pour un nombre.
"*" et "/": opérateurs arithmétiques qui retournent
respectivement le modulo, produit et quotient des arguments.
"-": opérateur de différence arithmétique.
"logand", "logor", "lognot", "logxor: opérateurs qui correspondent respectivement aux opérations de "et logique",
"ou logique", "non logique" et "ou exclusif logique".
"max" et "rmin": opérateurs qui retournent respectivement la valeur maximale ou minimale d'une liste de nombres ou de chaînes.
T Trandoml: opérateur qui génère un nombre aléatoire.
"coerce"l: a pour fonction de spécifier un type, convertir le type d'un objet en celui spécifié par le "type de
résultat".
"type-of": a pour fonction de retourner le type SML
interne de l'objet.
"l"t ou "ll": exécutent une commande d'interpréteur, "l" exécute la commande donnée comme une chaîne avec ses arguments donnés et n'attend pas la fin de l'opération, alors que "ll" retourne un flux d'entrée/sortie en relation avec les commandes d'entrée et sortie, cette commande étant
supprimée si le flux est coupé.
ll*application-class*?: c'est une constante de chaînes qui indique la classe de l'application en cours, pour une
application SML la valeur est "SML".
"*application-name*": c'est une constante de chaînes qui
indique le nom de l'application en cours.
"command-line-args": cette fonction retourne une liste de chaînes qui représente les arguments transmis par
l'interpréteur à SML lors du démarrage.
"get-internal-run-time': cette fonction permet de retourner la valeur du temps d'exécution en millisecondes, si aucun argument n'est fourni la valeur retournée correspond au temps passé, sinon la valeur dépend d'un des mots-clé real le temps passé depuis le démarrage de l'application SML (par défaut) : user: le temps CPU utilisé pendant l'exécution d'instructions SML : system: le temps CPU utilisé par le système pour le
compte de SML.
"getenv": si le nom de variable de la chaîne est le nom d'une variable sortie de l'interpréteur, cette fonction retourne cette valeur comme une chaîne, sinon la fonction
retourne la valeur Y"nill.
"setenv": cette fonction fixe le nom d'une variable de l'interpréteur à une valeur, ces deux arguments doivent être
des chaînes.
De plus il est possible avec SML de différer l'évaluation d'expressions L'évaluation surviendra alors après un temps spécifié et lorsque toute requête aura reçu sa réponse La représentation interne du temps pour les fonctions SML est la milliseconde. "eval-after": l'évaluation des expressions sera faite après une certaine durée de temps, cette fonction s'effectue en deux phases: lorsque "leval-after" est appelée, chaque forme à
évaluer par la suite est sauvegardée avec son contexte.
après la durée de temps spécifiée, le contexte est lié
et chaque forme évaluée.
Cette fonction retourne un objet du type "timer"' qui peut
être remis à zéro par la fonction "remove-timer" décrite ci-
après. "eval-every": cette fonction est similaire à la précédente mais effectue des évaluations répétitives, elle
peut bien sûr être remise à zéro par la fonction "remove-
timer'l". "remove-timer"l: cette fonction supprime un objet de type "timer" construit par l'une des fonctions "leval-after"l ou levaleveryll". SML utilise également des outils de mise au point en particulier les fonctions suivantes: "hashinfo"ll: cette fonction fournit des statistiques sur le stockage d'atomes Les informations retournées sont le nombre de symboles, le nombre d'insertions dans le tableau
et le nombre de collisions.
"meminfo": cette fonction fournit et imprime l'état de
l'allocateur de mémoire utilisée par SML.
" 1 oblist": cette fonction retourne et imprime les noms des atomes SML déjà définis Si le symbole "string" n'est pas spécifié, tous les noms définis sont retournés, sinon seuls
les noms contenant le symbole "string" sont retournés.
"stack-print-level": cette fonction fournit le nombre de
structures d'une pile imprimées en erreur.
"trace-untracet': la fonction "trace" retourne la liste des fonctions exécutées jusqu'à sa requête La fonction "untrace" retourne la liste des fonctions non encore exécutées jusqu'à la requête, s'il en existe, sinon retourne
une valeur "nil'".
Concernant le jeu de fonctions MIF, et comme cela a été dit précédemment, ce dernier permet d'accéder à la bibliothèque externe MIL qui sert à son tour d'interface avec les services de gestion des réseaux et systèmes d'informations dans le cadre d'échange d'informations entre une application et un gestionnaire d'objets Compte tenu des concepts de programmation relatifs aux services de gestion des réseaux et systèmes d'informations, par exemple CMIS, une application SML doit pouvoir réaliser les opérations suivantes: 1.initialisation des services, 2 attente d'une action d'un utilisateur, 3 émission d'une requête pour les services de gestion des réseaux et systèmes d'informations, 4 établissement d'une procédure de rappel pour ladite requête, de rappel lorsque la exécution de la procédure confirmation de requête arrive, 6.répétition à partir de l'étape 2 jusqu'à la dernière requête de l'utilisateur,
7 fin de l'application.
Le jeu de fonctions XAF, quant à lui, permet d'accéder à la bibliothèque XML qui dispose de composants pour développer et gérer des interfaces utilisateur graphiques, par exemple X/Motif. L'architecture d'un système du type X Window est basée sur
le modèle client-serveur.
Le serveur gère tous les dispositifs d'entrée et de sortie (par exemple, la souris), il crée et manipule les fenêtres sur l'écran, produit texte et graphiques L'application qui utilise les facilités offertes par le serveur est appelée client Le client communique avec le serveur après connexion sur le réseau au moyen de protocoles particuliers Le serveur communique avec les clients en envoyant des "événements" vers les applications client, par exemple, de manière triviale, lorsque le serveur génère un événement en réponse à une action d'un utilisateur sur la souris Dans le présent contexte, cela signifie que ce type d'événement est pris en charge par l'interpréteur SML et qu'une fonction de
rappel qui lui est spécifique est exécutée.
Une application SML utilisant les services de gestion des réseaux et systèmes d'informations, comme CMIS, en même temps que les bibliothèques externes permettant de développer et gérer des interfaces utilisateur graphiques, comme X/Motif, devra réaliser les opérations suivantes l.initialisation des deux types de services, 2 création et représentation de composants d'interface utilisateur appelés 11 widgets", 3.établissement de procédures de rappel pour des interactions utilisateur, 4.attente d'une action d'un utilisateur, 5. émission d'une requête, au moyen d'une procédure de rappel, pour les services de gestion des réseaux et systèmes d'informations, 6. établissement d'une procédure de rappel pour ladite requête, 7 exécution de la procédure de rappel lorsque la confirmation de requête arrive, 8 répétition à partir de l'étape 4 jusqu'à la dernière requête de l'utilisateur,
9.fin de l'application.
Le jeu de fonctions GAF permet à son tour d'accéder à la bibliothèque GOL autorisant les applications utilisant les objets graphiques De telles applications permettent de présenter et d'éditer des objets graphiques à deux dimensions à partir de bibliothèques graphiques qui peuvent être intégrées aux interfaces utilisateur existantes comme par exemple X/Motif, MS-WINDOWS, Postscript, etc. Le rôle des fonctions SAF est d'autoriser l'accès à une bibliothèque SLL spécifique d' un langage structuré, comme par exemple SQL, servant à son tour d'interface avec des bases de données relationnelles comme par exemple, INGRES (marque déposée par Ingres Co), ORACLE (marque déposée par Oracle Corporation),
Les fonctions SAF offrent deux niveaux de fonctionnalités.
Le premier permet de construire dans l'environnement SML des requêtes standards dans le langage structuré, les fonctions utilisées à ce niveau n'interagissant pas avec le serveur de base de données Au second niveau, les fonctions utilisées5 interagissent avec le serveur de base de données pour autoriser, entre autres, la connection ou la déconnection audit serveur, la mise à jour lorsque des changements sont désirés. Des fonctions SAF spécifiques SML permettent de réaliser l'interface avec la bibliothèque SLL, les principales étant
décrites sommairement ci-après
"sql-login": permet la connection à un serveur de base de données identifié par le paramètre "connectid" Ce paramètre est une chaîne spécifiant le nom du serveur de la base de données Si la connection est réalisée, la fonction retourne
la valeur "t"' sinon la fonction "sql-error" (décrite ci-
après) est appelée et la valeur "nil" est retournée.
"sql-logout": permet la déconnection du serveur de base de données Cette fonction termine l'unité de travail logique courante Si une unité est en cours, la fonction fixe tous les changements opérés durant cette unité de
travail et la déconnection est opérée.
"sql-build-delete": permet de créer une requête de
suppression comme une chaîne.
"sql-build-insert": permet de créer une requête
d'insertion comme une chaine.
"sql-build-selectl": permet de créer une requête de
sélection comme une chaîne sous la forme d'une liste.
"sql-build-update"': permet de créer une requête de mise à
jour comme une chaîne.
isql-oper" permet de créer une proposition
conditionnelle comme une chaîne.
"sql-exec" soumission d'une requête au moyen du paramètre "commande à un serveur de base de données pour exécution. Le paramètre "commandez peut être soit une chaîne, soit un résultat retourné par l'une des fonctions "sql-build-xxx" précédentes Cette fonction ne peut être utilisée qu'après
connection effective avec le serveur de base de données.
"sql-commit": termine une unité de travail en fixant les
changements opérés pendant cette unité de travail.
"sql-rollback": termine une unité de travail sans tenir compte des changements opérés pendant cette unité de travail. "sql-error": cette fonction est appelée en cas d'insuccès
d'une requête.
lvsql-get-error": retourne le dernier message du serveur
de base de données en réponse à la dernière requête.
De manière générale, les types des données dans le langage structuré ont leurs équivalents en langage SML, il existe donc une correspondance entre ces deux langages De même les noms de tableaux et d'attributs en langage structuré sont représentés par des atomes en langage SML (voir langage Lisp par exemple), les valeurs ayant bien entendu leur
correspondance dans ces deux langages.
Il est en outre possible d'écrire des extensions à SML Pour cela les nouvelles fonctions doivent être écrites en langage type C et ensuite compilées et enchaînées aux bibliothèques
de SML.
Il est alors obtenu un nouvel interpréteur SML étendu De manière générale, le développement d'une extension SML entraîne les étapes suivantes: développement d'un code en langage de type C pour la primitive qui doit être appelée chaque fois qu'une référence
est faite à un nouveau nom SML.
réalisation de l'association entre le nom de la nouvelle fonction SML et le nom de la primitive dans la
bibliothèque externe compilée.
construction du nouvel interpréteur SML en liant toutes
les bibliothèques requises.
Pour conclure, un tel langage de programmation permet de réduire considérablement le temps de développement d'une application Ainsi, le langage utilisé selon l'invention dans lequel le typage porte sur le contenu des variables plutôt que sur les variables permet de réaliser des interfaces d'accès à des serveurs qui sont simplifiées de manière très significative et facilitent la programmation générique, la structure des données étant manipulée de manière directe sans condition En effet, les variables SML n'ont pas de type car elles sont supposées toutes exister à un état indéterminé (valeur 'Ynil"') et c'est au moment d'une affectation que le type est en même temps fixé autorisant ainsi une programmation générique Ceci un puissant avantage relativement aux langages de type C pour lesquels les types sont compilés, ce qui implique leur connaissance avant une programmation De plus, un tel langage, qui a un caractère ensembliste et facilite l'interfaçage avec divers serveurs d'informations, est avantageusement utilisé comme langage de très haut niveau pour des applications de gestion Ainsi il permet par exemple d'accéder à une bibliothèque propre à un langage structuré tel que SQL en respectant le caractère ensembliste dudit langage En outre il permet de créer des interfaces respectant le caractère arborescent de plusieurs serveurs comme par exemple pour les plateformes
d'administration de réseaux.
Un autre important avantage vient de ce que le code exécutable peut être facilement et naturellement modifié par lui-même pour s'adapter aux types de données reçues Ainsi, une application peut envoyer une requête vers le réseau pour demander la valeur d'un objet administratif sans connaître sa structure puis construire dynamiquement des fonctions d'affichage et de mise à jour adaptées à la structure de l'objet reçu En effet, comme cela a été vu précédemment, le fait qu'il n'y ait pas de différence entre le programme et les données a pour conséquence que le programme peut se modifier lui-même et entraîne qu'une application se modifie
dynamiquement en fonction des données qu'elle manipule.
En outre, l'utilisation d'un langage comme SML ayant une représentation similaire pour les programmes et les données est particulièrement aisée et avantageuse En effet, un tel langage offre une grande souplesse d'utilisation, une extrême flexibilité et une puissance considérable permettant d'envoyer un fragment de code ayant un sens par lui-même, par exemple une transaction, offrant un équilibrage de charge entre processeurs régulés dynamiquement et autorisant
une modification dynamique du code pendant l'exécution.
Selon cette utilisation le code est ici véhiculé avec une facilité et une souplesse identiques à un simple transfert
de données.

Claims (7)

Revendications:
1 Utilisation d'un langage dans lequel le typage porte sur le contenu des variables plutôt que sur les variables et que, en outre, permet de manipuler des structures complexes telles que des ensembles ou des arbres dans des programmes d'applications du type programmes de gestion d'un réseau destinés d'une part à créer des interfaces d'accès à des serveurs en autorisant une programmation générique et d'autre part à créer des interfaces respectant le caractère ensembliste de bases de données relationnelles et le caractère arborescent d'une pluralité de serveurs, chaque
machine du réseau possédant un interpréteur dudit langage.
2 Utilisation de Lisp comme langage selon la revendication 1. 3. Interpréteur de langage d'une machine selon la revendication 1 ou 2, caractérisé en ce qu'il est principalement constitué d'un noyau pour traiter le programme à exécuter en s'appuyant aussi bien sur des services internes: évaluateur, gestion mémoire, que sur le code exécutant les fonctions primitives du langage, d'une interface programmatique documentée entre le noyau et le code exécutant les fonctions primitives pour autoriser l'accès à une pluralité de services et faciliter l'extension du langage et de l'interpréteur à de nouvelles fonctions primitives.
4 Interpréteur de langage selon la revendication 3, caractérisé en ce qu'il comporte un jeu de fonctions mettant en oeuvre les fonctions primitives, jeu de fonctions constitué d'une part de fonctions propres au langage ayant une représentation similaire pour les programmes et les données et d'autre part de fonctions étendues permettant
l'accès à la pluralité de services.
Interpréteur du langage selon la revendication 4, caractérisé en ce que, lors d'une application demandant l'accès à des services de gestion de réseaux et systèmes d'informations, il procède aux opérations suivantes 1 initialisation des services, 2 attente d'une action d'un utilisateur, 3 émission d'une requête pour les services de gestion des réseaux et systèmes d'informations, 4 établissement d'une procédure de rappel pour ladite requête, 5 exécution de la procédure de rappel lorsque la réponse à la requête arrive, 6 répétition à partir de l'étape 2 jusqu'à la dernière requête de l'utilisateur,
7 fin de l'application.
6 Interpréteur du langage selon la revendication 4, caractérisé en ce que, lors d'une application demandant l'accès d'une part à des services de réseaux et systèmes d'informations de gestion et d'autre part à des bibliothèques fournissant des composants pour le développement et la gestion d'interfaces utilisateur graphiques, il procède aux opérations suivantes 1 initialisation des deux types de services, 2 création et représentation de composants d'interface utilisateur appelés "widgets", 3 établissement de procédures de rappel pour des interactions utilisateur, 4 attente d'une action d'un utilisateur, émission d'une requête, au moyen d'une procédure de rappel, pour les services de gestion des réseaux et systèmes d'informations, 6 établissement d'une procédure de rappel pour ladite requête,
7 exécution de la procédure de rappel lorsque la réponse à la requête arrive, 8 répétition à partir de l'étape 4 jusqu'à la dernière requête de l'utilisateur,
9 fin de l'application.
FR9202976A 1992-03-12 1992-03-12 Utilisation d'un langage dont le typage porte sur le contenu des variables et permettant de manipuler des constructions complexes. Granted FR2688611A1 (fr)

Priority Applications (5)

Application Number Priority Date Filing Date Title
FR9202976A FR2688611A1 (fr) 1992-03-12 1992-03-12 Utilisation d'un langage dont le typage porte sur le contenu des variables et permettant de manipuler des constructions complexes.
CA002091546A CA2091546C (fr) 1992-03-12 1993-03-11 Utilisation d'un langage dont le typage porte sur le contenu des variables et permettant de manipuler des constructions complexes
EP93400643A EP0560689A1 (fr) 1992-03-12 1993-03-12 Utilisation d'un langage de programmation, dont le typage porte sur le contenu des variables, dans un système de gestion d'un réseau
JP5052316A JP2514152B2 (ja) 1992-03-12 1993-03-12 情報処理システムを構築する方法
US08/479,563 US5734907A (en) 1992-03-12 1995-06-07 Method of programming an information processing device for network management applications using generic programming

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR9202976A FR2688611A1 (fr) 1992-03-12 1992-03-12 Utilisation d'un langage dont le typage porte sur le contenu des variables et permettant de manipuler des constructions complexes.

Publications (2)

Publication Number Publication Date
FR2688611A1 true FR2688611A1 (fr) 1993-09-17
FR2688611B1 FR2688611B1 (fr) 1997-02-21

Family

ID=9427621

Family Applications (1)

Application Number Title Priority Date Filing Date
FR9202976A Granted FR2688611A1 (fr) 1992-03-12 1992-03-12 Utilisation d'un langage dont le typage porte sur le contenu des variables et permettant de manipuler des constructions complexes.

Country Status (5)

Country Link
US (1) US5734907A (fr)
EP (1) EP0560689A1 (fr)
JP (1) JP2514152B2 (fr)
CA (1) CA2091546C (fr)
FR (1) FR2688611A1 (fr)

Families Citing this family (59)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7716096B2 (en) * 1996-11-27 2010-05-11 Diebold Self-Service Systems A Division Of Diebold, Incorporated Application service provider and automated transaction machine system and method
US6496865B1 (en) * 1997-03-12 2002-12-17 Novell, Inc. System and method for providing interpreter applications access to server resources in a distributed network
US6621505B1 (en) * 1997-09-30 2003-09-16 Journee Software Corp. Dynamic process-based enterprise computing system and method
UA55489C2 (uk) * 1997-10-07 2003-04-15 Каналь+ Сосьєте Анонім Пристрій для багатопотокової обробки даних (варіанти)
US6314429B1 (en) * 1997-10-08 2001-11-06 Mitel Corporation Bi-directional conversion library
US6226788B1 (en) * 1998-07-22 2001-05-01 Cisco Technology, Inc. Extensible network management system
US6192512B1 (en) * 1998-09-24 2001-02-20 International Business Machines Corporation Interpreter with virtualized interface
CA2346925A1 (fr) * 1998-10-16 2000-04-27 Computer Associates Think, Inc. Procede et systeme pour macro-langage extensible
FI107206B (fi) * 1999-03-16 2001-06-15 Nokia Networks Oy Menetelmä ja laite rajapinnan määrittämiseksi ja tietoliikennejärjestelmä
US6589291B1 (en) 1999-04-08 2003-07-08 International Business Machines Corporation Dynamically determining the most appropriate location for style sheet application
US6463440B1 (en) 1999-04-08 2002-10-08 International Business Machines Corporation Retrieval of style sheets from directories based upon partial characteristic matching
US6457172B1 (en) * 1999-04-13 2002-09-24 International Business Machines Corporation Compiler for supporting multiple runtime data representations
US7734457B2 (en) * 1999-10-16 2010-06-08 Computer Associates Think, Inc. Method and system for generating dynamic comparison models
US6766361B1 (en) 2000-02-24 2004-07-20 Cephire Technologies, Inc. Machine-to-machine e-commerce interface using extensible markup language
US6519588B1 (en) * 2000-04-03 2003-02-11 Mro Software, Inc. System and method for representing related concepts
US6928487B2 (en) * 2000-12-23 2005-08-09 International Business Machines Corporation Computer system, method, and business method for automating business-to-business communications
JP2002358290A (ja) * 2001-03-19 2002-12-13 Toshiba Corp 情報処理サービス提供方法及びプログラム並びにシステム
DE10149619A1 (de) * 2001-10-09 2003-04-24 Deutsche Post Ag Verfahren zur Steuerung von elektronischen Paketfachanlagen und Schnittstelle zur Durchführung des Verfahrens
JP3964259B2 (ja) * 2002-05-10 2007-08-22 富士通株式会社 プログラム生成装置、及びプログラム生成方法、並びにプログラム生成用プログラム
US7953779B1 (en) 2002-10-08 2011-05-31 Trilogy Development Group, Inc. Configuration representation and modeling using configuration spaces
US20040083465A1 (en) * 2002-10-28 2004-04-29 Weijia Zhang Method and system for connecting to an application programming interface
EP1652074A4 (fr) * 2003-07-11 2008-08-13 Computer Ass Think Inc Adjonction a un outil de modelisation d'objets definis par un utilisateur
US7539982B2 (en) * 2004-05-07 2009-05-26 International Business Machines Corporation XML based scripting language
US7281694B2 (en) * 2004-06-14 2007-10-16 Hewlett-Packard Development Company, L.P. Mounting bracket
US8010576B2 (en) * 2004-08-19 2011-08-30 Oracle International Corporation Inventory and configuration management
JP2008538028A (ja) 2005-03-30 2008-10-02 ウェルチ アレン, インコーポレイテッド 複数のネットワーク構成要素間における情報の通信
US20070050770A1 (en) * 2005-08-30 2007-03-01 Geisinger Nile J Method and apparatus for uniformly integrating operating system resources
US20070067769A1 (en) * 2005-08-30 2007-03-22 Geisinger Nile J Method and apparatus for providing cross-platform hardware support for computer platforms
US20070050765A1 (en) * 2005-08-30 2007-03-01 Geisinger Nile J Programming language abstractions for creating and controlling virtual computers, operating systems and networks
US20070074192A1 (en) * 2005-08-30 2007-03-29 Geisinger Nile J Computing platform having transparent access to resources of a host platform
US20070074191A1 (en) * 2005-08-30 2007-03-29 Geisinger Nile J Software executables having virtual hardware, operating systems, and networks
US8209657B1 (en) * 2006-04-03 2012-06-26 Bae Systems Information And Electronic Systems Integration Inc. System design combining functional decomposition and object-oriented programming
US7526486B2 (en) * 2006-05-22 2009-04-28 Initiate Systems, Inc. Method and system for indexing information about entities with respect to hierarchies
US7827537B2 (en) * 2006-05-26 2010-11-02 Oracle America, Inc Searching computer programs that use different semantics
AU2007254820B2 (en) 2006-06-02 2012-04-05 International Business Machines Corporation Automatic weight generation for probabilistic matching
US8356009B2 (en) 2006-09-15 2013-01-15 International Business Machines Corporation Implementation defined segments for relational database systems
US7685093B1 (en) 2006-09-15 2010-03-23 Initiate Systems, Inc. Method and system for comparing attributes such as business names
US7698268B1 (en) 2006-09-15 2010-04-13 Initiate Systems, Inc. Method and system for filtering false positives
US8484612B2 (en) * 2006-10-04 2013-07-09 Welch Allyn, Inc. Application generator for a dynamic medical object information base
US8359339B2 (en) 2007-02-05 2013-01-22 International Business Machines Corporation Graphical user interface for configuration of an algorithm for the matching of data records
US8515926B2 (en) * 2007-03-22 2013-08-20 International Business Machines Corporation Processing related data from information sources
US8429220B2 (en) 2007-03-29 2013-04-23 International Business Machines Corporation Data exchange among data sources
US8321393B2 (en) * 2007-03-29 2012-11-27 International Business Machines Corporation Parsing information in data records and in different languages
US8370355B2 (en) 2007-03-29 2013-02-05 International Business Machines Corporation Managing entities within a database
US8423514B2 (en) 2007-03-29 2013-04-16 International Business Machines Corporation Service provisioning
US20110010214A1 (en) * 2007-06-29 2011-01-13 Carruth J Scott Method and system for project management
AU2008304255B2 (en) 2007-09-28 2013-03-14 International Business Machines Corporation Method and system for associating data records in multiple languages
EP2193415A4 (fr) 2007-09-28 2013-08-28 Ibm Procédé et système d'analyse d'un système d'adéquation d'enregistrements de données
US8713434B2 (en) 2007-09-28 2014-04-29 International Business Machines Corporation Indexing, relating and managing information about entities
US8863115B2 (en) * 2008-03-20 2014-10-14 Sap Ag Execution of program code having language-level integration of program models
AU2010275473C1 (en) 2009-07-24 2014-02-27 Welch Allyn, Inc. Configurable health-care equipment apparatus
USD671222S1 (en) 2010-07-22 2012-11-20 Welch Allyn, Inc. Module for a patient-monitor or the like
USD632397S1 (en) 2010-07-22 2011-02-08 Welch Allyn, Inc. Portions of a patient-monitor housing
USD635681S1 (en) 2010-07-22 2011-04-05 Welch Allyn, Inc. Patient-monitor housing
US8762964B2 (en) * 2010-12-17 2014-06-24 Cisco Technology, Inc. Optimizing symbol manipulation language-based executable applications for distributed execution
US8856190B2 (en) * 2011-06-30 2014-10-07 Accenture Global Services Limited Distributed computing system hierarchal structure manipulation
US9117026B1 (en) * 2013-12-23 2015-08-25 Ca, Inc. Reporting the presence of hardcoded strings on a user interface (UI)
US9690549B2 (en) * 2015-03-25 2017-06-27 Ca, Inc. Editing software products using text mapping files
TWI575401B (zh) * 2015-11-12 2017-03-21 財團法人資訊工業策進會 行動裝置及一種適用於行動裝置的監控方法

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH05504858A (ja) * 1989-11-30 1993-07-22 シーア テクノロジーズ,インコーポレイティド 計算機支援ソフトウェア工学ファシリティ
US5491796A (en) * 1992-10-23 1996-02-13 Net Labs, Inc. Apparatus for remotely managing diverse information network resources

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
IBM TECHNICAL DISCLOSURE BULLETIN. vol. 33, no. 12, Mai 1991, NEW YORK, US pages 72 - 74 'GENERIC REQUESTER FOR OS/2 EE DATABASE MANAGER WHICH CAN BE EASILY PORTED TO MANY PLATFORMS' *
NTIS TECH NOTES. Août 1988, SPRINGFIELD, VA, US page 637 'HYBRID APPLICATIONS OF ARTIFICIAL INTELLIGENCE' *
PROCEEDINGS OF THE NATIONAL COMMUNICATIONS FORUM vol. 44, no. 8/10, Octobre 1990, CHICAGO, IL, US pages 795 - 802 E.C. ARNOLD ET AL. 'OBJECT ORIENTED SWITCHING SYSTEM ARCHITECTURES ANS SOFTWARE DEVELOPMENT PROCESSES' *

Also Published As

Publication number Publication date
US5734907A (en) 1998-03-31
CA2091546A1 (fr) 1993-09-13
JP2514152B2 (ja) 1996-07-10
EP0560689A1 (fr) 1993-09-15
JPH0668006A (ja) 1994-03-11
CA2091546C (fr) 1999-08-17
FR2688611B1 (fr) 1997-02-21

Similar Documents

Publication Publication Date Title
CA2091546C (fr) Utilisation d&#39;un langage dont le typage porte sur le contenu des variables et permettant de manipuler des constructions complexes
Brown et al. The Architecture of Open Source Applications: Elegance, Evolution, and a Few Fearless Hacks
Seibel Practical common lisp
EP0793171B1 (fr) Système de configuration de logiciels préconfigurés sur des systèmes ouverts en réseau dans un environnement distribué et procédé mis en oeuvre par un tel système
EP0702312B1 (fr) Dispositif de génération d&#39;interfaces orientées objet pour des bases de données relationnelles et procédé mis en oeuvres par ledit dispositif
BE1008621A3 (fr) Procedure et procede de communication entre machines et procede generalise de preparation de programmes afferents.
FR2740884A1 (fr) Interface administrateur pour base de donnees dans un environnement informatique distribue
WO2010009996A1 (fr) Procede de compilation de programme informatique
FR2730327A1 (fr) Outil de generation et d&#39;execution de commandes a interface graphique
EP1450253A2 (fr) Procédé de développement de projets informatiques
EP0631675B1 (fr) Utilisation d&#39;un langage ayant une representation similaire pour les programmes et les donnees en informatique distribuee
FR2780589A1 (fr) Agent de communication entre un administrateur de systeme informatique et un systeme de ressources distribuees et outils de creation d&#39;un tel agent
Fuchs Domain Specific Languages for ad hoc Distributed Applications.
Ahmed et al. Asp. Net Web Developer’s Guide
Sneeringer Professional Python
Kozlenkov et al. Prova rule language version 3.0 user’s guide
Riti Practical Scala DSLs: Real-World Applications Using Domain Specific Languages
EP3874368B1 (fr) Executer des portions de code sur des ressources d´execution
FR3107608A1 (fr) Dispositif electronique et procede de generation d&#39;au moins un code informatique, programme d&#39;ordinateur associe
FR2795535A1 (fr) Procede d&#39;execution a distance d&#39;une fonction sur un objet informatique dans un reseau de communication
Petroutsos et al. Visual Basic®. NET Power Tools
Threet A formal process calculus and execution model for distributed agent computing
DSLs Practical
Apps et al. Web Development with Go
FR2889881A1 (fr) Systeme extensible pour valider, transformer et simuler des modeles de systemes informatiques

Legal Events

Date Code Title Description
TP Transmission of property