JP2514152B2 - 情報処理システムを構築する方法 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、情報処理システムを構
築する方法に関し、特に、ネットワークに接続された複
数のデータ処理装置であって、集合型又はリスト型デー
タ構造のデータへのアクセスを行う情報処理システムを
構築する方法に関する。本発明において装備されるネッ
トワーク管理型のアプリケーションプログラムにおいて
は、型付け（typage）が変数ではなく変数の内容に関し
て行われる言語であって、集合（ensemble）型とか樹木
（arbre ）型即ちリスト型とかの複雑な構造の処理も可
能にする言語を用いる。

【０００２】

【従来の技術】この種の言語は、従来、本質的に人口知
能分野で使用されている。従来の言語に関して言えば、
この種の言語は、制約なしに処理できるファンクショナ
ルオブジェクト（ｏｂｊｅｔ ｆｏｎｃｔｉｏｎｎｅ
ｌ、関数型オブジェクト）をもたらし、効果的な再帰的
プログラミングと、データプログラムメモリの自動管理
とを可能にする。また、関数もデータも例えば多重の括
弧で囲まれたリストで表現され、その表現が類似してい
るため、プログラムが新しい事象（ｅｖｅｎｅｍｅｎ
ｔ、イベント）を考慮するために自己修正できる。

【０００３】

【発明が解決しようとする課題】しかしながら、この種
の言語の使用は人口知能分野での用途以外には歓迎され
ず、特にネットワーク管理プログラム型のアプリケーシ
ョンプログラムのような別の分野では、該言語の取り扱
いに関して多くの先入観が存在している。

【０００４】ネットワーク管理プログラム分野には、特
定のアプリケーション用の特有のプログラミング言語が
存在する。例えばＳＭＡＬＬＴＡＬＫ型の言語は、単純
化され総称プログラミング（ｐｒｏｇｒａｍｍａｔｉｏ
ｎ ｇｅｎｅｒｉｑｕｅ）、即ち汎用プログラミングを
容易にするようなサーバアクセスインタフェースを提供
することを目的とする第１の種類のアプリケーション、
即ちデータ内容が分からないままデータ構造が直接処理
される種類のアプリケーションに使用される。実際、こ
の型の言語では、型付けが変数ではなく変数の内容に関
連している。これは、前記第１の種類のアプリケーショ
ンによって生じる問題に効果的に対処することを可能に
する一つの特徴である。しかしながら、集合的性格（ｃ
ａｒａｃｔｅｒｅ ｅｎｓｅｍｂｌｉｓｔｅ）を有する
関係データベースとのインタフェースを形成したい場合
には、別の型の言語、例えばやはり集合的性格を有する
が汎用プログラミングを容易にすることはない言語ＳＱ
Ｌを使用しなければならない。また、例えばネットワー
ク管理プラットホームの場合のように複数のサーバの樹
木的性格（ｃａｒａｃｔｅｒｅ ａｒｂｏｒｅｓｃｅｎ
ｔ）を考慮するインタフェースを形成する場合には別の
問題が生じる。従って、アプリケーションには各種類毎
に適合した言語の型が対応する。このような情況は実用
性に欠け、折り返し受け取られる値の構造を予め知るこ
となしに情報サーバへの要求を設定できるようにしなが
ら関係データベース（リレーショナルデータベース）と
のインタフェースを形成できるようにネットワーク管理
プログラム型のアプリケーションプログラムを展開しな
ければならない場合には、柔軟性の欠如につながる。

【０００５】

【課題を解決するための手段】本発明は、ネットワーク
に接続された複数のデータ処理装置を有する情報処理シ
ステムであって、集合型又はリスト型データ構造のデー
タへのアクセスを行う情報処理システムを構築する方法
であって、データ形式の宣言なしに変数の内容によって
データ形式が定義される集合型又はリスト型データ構造
のデータが処理可能なＬｉｓｐ型プログラミング言語を
用いて作成されたアプリケーションプログラムであっ
て、サーバへのアクセスのための汎用プログラミング形
式のインタフェースと、関係データベースの集合型デー
タと複数のサーバのリスト型データとを処理できるイン
タフェースとを含むネットワーク管理型のアプリケーシ
ョンプログラムを装備するステップと、データ型を指定
することなくデータを要求し且つ受信することによって
該データ構造のデータを操作する手段を装備するステッ
プと、該複数のデータ処理装置の各々に該プログラミン
グ言語の言語インタプリタを装備するステップと、を含
む情報処理システムを構築する方法を提供するものであ
る。

【０００６】このように本発明の思想は、これまで考え
られなかったことであるが、ネットワークに接続された
複数のデータ処理装置であって、集合型又はリスト型デ
ータ構造のデータへのアクセスを行う情報処理システム
を構築する方法において、本質的に人口知能分野で使用
されるように設計されたプログラミング用記号言語をネ
ットワーク管理プログラム型のアプリケーションプログ
ラムで使用することにある。実際この言語は、前述のア
プリケーションプログラムを展開するための望ましい特
徴を総て兼ね備えている。先行技術の方法と異なり、単
一の言語が使用されるため、大きな柔軟性と高い効率と
が得られる。従って、プログラムはデータの内容を知ら
ないままデータを処理することができ、そのため有利な
総称性（ｇｅｎｅｒｉｃｉｔｅ）を有し、特に、折り返
し受け取られる値の構造を予め知ることなしに要求を情
報サーバに送ることができる。勿論、前記サーバとのア
クセスインタフェースは大幅に単純化される。このよう
な言語では、変数は実際には型をもたない。なぜならこ
れらの変数はいずれも不確定状態で存在するものとみな
され、型は割り当てと同時に決定されるからである。コ
ードは種々のアプリケーションに適合する。また、この
言語は水準が極めて高く集合的性格を有するため、種々
の情報サーバとのインタフェース、即ち、ＳＱＬのよう
な構築言語のやはり集合的である性格を考慮することを
可能にして関係データベースへのアクセスを許可すると
共に、主としてネットワーク管理プラットホームに使用
される特定サーバの樹木的性格を考慮することを可能に
するインタフェースが極めて簡単に形成される。従っ
て、このようなプログラミング言語を使用すればアプリ
ケーションの展開時間が著しく短縮される。

【０００７】本発明では、使用される言語がＬｉｓｐ型
の言語である。

【０００８】また、この言語に従ってネットワークの種
々のデータ処理装置の間の対話を行うことができるよう
に、前記データ処理装置は総て前記言語のインタプリタ
を備えている。

【０００９】注目すべきことに、各データ処理装置の言
語インタプリタは主として、評価サービス、メモリ管理
サービスといった内部サービスに基づくと共に言語の原
始関数（ｆｏｎｃｔｉｏｎｓ ｐｒｉｍｉｔｉｖｅｓ）
を行うコードに基づいて実行されるプログラムを処理す
るための核と、複数のサーバへのアクセスを許可し且つ
言語の拡張を容易にするための、前記核と原始関数を行
うコードとの間のドキュメンテーションが作成されてい
るプログラムインタフェースと、新しい原始関数へのイ
ンタプリタとで構成される。

【００１０】前記インタプリタは、所望のアプリケーシ
ョンを簡単に、迅速に且つ効果的に展開させることがで
きる。前述の言語を使用すると、種々の関数をコード化
し（インタプリタと該インタプリタがアクセスする種々
のライブラリとで構成された環境内で）、別のプログラ
ム言語に必要とされる従来のコンパイル−連係（ｌｉａ
ｉｓｏｎ）−実行段階を通らずに迅速にテストすること
ができる。従って、コードはコンパイルされることはな
く、インタプリタが呼び出されると存在する総てのコー
ドがロードされ即座に翻訳される。このプログラムイン
タフェースは複数のサーバへのアクセスを提供する。こ
のインタフェースは、言語と、例えば新しいサーバへの
アクセスを提供する新しい原始関数へのインタプリタと
の拡張を有利な方法で容易にするために明確なものであ
り、そしてそのドキュメンテーションが作成されていな
ければならない。

【００１１】

【実施例】本発明は、添付図面に基づく以下の非限定的
実施例の説明によってより明らかにされる。

【００１２】図１では、インタプリタが符号ＩＮＴで示
されており、ライブラリアセンブリが符号ＬＩＢで示さ
れている。言語インタプリタＩＮＴは主に、核Ｋと、プ
ログラムインタフェースＡＰＩと、インタフェースＩＮ
Ｔの原始関数を使用する関数セットＳＯＦとで構成され
ている。前記関数セットは２つのカテゴリに大別でき
る。第１のカテゴリでは、基本関数（ｆｏｎｃｔｉｏｎ
ｄｅ ｂａｓｅ）ＢＦ、即ち変数の内容について型決
定され複雑な構造の処理を可能にする言語に固有の関
数、例えばＬｉｓｐの基本関数が配列されている。第２
のカテゴリには符号ＬＩＢで示されている種々のサービ
スとのインタフェースを行う拡張関数（ｆｏｎｃｔｉｏ
ｎｓ ｅｔｅｎｄｕｅｓ）が含まれる。例えば、図１に
示す例では、関数セットＳＡＦが、関係データベース
（図示せず）とのインタフェースに使用される構築言語
ＳＬＬに固有のライブラリへのアクセスを可能にする。
別の関数セットＸＡＦは、図形ユーザインタフェースを
開発し且つ管理するための構成要素を供給することを目
的とするライブラリＸＭＬへのアクセスを可能にする。
第３の関数セットＧＡＦは、作成された図形オブジェク
トを用いるアプリケーションを許可するライブラリＧＯ
Ｌへのアクセスを可能にする。第４の関数セットＭＩＦ
は、ネットワーク及び情報システム管理サービスとのイ
ンタフェースとして使用されるライブラリＭＩＬへのア
クセスを可能にする。第１又は第２のカテゴリの関数セ
ットについては、本発明で使用される言語（以後、言語
ＳＭＬと略称する）の原始関数の使用が、該原始関数を
コード化する関数として知られている手続きの実行につ
ながる。

【００１３】原始関数をコード化する関数は、インタプ
リタの残りと同様にコンパイルされ、最初は例えば言語
Ｃで書き込まれる。入力引数は、言語ＳＭＬで機能する
呼び出し装置から送られてくるため、言語ＳＭＬで受け
取られる。同様にして、呼び出し装置に戻される値は常
に言語ＳＭＬで表される。

【００１４】基本関数ＢＦ（言語ＳＭＬ）の場合は、原
始関数をコード化する関数がそのタスクを果たすと、呼
び出し装置への戻しが行われる。しかしながら、関数Ｓ
ＭＬの呼び出しがアセンブリＬＩＢによって提案された
サービスへのアクセス要求を表す場合には、原始関数を
コード化する関数が、通常は下記のタスクの実行につな
がる補足的作業を実行しなければならない。

【００１５】入力引数（言語ＳＭＬ）の妥当性検査、 エラーがない場合の、言語ＳＭＬの引数からＣ型言語の
引数への変換、Ｃ型言語の入力引数を供給するアセンブ
リＬＩＢの外部ライブラリの１つにおける手続きの呼び
出し、外部手続きの戻り後の、言語ＳＭＬの戻り値を供
給する呼び出し装置への戻し。

