JPS6217833A

JPS6217833A - 制約管理装置

Info

Publication number: JPS6217833A
Application number: JP15626385A
Authority: JP
Inventors: Masanobu Watanabe; 渡邉　正信
Original assignee: NEC Corp
Current assignee: NEC Corp
Priority date: 1985-07-16
Filing date: 1985-07-16
Publication date: 1987-01-26

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】（産業上の利用分野）本発明は、制約管理装置に関し、特に情報処理システム
での変数の制約管理装置に関する。

（従来技術とその問題点）情報処理システムにおいて、複数の制約関係を保持する
変数の値の決定法、およびその変数の値を制約関係に基
づき他の変数に伝播させる方法は重要なものである。

従来この制約伝播管理方法では、ある変数の値の変更は
その変数の値を設定したものだけが可能とする方式を採
用したから、変数の値の設定順と変更類とが同一になる
ように固定されていた。

このことにより、従来の制約管理装置には、変数の値の
変更類を柔軟に設定できないという問題点があった。

そこで、本発明の目的は、従来の制約管理装置における
問題点を解決し、変数を含むオブジェクト間の関係に基
づき、変数の値の伝播方式の柔軟な制御を実現する制約
管理装置の提供にある。

（問題点を解決するための手段）前述の問題点を解決するために本発明が提供する手段は
、情報処理システムにおける変数の制約管理装置であっ
て、制約関係に基づき変数の値を導出する制約関係管理
部と、変数値の導出に基づき、前記変数に関与する制約
関係に前記変数値導出済みを通知する制約変数管理部と
、前記変数を保持するオブジェクトと前記オブジェクト
間の関係を管理するオブジェクト管理部とを含むことを
特徴とする。

本発明の実施例について図面を参照して説明する。

第１図は、本発明の一実施例を示すブロック図である。

第１図において本発明の一実施例は、制約管理装置１で
あり、制約関係に基づき変数の値を導出する制約関係管
理部３と、変数値の導出に基づき、前記変数に関与する
制約関係に前記変数値導出済みを通知する制約変数管理
部４と、前記変数を保持するオブジェクトと前記オブジ
ェクト間の関係を管理するオブジェクト管理部５と、制
約関係管理部３及び制約変数管理部４及びオブジェクト
管理部５の動作を制御する制御部２とを備えている。

制約管理装置１を構成する前記の各部は中央処理部６と
の間にデータ及び制御情報等を転送する外部インタフェ
ースとして中央−制御インタフェース２６を有し、また
各部の相互間にデータ及び制御情報等を相互に転送する
内部インタフェースとして制御−制約関係管理インタフ
ェース２３、制御−制約変数管理インタフェース２４及
び制御＝オブジェクト管理インタフェース２５及び制約
関係−制約変数インタフェース３４及び制約関係＝オブ
ジェクトインタフェース３５及び制約変数＝オブジェク
トインタフェース４５を有する。

以下前記の外部インタフェースと内部インタフェースを
インタフェースと総称する。第２図と第３図と第４図は
、第１図に示した本発明の一実施例の動作例を示す図で
ある。中央処理部６から、制御部２に対してインタフェ
ース２６を通して、オブジェクト（オブジェクト１，２
，３゜・・・・・・）、変数（Ｘ　＋　３”　＋　Ｖ　
、Ｚ　’　、Ｚ　＋・・・・・・）、制約関係（＃ｃｌ
　、　＃ｃ２　、　＃ｃ３　、・・・・・・）等の定義
情報が転送きれる。制御部２は、前記定義情報を制御−
オブジェクト管理インタフェース２５を通してオブジェ
クト管理部５に転送する。次に、中央処理部６から制御
部２に対してインタフェース２６を通してオブジェクト
１の変数Ｘの値を１６に設定する命令が転送される。制
御部２は、制約変数管理部４に対して、インタフェース
２４を通してオブジェクト１の変数Ｘの値を１６にする
命令を出す。制約変数管理部４は、オブジェクト１の変
数Ｘの値を１６に設定すると同時に、制約関係管理部３
に対して変数Ｘの値が１６になったことをインタフェー
ス３４を通して通知する６制約関係管理部３は、オブジ
ェクト１の変数Ｘに関与する制約関係＃ｃｌ　：　ｘ　
＝８ｙ　’をオブジェクト管理部５からインタフェース
３５を通して入手し、変数ｙ′の値（２）をＸの値（１
６）に基づき導出する。この後で制約関係管理部３は、
制御部２に対してオブジェクト１に対する制約変数Ｘ及
びＸによって設定される変数ｙ′のそれぞれの値の設定
終了通知を転送する。制御部２は、オブジェクト１の変
数で他のオブジェクトと束縛きれている変数（ｙ゛）お
よび前記変数（ｙ′）が結合されているオブジェクト名
（オブジェクト２）と前記才プジェツトでの変数名（ｙ
）を、オブジェクト管理部５から入手し、制約変数管理
部４に対してオブジェクト１−２の変数ｙの値を２に設
定する命令をインタフェース２４を通して転送する。以
下この処理は、オブジェクト１の変数Ｘの値を１６に設
定した方式と同様に行なわれる。この結果オブジェクト
２のｙが２．２゛が８、オブジェクト３の２が３、ａが
３となる。