【００１６】図２は、ネットワーク管理におけるデータ
処理の概略を示す図である。

【００１７】図面では、矢印は、言語ＳＭＬを使用する
アプリケーションと図示されている種々のブロックとの
間の通信を記号化したものである。

【００１８】ＳＭＬプログラム１１は一組のマイクロサ
ーバと見なすことができ、サーバ対アプリケーションの
通信を行うのと同様な方法でアプリケーション対アプリ
ケーションの通信を行うことができ、他のアプリケーシ
ョン２１、２２、２３、２４の管理を行う。両側の点線
１２、１３は、言語ＳＭＬに基づいて通信を行うことの
できる他のアプリケーションを記号化して示している。
ここで、ＯＳＦ／ＤＣＥはＯＳＦ技術であるオープン・
ソフトウェア・ファウンデーション／ディストリビュー
テッド・コンピューティング・エンバイロンメントであ
る。ＳＭＬインタフェース・ビルダー３１は効率的な開
発環境を与えるものであり、アプリケーションに対して
ユーザーインタフェースコードを発生する。ＳＭＬデバ
ッガ３２は対話型デバッガであって、プログラム中の誤
りを対話形式で取り除く。ＳＭＬ原始関数は、電話イン
タフェース３３を用いる通信を可能にする。ＸＭＰ Ａ
ＰＩ３４は、管理サーバ及び管理サービスに対する標準
インタフェースであり、ＳＭＬはＸＭＰ ＡＰＩによっ
て管理サーバ及び管理アプリケーションをコード化する
ための容易な方法を与える。ＣＭＩＳは共通情報管理サ
ービスであり、オブジェクトの樹木構造を示す。ＯＳＭ
／ＤＭＥは分散型管理環境であり、Ｘ／ＯＰＥＮはオー
プンシステムに対するＡＰＩ及びプロトコールのフレー
ムワーク及びソフトウェアを展開する。ＳＱＬデータベ
ース３５はＳＱＬのデータベースを示す。Ｘ ＷＩＮＤ
ＯＷ−ＯＳＦ／Ｍｏｔｉｆは外部ライブラリのための図
形ユーザインタフェースであり、ＳＭＬ言語はこのよう
な外部ライブラリにアクセスするインタフェースを提供
する。ＧＯは本出願人のグラフィックオブジェクトを用
いるアプリケーションを示す。

【００１９】また、本発明の目的とは関係ないが、言語
ＳＭＬは、協働データ処理（ｉｎｆｏｒｍａｔｉｑｕｅ
ｃｏｏｐｅｒｔｉｖｅ）とも称する分散データ処理で
極めて多くのアプリケーションを実行させることができ
る。

【００２０】一般的には、この言語はＬｉｓｐ型言語の
特徴を有すると有利であり、ネットワーク及び情報シス
テム管理情報のアクセス、処理及び呈示を行うための効
果的で一貫した手段の供給を目標とする。そのために、
この言語は下記の主要規約を考慮しなければならない。

【００２１】管理されるオブジェクトがＩＳＯ規格の規
約に従って定義される。

【００２２】管理されるオブジェクトに関する動作が一
貫しており、且つネットワーク及び情報システム管理サ
ービスの使用に関するＩＳＯ規格に記載の動作に合致す
る（ＩＳＯ ＣＭＩＳ参照）。

【００２３】データベースへのアクセスがＳＱＬのよう
な構築言語を介して可能である。

【００２４】例えば対話又は情報の可視化のためのユー
ザインタフェースが、例えばＸ／Ｍｏｔｉｆのような図
形ユーザインタフェース開発及び管理構成要素へのアク
セスと、システムＧＯ（Ｇｒａｐｈｉｃ Ｏｂｊｅｃｔ
ｓ）のような作成された図形オブジェクトを用いるアプ
リケーションへのアクセスとを可能にする関数を介して
管理される。

【００２５】本発明で使用される言語ＳＭＬは言語“Ｃ
ｏｍｍｏｎ Ｌｉｓｐ”の影響を受けているが、必ずし
もこの言語に完全に適合しようとするものではない。な
ぜなら、言語ＳＭＬは“Ｃｏｍｍｏｎ Ｌｉｓｐ”又は
他の総てのＬｉｓｐ派生言語とは基本的に異なるオブジ
ェクトへの到達を目指しているからである。実際、全体
から見ると、Ｌｉｓｐ派生言語は人口知能分野で広く使
用されているが、言語ＳＭＬはネットワーク管理プログ
ラム型のアプリケーションプログラムに適合したもので
ある。この理由から、言語ＳＭＬの必要基本関数は例え
ば“Ｃｏｍｍｏｎ Ｌｉｓｐ”で提案されている関数よ
りも明らかに少ない。

【００２６】言語ＳＭＬと“Ｃｏｍｍｏｎ Ｌｉｓｐ”
との間には更に別の相違が存在する。例えば、言語ＳＭ
Ｌではアトムが単一の値を有し得るのに対し、通常のＬ
ｉｓｐダイアレクトは例えば、同一の名称がコンフリク
トの危険を伴わずに変数と関数とに与えられるようにす
る。また、言語ＳＭＬでは、情報の解析及び探査のため
の走査動作を促進すべく、リストが表のように内部的に
処理される。

【００２７】留意すべき別の重要事項として、樹木構造
を有する管理情報ベース（所与のアプリケーションに有
用な総ての情報を含むベース）の管理されるオブジェク
トはリストの形態で簡単に表現できるが、この表現は言
語ＳＭＬの場合には極めて自然に得られる。

【００２８】アセンブリＬＩＢの外部ライブラリは、最
初にＣ型言語で書き込まれたコンパイルされた手続きで
構成されているが、原始関数をコード化する関数と異な
り、ＳＭＬ型の引数又はオブジェクトを無視する。前記
手続きは、ＳＭＬ型引数をＣ型言語に変換するか又はそ
の逆の変換を行うため、アセンブリＬＩＢの外部ライブ
ラリとＳＭＬ関数とを連結する手続きとみなすことがで
きる。

【００２９】ＸＡＦ又はＭＩＦのような関数の使用は、
ユーザを任意のアプリケーションにアクセスさせる上で
必須であると共に、ネットワーク及び情報システム管理
サービスに含まれている情報（例えばデータベース）を
検索するために必須である。関数ＧＡＦの使用は有用で
はあるが必ずしも必須ではない。これに対し、関数ＳＡ
Ｆの使用はアプリケーションにとって必須であることは
ない。実際、関数ＳＡＦは関係データベースの形成又は
該データベースへのアクセスを可能にするために使用さ
れるにすぎない。このようなデータベースとの関係は、
あるアプリケーションに対して特異的な使用について設
定し得る。また、前記データベースは複数のアプリケー
ションの間で共有され得る。

【００３０】インタフェースＡＰＩは、ＳＭＬ原始関数
をコード化する関数の実行を伴う言語ＳＭＬの関数ＢＦ
を介する総ての関数ＳＡＦ、ＸＡＦ、ＧＡＦ、ＭＩＦの
アプリケーションを許可する。ＳＭＬ原始関数をコード
化する関数は、幾つかの確認及び基本フォーマッティン
グ操作の後で、アセンブリＬＩＢの外部ライブラリの１
つへのアクセスを可能にする適当な関数を呼び出す。

【００３１】また、核Ｋの役割はＳＭＬ関数の呼び出し
とＳＭＬ原始関数をコード化する関数とを結合すること
にある。ＳＭＬ原始関数をコード化する関数は関数ＳＡ
Ｆ、ＸＡＦ、ＧＡＦ、ＭＩＦと同様にコードのコンパイ
ルを伴うＣ型言語の手続きである。もとのＳＭＬ関数の
呼び出しは翻訳される。一般的には、翻訳段階は実行時
間の１％以下に相当し、処理時間の最大部分はコンパイ
ルされたコードの実行に移される。

【００３２】ＳＭＬ環境の重要且つ有利な特徴の１つ
は、外部事象に対する反応性に由来する。例えば、ある
ＳＭＬアプリケーションはインタフェースを介して種々
のサービスにアクセスし、発生する総ての事象が該アプ
リケーションに通知されるように要求することができ
る。例えば、ユーザのアクション（キー、スクリーン、
マウス等を介する）は、ユーザとの対話を開始させるＳ
ＭＬアプリケーションを「再起動」させる特異的事象と
見なし得る。この「再起動（ｒｅｖｅｉｌ）」動作は、
事象を処理するための特異的ＳＭＬ手続きの実行を含
む。このような手続きは「コールバック」手続きと称
し、あらゆるＳＭＬアプリケーションの展開にとって極
めて重要なものである。

【００３３】ＳＭＬアプリケーションは、適当な事象源
に対する発呼の発生後に、且つ事象の発生時に開始され
なければならないコールバック手続きの名称を供給した
後で、事象を処理するように実施される。

【００３４】実際、ＳＭＬアプリケーションはコールバ
ック手続きの集合体とみなすことができる。このアプリ
ケーションはその開始時に且つ初期化の後で、適当なコ
ールバック手続きの名称を供給することによって事象源
に自己の要求を通知する。このアプリケーションは次い
で前記事象の発生を待機する。

【００３５】発生した事象はＳＭＬインタープリタの核
Ｋによって管理される。従って、核ＫはＳＭＬ発呼とＳ
ＭＬ原始関数をコード化する関数との関係にかかわるだ
けでなく、事象の処理にもかかわる。所与のソースから
事象が発生すると、核Ｋは必要であればアプリケーショ
ンの非活動状態を待ち、次いで適当な戻り手続きを起動
する。

【００３６】あるアプリケーションがある事象を処理し
ている最中に別の事象が発生した場合には、前記核は実
行中のタスクが終了するのを待ってから、新しい事象に
対応する戻り手続きを起動する。従って、事象は所与の
アプリケーションに関して処理待機状態を維持し得、待
機ファイル中の最初の事象が次に処理されることにな
る。事象の処理には優先度の概念はない。

【００３７】本発明に関するプログラミング概念では、
展開すべき任意のＳＭＬアプリケーションが主に下記の
２つの基本的タスクを実行しなければならない。

【００３８】ユーザとのインタフェースを形成するタス
ク。これは、ユーザとアプリケーションとの間の対話を
制御するのに使用されるオブジェクト（窓、対話箱、ボ
タン等）をスクリーン上に表示する操作を含む。

【００３９】ユーザによって要求された情報を探索し、
処理し且つ表示するタスク。

【００４０】言語ＳＭＬは、これらの２つの基本的タス
クの実行を許可する種々の関数とのインタフェースを供
給する。

【００４１】ユーザインタフェースは、通常のように、
例えば公知のシステムＯＳＦ／Ｍｏｔｉｆ−Ｘ／Ｗｉｎ
ｄｏｗｓ（Ｏｐｅｎ Ｓｏｆｔｗａｒｅ Ｆｏｕｎｄａ
ｔｉｏｎ及びＭ．Ｉ．Ｔ．の登録商標）のような図形ユ
ーザインタフェース開発及び管理システムを使用するた
めにコード化される。言語ＳＭＬは、外部ライブラリＸ
ＭＬ、例えばＸ／Ｍｏｔｉｆにアクセスするコンパイル
された関数ＸＡＦのためのインタフェースを供給する。

【００４２】アプリケーションは、ユーザによって要求
されている情報を決定したら、次のステップでその情報
を探索しなければならない。

【００４３】種々のアプリケーションについて使用可能
にされなければならない情報全体は被管理情報ベースＭ
ＩＢと称する。このベースは、集中データベースと異な
って、単一のデータディレクトリからなるのではなく、
概念的な性質を有する。なぜなら、このベースは、必要
な時に供給することができる情報を表すからである。

【００４４】従って、ベースＭＩＢ中の情報の探索で
は、データベースへのアクセス要求は行われない。この
探索では、要求された情報を提供できる構成要素からの
情報の要求が行われる。これらの構成要素の各々はベー
スＭＩＢの一部分を管理する。

【００４５】アプリケーション（要求提起構成要素）と
情報管理体（情報提供構成要素）との間の対話は、これ
ら２つの構成要素の間で送出されるメッセージを介して
得られる。管理体は、自分が知っているオブジェクト部
分を介してアプリケーションを供給することにより情報
要求に応答する。これらのオブジェクトの管理体を以後
オブジェクト管理体と称する。

【００４６】本発明が適用される環境は、意味論的には
オブジェクト指向パラダイム（ｐａｒａｄｉｇｍｅ ｏ
ｒｉｅｎｔｅ−ｏｂｊｅｔ）を使用する。これは、プロ
グラマが手続き型アプローチ（ａｐｐｒｏｃｈｅ ｏｒ
ｉｅｎｔｅｅ−ｐｒｏｃｅｄｕｒｅ）を使用しないこと
を意味する。オブジェクトは、特定数のアクションの要
求が可能なエンティティであるという点で手続きとは異
なる。あるオブジェクトに固有のデータはそのオブジェ
クト以外のものによって直接的に処理されることはな
く、一般的には、手続き向きモデルの場合と異なり、広
域データという概念は存在しない。

【００４７】オブジェクト指向モデルを用いて本発明の
概念でアプリケーションを展開するためには、次のこと
を記憶に留どめなければならない。即ち、オブジェクト
にメッセージを送るエンティティはそのオブジェクトに
よるメッセージの処理の終了を待つ必要はなく、機能が
非同期であるため、最初のオブジェクトに送られたメッ
セージに対する応答を待ちながら別のメッセージを別の
オブジェクトに送ることができる。逆に、手続きが呼び
出された時は、機能が同期であるため、前記手続きが終
了しない限り呼び出しコードが他の総ての呼び出しをブ
ロックする。

【００４８】これら種々のアプリケーションの実施で
は、メッセージがオブジェクトを指定してそのオブジェ
クトに直接適用され得る。なぜなら、アプリケーション
によって送られたメッセージを処理するのはオブジェク
トではなく、オブジェクト管理体だからである。

【００４９】このオブジェクトアプリケーション及び管
理モデルには、アプリケーションがクライエントであり
且つオブジェクト管理体がサーバであるクライエント−
サーバモデルを対応させることができる。この場合は、
アプリケーションがオブジェクト管理サービスを要求す
るだけである。オブジェクト管理体は、アプリケーショ
ンによって送出されたメッセージを受け取るとそのメッ
セージを翻訳し処理する。

【００５０】インテグレータエージェント（ａｇｅｎｔ
ｉｎｔｅｇｒａｔｅｕｒ）が、要求を送出したアプリ
ケーションに情報を供給するオブジェクト管理体である
とすれば、このインテグレータエージェントは、前記情
報を供給するために、管理情報ベースの被管理オブジェ
クトの属性値を管理するエージェント（通常は別のシス
テムの構成要素からなる）とインタフェースを介して通
信しなければならない。

【００５１】アプリケーションの重要な特徴の１つは、
アプリケーションが、オブジェクト管理体と異なり、ユ
ーザと直接対話することにある。アプリケーションはユ
ーザインタフェースを介して要求を受け取り、情報をユ
ーザに送り返す。これに対し、アプリケーションは別の
アプリケーション又は別のオブジェクト管理体について
作動することがないように、オブジェクトを管理するこ
とはない。

【００５２】既述のようにアプリケーションは事象に反
応するが、これは、事実上アプリケーションが例えばユ
ーザのインタラクションのような事象の発生を待つこと
を意味する。しかしながら、アプリケーションは自分で
事象を発生させることはなく、事象はオブジェクト管理
体によってのみ発生する。

【００５３】アプリケーションは、ＳＭＬ環境で使用さ
れる場合には、ユーザのインタラクションに応答する準
備をしなければならない。ユーザの情報要求はアプリケ
ーションと１つ又は複数のオブジェクト管理体との間の
対話を誘起する。これは、前記管理体が活動状態で存在
することと、前記管理体がアプリケーションによって送
出されたメッセージを受け取る準備ができていることと
を前提とする。そのため管理体は常に機能可能状態にあ
り、アプリケーションが活動中である限り活動状態で存
在し続けなければならない。

【００５４】このような情況では、総てのアプリケーシ
ョン及びオブジェクト管理体が標準的プロトコル及びサ
ービスを用いる通信下部構造を介して互いに通信し合
う。

【００５５】前記下部構造は、ネットワーク及び情報シ
ステム管理サービスを含む通信管理サービスを含む。

【００５６】アプリケーションはオブジェクト管理体と
同様に、ネットワーク及び情報システム管理サービス
（ＯＳＩ ＣＭＩＳ規格に基づく）へのアクセスを有す
る。アプリケーションは、関数ＢＦ及びＭＩＦによりイ
ンタフェースＡＰＩを介し、次いでＣＭＩＳのようなサ
ービスへのインタフェースとして使用される外部ライブ
ラリＭＩＬを介して、前記サービス（例えばＣＭＩＳ）
にアクセスする。

【００５７】当該アプリケーションにはＣＭＩＳのよう
なネットワーク及び情報システム管理サービスにより２
つの重要なサービスを与えることができる。即ち、ある
アプリケーションによって送出されたメッセージを受け
取るべき管理体をそのアプリケーションが指定するオブ
ジェクトのタイプに応じて決定しながら、アプリケーシ
ョンとオブジェクト管理体との間のルーティング又は切
り換えサービスを供給するサービス（前記アプリケーシ
ョンはオブジェクト管理体が同一システム上に存在する
のか又は別のシステム上に存在するのかを知らない）
と、被管理オブジェクトベースの被管理オブジェクトに
関する動作の実行を許可する関数をアプリケーションに
提案するサービスとを与える。前記動作のうち最も重要
なものは下記の動作である。

【００５８】ＧＥＴ：オブジェクトの情報（これらの属
性の値）を探索する動作。これは最も多く使用される動
作である。

【００５９】ＣＡＮＣＥＬ ＧＥＴ：動作ＧＥＴ後の受
け取り済みの応答の数が十分であることをアプリケーシ
ョンがネットワーク及び情報システム管理サービスに通
知できるようにする操作。その結果、オブジェクト管理
体からの別の応答は総て拒絶されることになる。

【００６０】ＳＥＴ：オブジェクトの属性に特定の値を
与える動作。

【００６１】ＣＲＥＡＴＥ：オブジェクトインスタンス
（ｉｎｓｔａｎｃｅ ｄ’ｏｂｊｅｔ）を形成する動
作。

【００６２】ＤＥＬＥＴＥ：オブジェクトインスタンス
を抹消する動作。

【００６３】アプリケーションが属性値を決定できるの
は、オブジェクトの決定がこの動作を許可した時だけで
ある。これは、動作ＣＲＥＡＴＥ及びＤＥＬＥＴＥにつ
いても同様である。

【００６４】ここで、言語ＳＭＬの関数セットＢＦの非
限定的具体例を、特定の取決め事項と統語論的記述とに
ついて説明する。

【００６５】慣例的に、リテラル記号はその記号自体が
参照記号ではなくデータであることを意味し、アスタリ
スク＊は、これを末尾に有する記号がオプションであ
り、所望の回数だけ反復され得ることを意味し、符号＋
はこの符号を末尾に有する記号が所望の回数だけ反復さ
れ得るが少なくとも１回は存在しなければならないこと
を意味し、大括弧｛｝はその中の記号群が単一の項と見
なされることを意味し、鈎括弧〔〕はその中の記号群が
オプションであることを意味し、分離バー｜は複数の代
替が存在することを意味する。

【００６６】注釈は総てセミコロンで始まり、行の最後
で終わる。

【００６７】数は符号を有する３２ビットによって表さ
れ、１０進法形態（デフォルト（ｐａｒ ｄｅｆａｕｌ
ｔ））、１６進法形態（＃ｘもしくは０ｘ）又はコード
ＡＳＣＩＩ（＃＼Ｊ）に従って記述できる。

【００６８】記号は関数又は変数を名付けるための識別
子である。

【００６９】コロン：で始まる記号はキーワードであ
る。キーワードは関数の定義で使用される。

【００７０】言語ＳＭＬの記号は単一評価され（ｍｏｎ
ｏｅｖａｌｕｅｓ）、従って１つの記号は１つの関数又
は１つの変数を表すものであり、両方を表すことはな
い。

【００７１】総てのＬｉｓｐ派生言語の場合と同様に、
リストはデータ構造であると同時にプログラム構造でも
ある。省略時解釈ではリストが評価され、最初のエレメ
ントが関数でなければならない。但し関数（’）を使用
すれば評価を回避することができる。

【００７２】リストはメモリに記憶されている連続的エ
レメントの拡張可能な集合体であるため、一般的な連鎖
セル（ｃｅｌｌｕｌｅｓ ｃｈａｉｎｅｅｓ）状Ｌｉｓ
ｐ構造を有してはいない。それでもリスト又はリスト連
鎖（リスト集合体）はＣｏｍｍｏｎ Ｌｉｓｐシーケン
スのように処理される。

【００７３】リスト“Ｐｒｏｐｒｉｅｔｅ（所有権）”
は、属性とその値とからなる対を複数含む特別のリスト
である。属性は記号でなければならない。

【００７４】リスト連鎖は引用符で囲んで示される。

【００７５】以下に主要制御関数を挙げる。

【００７６】“ｃａｔｃｈ”及び“ｔｈｒｏｗ”：これ
らの関数は比較的例外的に操作され、複雑な処理を回避
するための有力なメカニズムを有する。関数“ｃａｔｃ
ｈ”はフォーマット（ｆｏｒｍｅ）を評価するが、同じ
タグ（ｅｔｉｑｕｅｔｔｅ）を有する“ｔｈｒｏｗ”が
“ｆｏｒｍｅ”の評価中に発生すると、前記評価は最後
まで続けられず、“ｃａｔｃｈ”は“ｒｅｓｕｌｔａｔ
（結果）”の評価を戻す。