次に、中央処理部６が、制御部２に対して、オブジェク
ト２の変数ｙの値を４に変更する命令をインタフェース
２６を通して転送する。制御部２は、制約変数管理部４
に対して、オブジェクト２の変数ｙの値を４に変更する
命令を、インタフェース２４を通して転送する。制約変
数管理部４は、ｙの値４に変更し、この変更を制約関係
管理部３に対して、インタフェース３４を通して通知す
る。制約関係管理部３は、ｙに関与する制約関係＃ｃ２
：ｙ＋ｚ’＝１０に基づき、２′を６に変更し、制御部
２に通知する。制御部２はオブジェクト２の変数ｙと２
′の両方が他のオブジェクトの変数に束縛されているこ
と（ｙはオブジェクト１のｙ′、２″はオブジェクト３
の２にそれぞれ束縛きれていること）を検出し、その後
で、どのオブジェクト（オブジェクト１又はオブジェク
ト１−３）を先に処理すべきかを次の手順で決定する。

まず、オブジェクト２とオブジェクト１、オブジェクト
２とオブジェクト３との関係が、前者はＰａｒｔの逆関
係（Ｐａｒｔｏｆ　）、後者はＰａｒｔ関係であること
をオブジェクト管理部５から入手する。次に、Ｐａｒｔ
関係の定義情報からどの方向から先に処理すべきかの制
御情報を入手する。この場合第４図に示すようにＰａｒ
ｔの逆関係（Ｐａｒｔｏｆ　）を優先きせることが記述
されているとすると、オブジェクト２からオブジェクト
１への制約伝播を、オブジェクト２からオブジェクト３
への伝播より先に実行することになる。但し、この優先
順位は動的に変更できる。前記制約伝播のスケジュール
実行後に制御部２は、制約変数管理部４に対して、オブ
ジェクト１の変数ｙ゛の値を４に変更する命令をインタ
フェース２４を通して転送する。この後、同様に、オブ
ジェクト３の変数２の値を６に変更する処理を実行する
０以上の処理が終了した後で制御部２は、中央処理部６
に対してインタフェース２６を通して変数値変更処理の
終了通知を送出する。

（発明の効果）以上説明したように、本発明によれば、オブジェクトの
変数の値の設定に対応して、そのオブジェクトと、変数
が制約関係を介して関与する変数を保持する他のオブジ
ェクトとの間に存在する関係に基づき、変数値をどのオ
ブジェクトに伝播きせるかを柔軟に制御することができ
、臨機応変な伝播方式を実現できる制約管理装置が提供
できる。

【図面の簡単な説明】

第１図は本発明の一実施例を示すブロック図、第２図、
第３図及び第４図は第１図実施例の動作例を示す図であ
る。１・・・制約管理装置、２・・・制御部、３・・・制約
関係管理部、４・・・制約変数管理部、５・・・オブジ
ェクト管理部。代理人弁理士　　本　庄　伸　介１−−−−　　　　　　　　　　　−　−−−一一−−
一一一−−−−−一−Ｊ第２図 □−−−間イゑＰａｒｔ＄−−−支数米祷第３図第４図０−一一制約関俵

Claims

【特許請求の範囲】

情報処理システムにおける変数の制約管理装置において
、制約関係に基づき変数の値を導出する制約関係管理部
と、変数値の導出に基づき、前記変数に関与する制約関
係に前記変数値導出済みを通知する制約変数管理部と、
前記変数を保持するオブジェクトと前記オブジェクト間
の関係を管理するオブジェクト管理部とを含むことを特
徴とする制約管理装置。