【００７７】タグは制御転送用のターゲット（ｃｉｂｌ
ｅ）として決定されなければならない。“ｃａｔｃｈ”
及び“ｔｈｒｏｗ”は対をなす。“ｃａｔｃｈ”と“ｔ
ｈｒｏｗ”との組合わせは種々のタグで何組も使用し得
る。“ｔｈｒｏｗ”には必ず“ｃａｔｃｈ”が対応し、
“ｔｈｒｏｗ”が未知のタグを有しているとエラーが通
報される。

【００７８】“Ｃｏｎｄ”：これは条件テスト（ｔｅｓ
ｔ ｃｏｎｄｉｔｉｎｏｎｎｅｌ）である。この関数
は、確認された条件を戻す第１のテストに対応する“ｆ
ｏｒｍｅ（フォーマット）”を評価する。この関数は、
そのフォーマットのうち最後のフォーマットの評価を戻
す。フォーマットが存在しない場合には、単一テスト値
が戻される。各テストで“ｎｉｌ”（何もみつからな
い）が生じた場合には、関数“ｃｏｎｄ”は“ｎｉｌ”
を戻す。

【００７９】“ｄｏ”：この関数は汎用反復操作（ｉｔ
ｅｒａｔｉｏｎ ｇｅｎｅｒａｌｅ）を行い、任意の数
値記号を有する汎用反復メカニズムを供給する。最初は
変数がその初期値に連結され、次いで該関数が下記のよ
うに機能するループを実行する。

【００８０】・ 最終テストの評価。この属性が確認さ
れ且つ“ｒｅｓｕｌｔａｔ”が特定された場合には、
“ｒｅｓｕｌｔａｔ”が評価され最終評価が戻される。
“ｒｅｓｕｌｔａｔ”が特定されなければ“ｎｉｌ”が
戻される。

【００８１】・ 各“ｆｏｒｍｅ”の評価。

【００８２】・ 左から右への「ステップ毎」の式の評
価。各結果は対応する可変記号に関連している。「ステ
ップ」が省略されれば、変数は不変である。

【００８３】“ｄｏｌｉｓｔ”：この関数はリストのエ
レメント中で反復操作を行い、リストの各エレメントを
１つの「変数」に順次割り当て、各“ｆｏｒｍｅ”を評
価する。“ｒｅｓｕｌｔａｔ”が省略されれば、“ｎｉ
ｌ”が戻される。

【００８４】“ｄｏｔｉｍｅｓ”：この関数は下記の操
作によってゼロ〜（ｎ−１）のループを形成させる。こ
の関数はまず実行すべき回数を評価する。この回数は整
数でなければならない。次いで、０〜（評価数−１）の
整数を順次割り当てる。各反復毎に、各フォーマットの
指示が実行される。評価された数が０又は負の値に等し
ければ、前記指示は実行されない。この関数の結果は
“ｒｅｓｕｌｔａｔ”の評価であり、これが省略されれ
ば結果は“ｎｉｌ”である。

【００８５】“ｅｖａｌ”：この関数は瞬間的環境でＳ
ＭＬ式を評価する。引数がこの関数によって評価される
前にＳＭＬによって評価されるため、二重評価が与えら
れる。

【００８６】“ｅｘｉｔ”：この関数は実行を終了する
ことによってＳＭＬ環境を閉じる。

【００８７】“ｆｏｒ”及び“ｍａｐｆｏｒ”：これら
の関数は値リスト中で反復を行う。これらの関数は、評
価値リストの各エレメントに１つの「変数」（評価され
ていない）を順次割り当て、指示を実行する。“ｆｏ
ｒ”は最終反復の最終指示の評価の値を戻し、“ｍａｐ
ｆｏｒ”は反復用の連続的「指示」値からなるリストを
構成する。

【００８８】“ｉｆ”：“ｃｏｎｄ”と類似の機能を有
するが括弧レベルが削除されている条件テスト。このテ
ストは、予備条件が確認されなかった場合には、確認さ
れた第１の条件の部分“ｔｈｅｎ”又は部分“ｅｌｓ
ｅ”（この部分が存在すれば）を実行する。

【００８９】“ｌｅｔ”：この関数は下記の操作によっ
て局所変数を通知する。

【００９０】・ 総ての初期値を評価し、これらの値を
対応する変数に関連させる。

【００９１】・ 各「ｆｏｒｍｅ」を逐次評価する。

【００９２】いずれの初期値も変数に対応しなければ、
“ｎｉｌ”が初期化される。この関数の戻し値（ｖａｌ
ｅｕｒ ｄｅ ｒｅｔｏｕｒ）は最終“ｆｏｒｍｅ”に
よって戻される値である。

【００９３】“ｐｒｏｇｎ”：この関数は指示を逐次実
行し、各“ｆｏｒｍｅ”を評価し、最終評価の結果を戻
す。この関数は、例えば指示“ｉｆ”の部分“ｔｈｅ
ｎ”で１つ以上の指示が待機している場合に有用であ
る。

【００９４】“ｑｕｏｔｅ”又は“／”：この関数の目
的は評価を回避することにある。この関数はオブジェク
トを評価せずに戻す。

【００９５】“ｓｅｔ”又は“ｓｅｔｑ”：この関数
は、変数に値を割り当てるために使用される。これは、
Ｌｉｓｐ派生言語割り当て関数と同等のものである。第
１の引数は“ｓｅｔｑ”形態では評価されず、“ｓｅ
ｔ”形態で評価される。これら２つの関数は第２の引数
を評価し、第１の引数の値を結果として得られる値に固
定する。作業値（ｖａｌｅｕｒｓ ａｃｔｉｖｅｓ）の
固定はこれらの値を変化させず、前記値に基づいて、予
め決定された関数を呼び出す。

【００９６】“ｓｏｍｅ”及び“ｅｖｅｒｙ”：これら
２つの関数はリスト中で属性を検索するための反復を誘
起する。そのために、これらの関数はリストの各エレメ
ントに属性関数（ｆｏｎｃｔｉｏｎ ａｔｔｒｉｂｕ
ｔ）を適用する。“ｓｏｍｅ”は、“ｎｉｌ”ではない
値が戻されるまで前記関数を適用し、次いで前記値を戻
し、さもなければ最後に“ｎｉｌ”を戻す。“ｅｖｅｒ
ｙ”は値“ｎｉｌ”が戻されるまで前記関数を適用し、
“ｎｉｌ”を戻す。さもなければ最後に、得られた最終
結果を戻す。所与のリストの数は適用される関数の引数
の数と同じでなければならない。従って、第１の所与の
リストの長さをｎとすれば、前記関数はｎ回適用され
る。

【００９７】別のリストの１つが第１のリストより小さ
い大きさを有する場合、そのリストは、必要な回数の終
了時の最終エレメントを第１のリストと同じ大きさのリ
ストに加えたものに等しいとみなされる。第１のリスト
が別のリストより小さい大きさを有する場合は、その他
のリストの第１のエレメントｎのみが参照される。

【００９８】“ｕｎｌｅｓｓ”：この関数はネガティブ
な条件テストであって、各指示を実行し、条件が値“ｎ
ｉｌ”で評価されれば最終指示の値を戻し、さもなけれ
ば“ｎｉｌ”を戻す。これは、後述の関数“ｗｈｅｎ”
の逆である。

【００９９】“ｕｎｗｉｎｄ−ｐｒｏｔｅｃｔ”：この
関数は“ｆｏｒｍ ｐｒｏｔｅｇｅｅ”の評価を戻す
が、内部“ｔｈｒｏｗ”による退出試行（ｔｅｎｔａｔ
ｉｖｅ ｄｅ ｓｏｒｔｉｅ）を保証する。各“ｆｏｒ
ｍｅ”は“ｔｈｒｏｗ”に従う前に逐次評価される。

【０１００】“ｗｈｅｎ”：この関数はポジティブな条
件テストであり、各指示を実行し、評価条件が確認され
れば最終指示の値を戻し、さもなければ“ｎｉｌ”を戻
す。

【０１０１】“ｗｈｉｌｅ”：この関数は、各指示を条
件“ｎｉｌ”まで逐次実行する。この関数は常に“ｎｉ
ｌ”を戻す。

【０１０２】“ｗｉｔｈ”又は“ｗｉｔｈ−ｅｖａ
ｌ”：これらの関数は局所変数を通知する。これらは、
ある指示群に固有の変数を通知し初期化するために使用
される構成体である。作業値及び関数は、“ｗｉｔｈ”
の実行後に初期値をゼロにリセットすることにより所望
される通りに操作される。値は逐次評価される。アーギ
ュメント“ｃｏｎｔｅｘｔ（コンテキスト）”は変数及
び対応値のリスト（所有権リスト、ｌｉｓｔｅ ｐｒｏ
ｐｒｉｅｔｅ）であり、このリストは複数の関数“ｗｉ
ｔｈ”で再使用できる。関数“ｗｉｔｈ−ｅｖａｌ”は
式を評価し、次いでこの式をコンテキストとして使用す
る。ＳＭＬインタプリタの構造に鑑みて、“ｗｉｔｈ”
は作業値及び関数についても機能する。

【０１０３】以下に主要入出力関数を列挙する。

【０１０４】“ｃｌｏｓｅ”：この関数はデータフロー
（ｆｌｕｘ）中のオブジェクトの処理を終了させる。後
述の指示“ｏｐｅｎ”の逆の指示である。

【０１０５】“ｌｏａｄ”：この関数は、変数によって
特定された探索ルート（ｃｈｅｍｉｎ ｄｅ ｒｅｃｈ
ｅｒｃｈｅ）を用いて、“ｆｉｌｅｎａｍｅ”により特
定されたＳＭＬファイルをローディングし且つ実行する
ことを可能にする。特定ルートの各ディレクトリ内のフ
ァイル“ｆｉｌｅｎａｍｅ ｓｍｌ”を探索するために
第１の試行が実施される。ファイルがみつからない場合
には、次いでファイル“ｆｉｌｅｎａｍｅ”の探索が行
われる。ファイル名が文字“／”を含んでいる場合、そ
のファイル名は絶対ルート名とみなされ、探索ルートは
使用されない。ファイルの読取り時に何等かのエラーが
発生した場合にはエラーメッセージが送出され、ファイ
ルの次の読取りが停止される。ファイルがみつかれば、
この関数はそのファイルの名称をストリングの形態で戻
す。ファイルがみつからず且つキーワード“ｉｆ−ｄｏ
ｅｓ−ｎｏｔ−ｅｘｉｓｔ”が指定されれば、エラーが
通知されるか又は関数“ｎｉｌ”が戻される。ファイル
がみつからず且つキーワード“ｉｆ−ｄｏｅｓ−ｎｏｔ
−ｅｘｉｓｔ”が指定されなければ、エラーが通知され
る。

【０１０６】“ｏｐｅｎ”：この関数はデータフロー中
のオブジェクトの処理をオープンさせる。この関数は、
ファイル“ｆｉｌｅｎａｍｅ”をオープンしてオブジェ
クトフローを形成し、“ｆｌｕｘ”タイプのオブジェク
トを戻す。キーワード及び対応する値は形成すべきフロ
ーのタイプを決定し、入力、出力又はこれら２つの動作
の選択はキーワード“ｄｉｒｅｃｔｉｏｎ”によって指
定される。このｄｉｒｅｃｔｉｏｎは下記のうちの１つ
である。

【０１０７】：ｉｎｐｕｔ：入力フロー（デフォル
ト）、 ：ｏｕｔｐｕｔ：出力フロー、 ：ｉｏ：双方向フロー。

【０１０８】キーワード：“ｉｆ−ｅｘｉｓｔ”は、フ
ァイルが存在し且つ“：ｏｕｔｐｕｔ”又は“：ｉｏ”
でオープンされる場合には保持すべきアクションを指定
する。キー値は下記のうちの１つである。

【０１０９】：ａｐｐｅｎｄ：出発位置はファイルの末
尾である（デフォルト）。

【０１１０】：ｏｖｅｒｗｒｉｔｅ：出発位置はファイ
ルの頭部であり、現行ファイルの内容は、それが存在す
る場合には、重ね書きされない。

【０１１１】：ｓｕｐｅｒｓｅｄｅ：出発位置はファイ
ルの頭部であり、現行ファイルの内容は置換される。

【０１１２】キーワード“：ｔｙｐｅ”はファイルのタ
イプを特定する。キー値は下記のうちの１つである。

【０１１３】：ｆｉｌｅ：形成されるフローはファイル
ＵＮＩＸ（デフォルト）である。

【０１１４】：ｓｔｒｉｎｇ：形成されるフローは内部
ストリングである。“ｒｅａｄ”又は“ｐｒｉｎｔ”
（後で説明する）のような入出力関数は、ストリング処
理司令と同様に適用され得る。

【０１１５】キーワード“：ｂｕｆｆｅｒｅｄ”は、バ
ッファレジスタが出力操作毎に空にならなければならな
いか又は空になってはならないかを特定する。キー値は
下記のうちの１つである。

【０１１６】ｎｉｌ：空になってはならない、 ｔ：空にならなければならない（デフォルト）。

【０１１７】“ｐｒｉｎ１”：この関数はＳＭＬオブジ
ェクトをプリントする。各オブジェクトは自然の形態、
即ち行間にスペースも分割もない形態で指定（特定）さ
れる。この関数は評価された最終オブジェクトを戻す。
出力は、関数“ｏｐｅｎ”でキーワード“：ｂｕｆｆｅ
ｒｅｄ”の値に応じて呼び出しの最後に「空にされる
（ｖｉｄｅｅ）」。

【０１１８】“ｐｒｉｎｔ”：この関数は新しい行の印
刷を可能にし、次いで各ＳＭＬオブジェクトのプリント
を可能にする。各オブジェクトは行間にスペースも分割
も伴わずに印刷される。この関数は評価された最終オブ
ジェクトを戻す。出力はやはり、関数“ｏｐｅｎ”でキ
ーワード“ｂｕｆｆｅｒｅｄ”に応じて発呼の最後に
「空にされる」。

【０１１９】“＊ｐｒｉｎｔ−ｒｅａｄａｂｌｙ＊”：
この関数は印刷の表示を制御する。この関数＊ｐｒｉｎ
ｔ−ｒｅａｄａｂｌｙ＊は変数である。その値が“ｎｉ
ｌ”（デフォルト）であれば、総ての出力を読み取るこ
とができる。即ち、読みやすさを改善するために特定文
字が翻訳される。その値が“ｔｒｕｅ”であれば、総て
の出力が特定文字を含んでいるかのように印刷される。
但し、エスケープシーケンスは例外であって、常に＊ｐ
ｒｉｎｔ−ｒｅａｄａｂｌｙ＊値を考慮せずに翻訳され
る。

【０１２０】＊ｐｒｉｎｔ−ｌｅｖｅｌ＊：この関数は
リストの深さの印刷を制御する。この関数は印刷すべき
リストの最大深さを制御する変数である。

【０１２１】“ｐｒｏｖｉｄｅ”及び“ｒｅｑｕｉｒ
ｅ”：これらの関数は、ファィルのローディングを管理
する。これらの関数は、ＳＭＬファィルを２回目のロー
ディングが回避されるようにローディングするか否かを
決定するのを補助する。共通引き数“ｆｉｌｅ”は印刷
名を使用してファィルを決定する記号でなければならな
い。記号“ｆｉｌｅ”は次いでいずれか一方の関数によ
り値“ｎｉｌ”に固定される。関数“ｒｅｑｕｉｒｅ”
はファィルが存在するかどうか、従ってＳＭＬでロード
されているか否かを探索する。ファィルが存在しない場
合には、ファィルがロードされるか又は何も行われな
い。ファィルが既にロードされているという確認は、関
数“ｐｒｏｖｉｄｅ”によって与えられる。関数“ｐｒ
ｏｖｉｄｅ”はファィルがロードされたことを確認す
る。この関数は通常、ロードされたファィル内に呼び出
される。

【０１２２】“ｒｅａｄ”：この関数はストリングの読
取り及び翻訳を可能にする。この関数は、入力フローが
指定されていればその入力フローで、さもなければ「標
準的入力」で次の式を読取り、この式を解析し、戻す。
この関数はファイルの最後にタグ“ｆｉｎ ｄｅ ｆｉ
ｃｈｉｅｒ”に向けて“ｔｈｒｏｗ”を実行する。

【０１２３】“ｒｅａｄ−ｃｈａｒ”：この関数は、入
力フローが指定されていればその入力ファイルで、ある
いは「標準的入力」で文字を読取り、これを戻す。この
関数は、バイトがこのようにして読取られる二進ファイ
ルに有用である。

【０１２４】“ｒｅａｄ−ｌｉｎｅ”：この関数は、入
力フローが指定されていればこの入力フローで、さもな
ければ「標準的入力」で文字ストリングを読取り、最後
に新しい行を考慮しないで前記文字ストリングを戻す。
この関数はファイルの最後にタグ“ｆｉｎ ｄｅ ｆｉ
ｃｈｉｅｒ”に向けて“ｔｈｒｏｗ”を実行する。

【０１２５】“＊ｓｔａｎｄａｒｄ−ｅｒｒｏｒ＊又は
＊ｓｔａｎｄａｒｄ−ｉｎｐｕｔ＊又は＊ｓｔａｎｄａ
ｒｄ−ｏｕｔｐｕｔ”：これらの関数は標準的フローに
使用される。これらの関数は広域変数に対応し、さもな
ければ省略時解釈で対応値に固定される。変数が値“ｎ
ｉｌ”に固定されれば、この変数は自己のデフォルト値
（省略解釈時の値）にリセットされる。

【０１２６】“ｗｒｉｔｅ−ｃｈａｒ”：この関数は、
出力フローが指定されていればその出力フローで、さも
なければ「標準的出力」で文字を書込み、この文字を戻
す。この関数は、バイトがこのようにして書込まれる二
進ファイルの形成に有用である。

【０１２７】“ｗｒｉｔｅ−ｌｉｎｅ”：この関数は出
力フローが指定されていればその出力フローで、さもな
ければ「標準的出力」で文字ストリングを書込み、この
ストリングを戻す。

【０１２８】以下は主要記号の定義である。

【０１２９】“ｄｅｆｃｏｎｓｔａｎｔ”：この関数は
変数を通知し、関数“ｓｅｔｑ”又は“ｌｅｔ”で参照
できない所与の値に固定する。

【０１３０】“ｄｅｆｖａｒ”：この機能は指定変数が
広域変数であることを通知する。広域変数は構成体“ｌ
ｅｔ”によって動的に読み取ることができる。

【０１３１】“ｄｏｃｕｍｅｎｔａｔｉｏｎ”：文書を
固定又は探索する。“ｓｔｒｉｎｇ”が指定されていな
ければ、この関数は指定記号用の文書を探索する。文書
が存在していなければ、値“ｎｉｌ”が戻される。“ｓ
ｔｒｉｎｇ”が指定されていれば、これは“ｓｙｍｂｏ
ｌ”に対応し、記号が決定されなければエラーが発生す
る。“ｄｏｃｕｍｅｎｔａｔｉｏｎ”は関数“ｄｅｆｖ
ａｒ”、“ｄｅｆｃｏｎｓｔａｎｔ”、“ｄｅｆｕｎ”
及び“ｄｅｆｍａｃｒｏ”によって決定され得る。

【０１３２】“ｇｅｎｓｙｍ”：この関数は新しい記号
を形成し、戻す。その名称は文字Ｇとこれに続く数字と
で構成され、前記数字は関数の呼び出し毎に増加する。
“ｉｎｔｅｒｎ”：この関数は“ｓｔｒｉｎｇ”という
名称の（ストリング）記号を形成し、戻す。

【０１３３】同じ名称の記号がみつかると、その記号は
戻される。この関数は、“’”のような特別の文字又は
ブランク（スペース）を含む「アトム」を形成する場合
に有用である。

【０１３４】“ｍａｋｕｎｂｏｕｎｄ”：この関数は、
関数“ｂｏｕｎｄｐ”（後で説明する）が該関数に適用
された場合には値“ｎｉｌ”が戻されるように記号を不
確定にする。

【０１３５】以下は主要属性の定義である。

【０１３６】“／＝”：これは、オブジェクト１がオブ
ジェクト２と異なる場合には値“ｔｒｕｅ”を戻し、そ
うでなければ値“ｎｉｌ”を戻す不等テストである。

【０１３７】“＜”：これは、２つの数又は２つのスト
リングを比較し、第１の引数が第２の引数と同じかそれ
より小さい場合には値“ｔ”を戻し、そうでない場合に
は値“ｎｉｌ”を戻す厳密下位テスト（ｔｅｓｔ ｄｅ
ｓｔｒｉｃｔｅ ｉｎｆｅｒｉｏｒｉｔｅ）である。
ストリングはアルファベット順に比較される。

【０１３８】“＜＝”：２つの数又は２つのストリング
を比較し、第１の引数が第２の引数と同じかそれより小
さい場合には値“ｔ”を戻し、そうでない場合には値
“ｎｉｌ”を戻す下位テストである。ストリングはやは
りアルファベット順に比較される。

【０１３９】“＞”：２つの数又は２つのストリングを
比較し、第１の引数が第２の引数と同じかそれより大き
い場合には値“ｔ”を戻し、そうでない場合には値“ｎ
ｉｌ”を戻す厳密上位テスト（ｔｅｓｔ ｄｅ ｓｔｒ
ｉｃｔｅ ｓｕｐｅｒｉｏｒｉｔｅ）である。ストリン
グはアルファベット順に比較される。

【０１４０】“＞＝”：２つの数又は２つのストリング
を比較し、第１の引数が第２の引数と同じかそれより大
きい場合には値“ｔ”を戻し、そうでない場合には値
“ｎｉｌ”を戻す上位テストである。ストリングはアル
ファベット順に比較される。

【０１４１】“ａｎｄ”：これは式の間の“ｅｔ ｌｏ
ｇｉｑｕｅ”であり、各「ｆｏｒｍｅ」を左から右へと
評価する。ｆｏｒｍｅが値“ｎｉｌ”で評価されれば、
この関数は値“ｎｉｌ”を戻し、さもなければ値“ｔ”
を戻す。引数が指定されなければ、この関数は値“ｔ”
を戻す。

【０１４２】“ｂｏｕｎｄｐ”：この関数は、アトムが
既に決定されているかどうかをテストする。この関数
は、評価記号が決定されればこれを戻し、さもなければ
値“ｎｉｌ”を戻す。この関数は、変数“ｓｙｍｂｏｌ
ｅ”が値を有していれば確認される。

【０１４３】“ｃｏｍｐａｒｅ”：この関数は２つの数
又は２つのストリングの間の比較を課し、下記の値のう
ちの１つを戻す。

【０１４４】・ 第１の引数が第２の引数より大きい場
合には厳密に正の数。

【０１４５】・ 第１の引数と第２の引数が同等の場合
にはゼロ。

【０１４６】・ 第１の引数が第２の引数より小さい場
合には厳密に負の数。

【０１４７】“ｅｑ”：２つのオブジェクトの間の厳密
等価性テスト。これは、２つのオブジェクトがメモリの
同一場所に位置している場合にのみ確認される。

【０１４８】“ｅｑｕａｌ”又は“＝”：２つのオブジ
ェクトの間の等価性テスト。このテストは、オブジェク
ト１がオブジェクト２と同じ値を有する場合にはオブジ
ェクト１の値を戻し、そうでなければ値“ｎｉｌ”を戻
す。リストの等価性はこれらリストの各エレメントの等
価性を調べることによって確認される。

【０１４９】“（）”又は“ｎｉｌ”：これは、オブジ
ェクトが“ｎｉｌ”でなければ“ｖｒａｉ”である一般
的な言語Ｌｉｓｐの値“ｎｉｌ”である。

【０１５０】“ｎｏｔ”：これは“ｎｏｎ ｌｏｇｉｑ
ｕｅ”である。オブジェクトが値“ｎｉｌ”を有してい
れば値“ｔ”が戻され、そうでなければ値“ｎｉｌ”が
戻される。

【０１５１】“ｏｒ”：これは式の間の“ｏｕ ｌｏｇ
ｉｑｕｅ”である。これは、各フォーマット（ｆｏｒｍ
ｅ）を右から左へと評価する。フォーマットが値“ｎｏ
ｎ ｎｉｌ”で評価されれば、その評価が戻される。総
てのフォーマットが値“ｎｉｌ”で評価されれば、最終
評価が送り返される。

【０１５２】“ｔ”：これは真の論理値である。

【０１５３】“ｔｙｐｅｐ”：これは属性“ｔｙｐｅ
ｄｅｓ ｄｏｎｎｅｅｓ（データの型）”である。この
関数は、オブジェクトがこのタイプであれば“ｔｙｐ
ｅ”を戻し、そうでなければ値“ｎｉｌ”を戻す。

【０１５４】以下はリスト関数の定義である。

【０１５５】“ａｐｐｅｎｄ”：この関数は、引き数の
連結によって新しいリスト又は新しいストリングを構成
し、戻すことを可能にする。

【０１５６】“ｃｏｐｙ”：この関数はＳＭＬオブジェ
クトをコピーし、リストでなければならないオブジェク
トのコピーを戻す。

【０１５７】“ｌｅｎｇｔｈ”：この関数はリストのエ
レメント数又はストリングの文字数を戻す。

【０１５８】“ｌｉｓｔ”：この関数は評価された引き
数のリストを構成し、戻す。

【０１５９】“ｌｉｓｔ−ｇｅｔ”又は“ｌｉｓｔ−ｐ
ｕｔ”又は“ｌｉｓｔ−ｐｕｔ！”：これらの関数は、
リスト中の値を得るか又は固定することを可能にする。
“ｌｉｓｔ−ｇｅｔ”はリスト中の値を戻す。“ｌｉｓ
ｔ−ｐｕｔ！”はリストを変更してこれを戻し、“ｌｉ
ｓｔ−ｐｕｔ”は更新された新しいリストを戻す。値は
数（位置）又は属性（記号）によって特定し得る。属性
が使用される場合には、リストは所有権リストとみなさ
れ、該リストの言及されたエレメントは該リスト中の記
号のすぐ後のエレメントである。位置が使用される場
合、その位置はゼロを出発点とするリストのエレメント
の位置に関する。「位置」がリストの最終メンバの位置
より上にある場合には、“ｌｉｓｔ−ｇｅｔ”が、デフ
ォルト値が指定されていればそのデフォルト値を戻し、
そうでなければ値“ｎｉｌ”を戻し、“ｌｉｓｔ−ｐｕ
ｔ”及び“ｌｉｓｔ−ｐｕｔ！”が、必要であれば非指
定位置を値”ｎｉｌ”で埋めながら、リストの新しいメ
ンバを正しい位置に挿入する。「属性」が既存の属性に
対応しない場合には、“ｌｉｓｔ−ｐｕｔ”が、デフォ
ルト値が指定されていればそのデフォルト値を戻し、そ
でなければ値“ｎｉｌ”を戻す。

【０１６０】“ｌｉｓｔ−ｒｅｍｏｖｅ”又は“ｌｉｓ
ｔ−ｒｅｍｏｖｅ！”：これらの関数はリストから１つ
又は複数のエレメントを削除させる。“ｌｉｓｔ−ｒｅ
ｍｏｖｅ！”はリストを変更してこれを戻し、“ｌｉｓ
ｔ−ｒｅｍｏｖｅ”は更新された新しいリストを戻す。
「属性」が使用される場合にはリストは所有権リストと
みなされる。その場合は、属性エレメントと、リスト中
で該エレメントに続くエレメントとが削除される。「位
置」が使用される場合、その位置はゼロを出発点とする
リスト中のエレメントの位置にかかわる。「属性」が既
存の属性と対をなさない場合、又は位置がリスト中の最
終メンバの位置より上にある場合には、リストは変更さ
れない。

【０１６１】“ｍａｋｅ−ｌｉｓｔ”：この関数はエレ
メントの大きさを含むリストを形成し、戻す。このリス
トでは各エレメントが、“ｆｏｒｍ”という属性が存在
する場合にはその“ｆｏｒｍ”によって初期化され、そ
うでなければ“ｎｉｌ”によって初期化される。

【０１６２】“ｍａｐ”：この関数は指定された１つ以
上のリストのエレメントに関数を適用し、構成されるも
のを決定する“ｔｙｐｅ ｄｅ ｒｅｓｕｌｔａｔ（結
果の型）”の値に従ってリスト又はストリングを戻す。
適用される関数は、供給されるリストの引数の数Ｎと同
じ数の引数をとらなければならない。Ｎ個のリストは同
じ長さＬを有していなければならない。関数“ｍａｐ”
は、リストが指定されていれば、該関数の呼び出しの結
果とリストのＬ個のエレメントとをエレメントとして含
む長さＬのリスト又はストリングを戻し、あるいは複数
のリストについて各リストの最初のエレメントが指定さ
れていれば、各リストの第２のエレメントを戻し、これ
をＬ個のエレメントに至るまで行う。

【０１６３】“ｍａｐｈａｓｈ”：この機能は２つの引
数、所有権リスト中の各キー及び対応する値を有する関
数を適用する。この関数は常に値“ｎｉｌ”を戻す。こ
の関数は表に使用することもできる。

【０１６４】“ｎｃｏｎｃ”：この関数はリスト１と各
リストとの連結を行う。この関数は、リスト又はストリ
ングのシーケンスを物理的に修正し、リスト１を戻す。
“ｐｏｓｉｔｉｏｎ”：第１の形態ではリストが属性
“ｅｑｕａｌ”で解析される。エレメント“ｉｔｅｍ”
が存在する場合には、この関数は、ゼロを出発点とする
リスト中の前記エレメントの記号を戻し、そうでなけれ
ば値“ｎｉｌ”を戻す。第２の形態では、エレメント
“ｓｕｂｓｔｒｉｎｇ”の存在がストリング内で探索さ
れる。このエレメントが存在していれば、この関数はそ
れが始まる位置である文字の位置を戻し、そうでなけれ
ば値“ｎｉｌ”を戻す。

【０１６５】“ｒｅｖｅｒｓｅ”：この関数は同じエレ
メントを逆の順番で含む新しいリストを戻す。

【０１６６】“ｓｏｒｔ”：この関数は、関数“ｃｏｍ
ｐａｒｉｓｏｎ”を用いてリストを漸増する順序で分類
する。

【０１６７】関数“ｃｏｍｐａｒｉｓｏｎ”は比較すべ
き２つのエレメントをもって呼び出され、整数を戻さな
ければならない。その値は、第１の引き数が第２の引き
数より小さいか、同じか又は大きいかによって、負、ゼ
ロ又は正となる。

【０１６８】“ｓｕｂｓｅｑ”：この関数は、出発位置
（“ｓｔａｒｔ”）のエレメントから最終位置（“ｅｎ
ｄ”）のエレメントまでのサブリストを戻す。“ｓｔａ
ｒｔ”及び“ｅｎｄ”はゼロからの数である。指標付き
エレメント（ｅｌｅｍｅｎｔｓ ｉｎｄｅｘｅｓ）の数
がリストの表を上回っていれば、戻されるサブリストは
値“ｎｉｌ”に固定される。この関数はストリングでも
使用できる。

【０１６９】以下はストリング関数及び表関数の定義で
ある。

【０１７０】ストリングは文字リストと同様に処理され
るため、“ａｐｐｅｎｄ”、“ｌｅｎｇｔｈ”、“ｍａ
ｐ”、“ｍａｘ”、“ｎｃｏｎｃ”、“ｐｏｓｉｔｉｏ
ｎ”、“ｓｕｂｓｅｑ”のようなリスト関数はストリン
グでも使用できる。

【０１７１】“ｍａｔｃｈ”：この関数はＳＭＬストリ
ングから副ストリング（サブストリング）を対にして抽
出することを可能にする。

【０１７２】“ｓｔｒｉｎｇ−ｄｏｗｎｃａｓｅ”又は
“ｓｔｒｉｎｇ−ｕｐｃａｓｅ”：これらの関数は転換
後にストリングのコピーを戻す。

【０１７３】また、“ｌｉｓｔ−ｇｅｔ”、“ｌｉｓｔ
−ｐｕｔ”、“ｌｉｓｔ−ｐｕｔ！”、“ｌｉｓｔ−ｒ
ｅｍｏｖｅ！”、“ｍａｐｈａｓｈ”のような幾つかの
リスト関数は表を処理するために使用できる。表のオブ
ジェクトは、所有権リストに適用される関数“ｃｏｅｒ
ｃｅ”を用いて形成される。

【０１７４】以下はマクロ定義の説明である。

【０１７５】“ｂａｃｋｑｕｏｔｅ”又は“’”：この
関数は、指定されたリストをコピー形成のためのゲージ
として用いて前記指定リストのコピーを形成する。

【０１７６】“ｄｅｆｕｎ”：ＳＭＬ関数の決定を可能
にする。リスト“ｌａｍｂｄａ”及び“ｆｏｒｍｅ”中
の宣言されたパラメータを用いて関数の名称を決定する
新しい関数を形成するのが一般的な方法である。

【０１７７】“ｄｅｆｍａｃｒｏ”：この関数はＳＭＬ
マクロを決定する。これは、リスト”ｌａｍｂｄａ”及
び“ｆｏｒｍｅ”中のパラメータを用いてマクロの名称
を決定する新しいマクロを形成するための一般的な使用
である。

【０１７８】“ｌａｍｂｄａ”：この関数は、式“ｌａ
ｍｂｄａ”を用いて無名関数を決定するための基本形態
である式“ｌａｍｂｄａ”を決定する。式“ｌａｍｂｄ
ａ”はラムダ記号とラムダリストとラムダ式のボディと
で構成されている。ラムダリストはパラメータを特定す
る。ある関数が呼び出されると、この関数の引数は対応
するラムダリストのパラメータと対にされる。必要なパ
ラメータが指定されていれば、ラムダ式が適用された時
に対応する引数が存在していなければならない。リスト
“ｌａｍｂｄａ”は記号＆から始まる下記のようなキー
ワードを使用し得る。

【０１７９】＆ｏｐｔｉｏｎａｌ：オプショナルパラメ
ータ；これらの引き数は、使用されない場合には、初期
値が存在すればその初期値に連結され、そうでなければ
値“ｎｉｌ”に連結される。

【０１８０】＆ｒｅｓｔ：休止パラメータ；必要パラメ
ータ及びオプショナルパラメータの総てが連結されてい
れば、後続の引数の総てがリスト中で形成され、休止パ
ラメータに連結される。

【０１８１】＆ｋｅｙ：キーワードパラメータ；これ
は、呼び出されたキーワードとその値とからなる対で構
成された引数である。

【０１８２】＆ａｕｘ：これは、実際にはパラメータで
はない局所変数である。これは、関数“ｌｅｔ”と同等
である。

【０１８３】“ｌａｍｂｄａｍａｃｒｏ”：この関数
は、無名マクロを決定するための基本形態であるマクロ
ラムダ式を決定する。必要パラメータが指定されていれ
ば、ラムダ式が適用された時に対応する引き数が存在し
ていなければならない。リスト“ｌａｍｂｄａｍａｃｒ
ｏ”は、記号＆から始まり且つリスト“ｌａｍｂｄａ”
のキーワード＆ｏｐｔｉｏｎａｌ、＆ｒｅｓｔ、＆ｋｅ
ｙ及び＆ａｕｘと同様に定義されるキーワードを使用し
得る。

【０１８４】以下は幾つかのデジタル演算子及び他の演
算子の定義である。

【０１８５】“＋”：数値加算演算子。これはリスト又
はストリング用の連結演算子としても使用できる。結果
の型は第１の引き数の型、即ちリストの場合は（）、連
結の場合は“”、数の場合はゼロに基づいて決定され
る。

【０１８６】“＊”及び“／”：それぞれ引き数のモジ
ュロ（ｍｏｄｕｌｏ）、積及び商を戻す算術演算子。

【０１８７】“−”：算術差分演算子。

【０１８８】“ｌｏｇａｎｄ”、“ｌｏｇｏｒ”、“ｌ
ｏｇｎｏｔ”、“ｌｏｇｘｏｒ”：それぞれ演算“ｅｔ
ｌｏｇｉｑｕｅ（論理ＡＮＤ）”、“ｏｕ ｌｏｇｉ
ｑｕｅ（論理ＯＲ）”、“ｎｏｎ ｌｏｇｉｑｕｅ（論
理ＮＯＴ）”及び“ｏｕｅｘｃｌｕｓｉｆ ｌｏｇｉｑ
ｕｅ（排他的論理ＯＲ）”に対応する演算子。“ｍａ
ｘ”及び“ｍｉｎ”：数値又はストリングのリストの最
大値又は最小値をそれぞれ戻す演算子。

【０１８９】“ｒａｎｄｏｍ”：乱数（ｎｏｍｂｒｅ
ａｌｅａｔｏｉｒｅ）を発生する演算子。

【０１９０】“ｃｏｅｒｃｅ”：型を特定し、オブジェ
クトの型を「結果の型」によって指定された型に変換す
る機能を果たす。

【０１９１】“ｔｙｐｅ−ｏｆ”：オブジェクトの内部
ＳＭＬ型を戻す。

【０１９２】“！”又は“！！”：インタプリタコマン
ドを実行する。“！”は所与の引き数を有するストリン
グとして所与のコマンドを実行し、操作の終了を待たな
い。“！！”は入出力コマンドに関連した入出力フロー
を戻す。このコマンドはフローが切断されれば消滅す
る。

【０１９３】“ａｐｐｌｉｃａｔｏｎ−ｃｌａｓｓ
＊”：これは、実行中のアプリケーションのクラスを示
すストリング定数である。ＳＭＬアプリケーション場合
はこの値が“ＳＭＬ”である。

【０１９４】“＊ａｐｐｌｉｃａｔｏｎ−ｎａｍｅ
＊”：これは、実行中のアプリケーションの名称を示す
ストリング定数である。

【０１９５】“ｃｏｍｍａｎｄ−ｌｉｎｅ−ａｒｇ”：
この関数は起動時にＳＭＬインタプリタによって転送さ
れた引数を表すストリングリストを戻す。

【０１９６】“ｇｅｔ−ｉｎｔｅｒｎａｌ−ｒｕｎ−ｔ
ｉｍｅ”：この関数は、ミリ秒単位の実行時間の値を戻
すことを可能にする。戻される値は、引数が供給されて
いなければ通過時間に対応し、そうでなければ下記のキ
ーワードの１つに依存する。

【０１９７】：ｒｅａｌ：ＳＭＬアプリケーションの開
始からの通過時間（デフォルト）、 ：ｕｓｅｒ：ＳＭＬ指示の実行の間に使用される時間Ｃ
ＰＵ、 ：ｓｙｓｔｅｍ：ＳＭＬのカウントのためにシステムに
よって使用される時間ＣＰＵ。

【０１９８】“ｇｅｔｎｅｖ”：ストリングの変数名が
インタプリタの出力変数の名称であれば、この関数は前
記値をストリングとして戻し、そうでなければ値“ｎｉ
ｌ”を戻す。

【０１９９】“ｓｅｔｎｅｖ”：この関数はインタプリ
タの変数の名称をある値に固定する。これら２つの引き
数はストリングでなければならない。

【０２００】また、ＳＭＬでは式の評価を分別すること
もできる。その場合は、特定時間の後で、総ての要求が
応答を受け取った時に評価が発生する。ＳＭＬ関数の場
合の時間の内部表現はミリ秒である。

【０２０１】“ｅｖａｌ−ａｆｔｅｒ”：式の評価は特
定の時間が経過した後で行われる。この関数は下記の２
つの段階で実施される。

【０２０２】・ “ｅｖａｌ−ａｆｔｅｒ”を呼び出す
時は、次いで評価される各フォーマット（ｆｏｒｍｅ）
がコンテキストと共に保持される。

【０２０３】・ 特定時間が経過した後で、評価された
各フォーマットにコンテキストが連結される。

【０２０４】この関数は、後述の関数“ｒｅｍｏｖｅ−
ｔｉｍｅｒ”によってゼロにリセットできる“ｔｉｍｅ
ｒ”型オブジェクトを戻す。

【０２０５】“ｅｖａｌ−ｅｖｅｒｙ”：この関数は前
記関数と類似しているが、反復評価を実行する。この関
数は勿論、関数“ｒｅｍｏｖｅ−ｔｉｍｅｒ”によって
ゼロにリセットできる。

【０２０６】“ｒｅｍｏｖｅ−ｔｉｍｅｒ”：この関数
は、関数“ｅｖａｌ−ａｆｔｅｒ”又は“ｅｖａｌ−ｅ
ｖｅｒｙ”のいずれか一方によって構成された“ｔｉｍ
ｅｒ”型オブジェクトを排除する。

【０２０７】ＳＭＬはまた、特に下記の関数を調整する
ためのツールも使用する。

【０２０８】“ｈａｓｈｉｎｆｏ”：この関数はアトム
ストックに関する統計を供給する。戻される情報は記号
の数、表中の挿入体の数及び衝突の数である。

【０２０９】“ｍｅｍｉｎｆｏ”：この関数はＳＭＬに
よって使用されるメモリアロケータの状態を供給し印刷
する。

【０２１０】“ｏｂｌｉｓｔ”：この関数は既に決定さ
れているＳＭＬアトムの名称を戻し、印刷する。記号
“ｓｔｒｉｎｇ”が指定されていなければ、決定された
名称が総て戻され、そうでなければ記号“ｓｔｒｉｎ
ｇ”を含む名称のみが戻される。

【０２１１】“ｓｔａｃｋ−ｐｒｉｎｔ−ｌｅｖｅ
ｌ”：この関数は、エラーが印刷されたパイルの構造体
の数（ｎｏｍｂｒｅ ｄｅ ｓｔｒｕｃｔｕｒｅｓ
ｄ’ｕｎｅ ｐｉｌｅ ｉｍｐｒｉｍｅｅｓ ｅｎ ｅ
ｒｒｅｕｒ）を供給する。

【０２１２】“ｔｒａｃｅ−ｕｎｔｒａｃｅ”：関数
“ｔｒａｃｅ”は、要求に至るまでに実行された関数の
リストを戻す。関数“ｕｎｔｒａｃｅ”は要求に至るま
でにまだ実行されていない関数があればこれら関数のリ
ストを戻し、そうでなければ値“ｎｉｌ”を戻す。

【０２１３】関数セットＭＩＦは前述のように、アプリ
ケーションとオブジェクト管理体との間の情報交換にお
いてネットワーク及び情報システム管理サービスとのイ
ンタフェースとして使用される外部ライブラリＭＩＬへ
のアクセスを可能にする。例えばＣＭＩＳのようなネッ
トワーク及び情報システム管理サービスに関連したプロ
グラミングの概念に鑑みて、ＳＭＬアプリケーションは
下記の動作を実施できるものでなければならない。

【０２１４】１．サービスの初期化、 ２．ユーザのアクションの待機、 ３．ネットワーク及び情報システム管理サービスの要求
の送出、 ４．前記要求のためのリコール手続きの設定、 ５．要求確認が到着した時のリコール手続きの実行、 ６．ステップ２からユーザの最終要求までの反復、 ７．アプリケーションの終了。

【０２１５】関数セットＸＡＦは、例えばＸ／Ｍｏｔｉ
ｆのような図形ユーザインタフェースを開発し管理する
ための構成要素を有するライブラリＸＭＬへのアクセス
を可能にする。

【０２１６】Ｘ窓型システムのアーキテクチャはクライ
エント−サーバモデルに基づく。

【０２１７】サーバは総ての入出力装置（例えばマウ
ス）を制御し、スクリーン上に窓を形成して操作し、テ
キスト及び図形を形成する。サーバによって提供された
ファシリティを使用するアプリケーションはクライエン
ト（ｃｌｉｅｎｔ）と呼ばれる。このクライエントは、
特定のプロトコルを用いてネットワークを介する接続後
にサーバと通信する。サーバは、マウスを介するユーザ
のアクションに応答する事象をサーバが発生する時に、
その事象を例えば簡単な仕方でクライエントアプリケー
ションに送る。これは、該実施例の概念では、この種事
象がＳＭＬインタプリタの責任下にあり、これに特異的
なコールバックの機能が実施されることを意味する。

【０２１８】ＣＭＩＳのようなネットワーク及び情報シ
ステム管理サービスと、Ｘ／Ｍｏｔｉｆのような図形ユ
ーザインタープリタの開発及び管理を可能にする外部ラ
イブラリとを同時に使用するＳＭＬアプリケーションは
下記の動作を実行しなければならない。

【０２１９】１．２種類のサービスの初期化、 ２．“道具”と称するユーザインタフェース構成要素の
形成及び表現、 ３．ユーザインタラクションのためのリコール手続きの
設定、 ４．ユーザのアクションの待機、 ５．リコール手続きによってネットワーク及び情報シス
テム管理サービスの要求を送出する動作、 ６．前記要求のためのリコール手続きの設定、 ７．要求確認が到着した時のリコール手続きの実行、 ８．ステップ４からユーザの最終要求までの反復、 ９．アプリケーションの終了。

【０２２０】関数セットＧＡＦは、図形オブジェクトを
使用するアプリケーションを許可するライブラリＧＯＬ
へのアクセスを可能にする。この種のアプリケーション
は、例えばＸ／Ｍｏｔｉｆ、ＭＳ−ＷＩＮＤＯＷＳ、Ｐ
ｏｓｔｓｃｒｉｐｔ等のような既存のユーザインタフェ
ースに組み込むことができる図形ライブラリに基づいて
二次元図形オブジェクトを呈示し編集することを可能に
する。

【０２２１】関数ＳＡＦの役割は、例えばＩＮＧＲＥＳ
（Ｉｎｇｒｅｓ Ｃｏ．の登録商標）、ＯＲＡＣＬＥ
（Ｏｒａｃｌｅ Ｃｏｒｐｏｒａｔｉｏｎの登録商標）
等のような関係データベースとのインタフェースとして
使用される、例えばＳＱＬのような構築言語の特異的ラ
イブラリＳＬＬへのアクセスを許可することにある。

【０２２２】関数ＳＡＦは２つのファンクショナリティ
レベル（ｎｉｖｅａｕｘ ｄｅ ｆｏｎｃｔｉｏｎｎａ
ｌｉｔｅｓ）を提供する。第１のレベルは、ＳＭＬ環境
において標準的要求を構築言語で形成することを可能に
する。このレベルで使用される関数はデータベースサー
バとは対話しない。第２のレベルでは、使用される関数
がデータベースサーバと対話して、特に、前記サーバと
の接続又は切断、変更が望まれる時の更新を許可する。

【０２２３】ＳＭＬ特異的関数ＳＡＦは、ライブラリＳ
ＬＬとのインタフェースを実現させる。以下はその原理
の要約である。

【０２２４】“ｓｑｌ−ｌｏｇｉｎ”：パラメータ“ｃ
ｏｎｎｅｃｔｉｄ”によって識別されたデータベースサ
ーバへの接続を可能にする。前記パラメータはデータベ
ースのサーバの名称を指定するストリングである。接続
が実施されると、この関数が値“ｔ”を戻し、そうでな
ければ関数“ｓｑｌ−ｅｒｒｏｒ”（後で説明する）が
呼び出され、値“ｎｉｌ”が戻される。

【０２２５】“ｓｑｌ−ｌｏｇｏｕｔ”：データベース
サーバからの切断を可能にする。この関数は、実行中の
論理タスク単位を終了させる。ある単位が実行中の場合
はこの機能が当該タスク単位の間に行われた総ての変更
を固定し、切断が行われる。

【０２２６】“ｓｑｌ−ｂｕｉｌｄ−ｄｅｌｅｔｅ”：
削除要求をストリングとして形成することを可能にす
る。

【０２２７】“ｓｑｌ−ｂｕｉｌｄ−ｉｎｓｅｒｔ”：
挿入要求をストリングとして形成することを可能にす
る。

【０２２８】“ｓｑｌ−ｂｕｉｌｄ−ｓｅｌｅｃｔ”：
選択要求をリスト形態のストリングとして形成すること
を可能にする。

【０２２９】“ｓｑｌ−ｂｕｉｌｄ−ｕｐｄａｔｅ”：
更新要求をストリングとして形成することを可能にす
る。

【０２３０】“ｓｑｌ−ｏｐｅｒ”：条件提案をストリ
ングとして形成することを可能にする。

【０２３１】“ｓｑｌ−ｅｘｅｃ”：要求を、実行のた
めに、パラメータ“ｃｏｍｍａｎｄ”を用いてデータベ
ースサーバに委ねる。

【０２３２】パラメータ“ｃｏｍｍａｎｄ”はストリン
グか、又は先行関数“ｓｑｌ−ｂｕｉｌｄ−ｘｘｘ”の
１つによって戻される結果であり得る。この関数は、デ
ータベースサーバと実際に接続した後でしか使用できな
い。

【０２３３】“ｓｑｌ−ｃｏｍｍｉｔ”：タスク単位
を、該タスク単位の間に行われた変更を固定しながら終
了する。

【０２３４】“ｓｑｌ−ｒｏｌｌｂａｃｋ”：タスク単
位を、該タスク単位の間に行われた変更を考慮せずに終
了する。

【０２３５】“ｓｑｌ−ｅｒｒｏｒ”：この関数は、要
求が不成功に終わった場合に呼び出される。

【０２３６】“ｓｑｌ−ｇｅｔ−ｅｒｒｏｒ”：最終要
求に応答してデータベースサーバの最終メッセージを戻
す。

【０２３７】一般的には、構築言語のデータの型は等価
の型を言語ＳＭＬで有している。従ってこれら２種類の
言語の間には対応性が存在する。また、構築言語の表名
及び属性名は言語ＳＭＬのアトムで表現される（例えば
言語Ｌｉｓｐ参照）。値は勿論これら２種類の言語にお
いて対応性を有する。

【０２３８】更に、ＳＭＬへの拡張を書き表すこともで
きる。そのためには、新しい関数をＣ型言語で書込み、
次いでコンパイルし且つＳＭＬライブラリに連結する。
その結果、拡張された新しいＳＭＬインタプリタが得ら
れる。一般的には、ＳＭＬ拡張の展開は下記のステップ
を伴う。

【０２３９】新しいＳＭＬ名称が言及される毎に呼び出
されなければならない原始関数のためのＣ型言語のコー
ドの展開、新しいＳＭＬ関数の名称と、コンパイルされ
た外部ライブラリ内の原始関数の名称との間の対応の実
現、必要なライブラリを全部連結して行う新しいＳＭＬ
インタプリタの構築、の各ステップ。

【０２４０】結論として、この種のプログラミング言語
はアプリケーションの展開時間を大幅に短縮させる。例
えば、型決定が変数ではなく変数の内容に基づいて行わ
れる本発明で使用する言語は、極めて有意に単純化され
ており総称プログラミングを容易にするようなサーバア
クセスインタフェースの実現を可能にする。データの構
造は無条件で直接処理される。実際、ＳＭＬ変数はいず
れも不確定状態（値“ｎｉｌ”）で存在するとみなされ
るため型をもたず、型は割り当てと同時に固定され、そ
の結果総称プログラミングが許可される。これは、型が
コンパイルされる、即ちプログラミングの前に型を知る
必要があるＣ型言語と比べて極めて有利な利点である。
また、このような言語は集合論的性格を有し種々の情報
サーバとのインタフェースを容易にするため、管理アプ
リケーション用の極めて高い水準の言語として有利に使
用される。例えば、この種の言語を使用すると、該言語
の集合論的性格を考慮しながらＳＱＬのような構築言語
に固有のライブラリにアクセスすることができる。ま
た、例えばネットワーク管理プラットホームの場合のよ
うに複数のサーバのツリー的性格を遵守しながらインタ
フェースを形成することができる。

【０２４１】別の重要な利点は、実行可能なコードが、
受け取られたデータの型に適合するように自然に容易に
自己修正できることにある。従って、アプリケーション
は管理オブジェクトの構造を知らないまま該オブジェク
トの値の要求をネットワークに送り、次いで受け取られ
たオブジェクトの構造に適合した表示及び更新関数を動
的に構築することができる。実際、既述のようにプログ
ラムとデータとの間には差がないため、プログラムは自
己修正することができ、従ってアプリケーションが自分
が処理するデータに応じて動的に修正されることにな
る。

【０２４２】また、プログラム及びデータが同じように
表現されるＳＭＬのような言語の使用は特に簡単であり
且つ有利である。実際、この種の言語は大きな使用柔軟
性と、著しい順応性と、それ自体が方向を有するコード
部分、例えばトランザクションの送出を可能にする大き
なパワーとをもたらし、動的に調整されたプロセッサの
間にロード平衡をもたらし、実行の間のコードの動的修
正を許可する。このような使用では、コードが単純なデ
ータ伝送と同じ容易さ及び柔軟性をもって伝搬される。

【図面の簡単な説明】

【図１】インタプリタと該インタプリタがアクセスする
ライブラリアセンブリとを表す構造の一例を示す説明図
である。

【図２】ネットワーク管理におけるデータ処理の概略図
である。

【符号の説明】

Ｋ 核 ＩＮＴ インタプリタ ＬＩＢ ライブラリ ＳＯＦ 関数セット

Claims (1)

(57)【特許請求の範囲】
1. 【請求項１】 ネットワークに接続された複数のデータ
   処理装置を有する情報処理システムであって、集合型又
   はリスト型データ構造のデータへのアクセスを行う情報
   処理システムを構築する方法であって、 データ形式の宣言なしに変数の内容によってデータ形式
   が定義される集合型又はリスト型データ構造のデータが
   処理可能なＬｉｓｐ型プログラミング言語を用いて作成
   されたアプリケーションプログラムであって、サーバへ
   のアクセスのための汎用プログラミング形式のインタフ
   ェースと、関係データベースの集合型データと複数のサ
   ーバのリスト型データとを処理できるインタフェースと
   を含むネットワーク管理型のアプリケーションプログラ
   ムを装備するステップと、 データ型を指定することなくデータを要求し且つ受信す
   ることによって該データ構造のデータを操作する手段を
   装備するステップと、 該複数のデータ処理装置の各々に該プログラミング言語
   の言語インタプリタを装備するステップと、 を含む情報処理システムを構築する方法。