JPH0258131A - 設計エキスパートシステム構築方式 - Google Patents
設計エキスパートシステム構築方式Info
- Publication number
- JPH0258131A JPH0258131A JP63208200A JP20820088A JPH0258131A JP H0258131 A JPH0258131 A JP H0258131A JP 63208200 A JP63208200 A JP 63208200A JP 20820088 A JP20820088 A JP 20820088A JP H0258131 A JPH0258131 A JP H0258131A
- Authority
- JP
- Japan
- Prior art keywords
- design
- node
- designing
- rule
- input
- 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.)
- Pending
Links
- 238000013461 design Methods 0.000 title claims abstract description 113
- 238000000034 method Methods 0.000 title description 9
- 238000010276 construction Methods 0.000 claims description 9
- 230000006870 function Effects 0.000 abstract description 19
- 230000014509 gene expression Effects 0.000 abstract description 11
- 238000006243 chemical reaction Methods 0.000 abstract description 5
- 230000015572 biosynthetic process Effects 0.000 abstract description 2
- 238000003786 synthesis reaction Methods 0.000 abstract description 2
- 230000002194 synthesizing effect Effects 0.000 abstract description 2
- 238000012545 processing Methods 0.000 description 14
- 238000000354 decomposition reaction Methods 0.000 description 8
- 238000010586 diagram Methods 0.000 description 6
- 238000011161 development Methods 0.000 description 3
- 230000000694 effects Effects 0.000 description 3
- 238000012423 maintenance Methods 0.000 description 3
- 101100427344 Mus musculus Usp10 gene Proteins 0.000 description 1
- 238000011217 control strategy Methods 0.000 description 1
- 238000007796 conventional method Methods 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 230000009466 transformation Effects 0.000 description 1
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は、回路設計やソフトウェア設計等で代表される
設計問題を解決するエキスパートシステムを、設計モジ
ュールの表現言語と、モジュール変換用ルール言語を提
供することで、効率良く構築する設計エキスパートシス
テム構築方式に関する。
設計問題を解決するエキスパートシステムを、設計モジ
ュールの表現言語と、モジュール変換用ルール言語を提
供することで、効率良く構築する設計エキスパートシス
テム構築方式に関する。
ルールベース方式に基づく設計エキスパートシステムを
開発する場合、その開発工数を削除し生産性を向上し、
システムのメンテナンス、拡張を容易にすることは、実
用上非常に重要な課題である。従来、設計エキスパート
システムは、汎用の知識表現、ルール表現言語で構築さ
れていたため、その開発では、各設計領域毎にモジュー
ル表現やモジュール変換ルールを構築するか、または、
汎用の表現言語や手続き言語で表現し開発していた。
開発する場合、その開発工数を削除し生産性を向上し、
システムのメンテナンス、拡張を容易にすることは、実
用上非常に重要な課題である。従来、設計エキスパート
システムは、汎用の知識表現、ルール表現言語で構築さ
れていたため、その開発では、各設計領域毎にモジュー
ル表現やモジュール変換ルールを構築するか、または、
汎用の表現言語や手続き言語で表現し開発していた。
従来の方式では、設計領域が少し異なるだけで、はとん
どすべてのプログラムを書き直すことになり、多大な工
数を必要とする。また、変換ルールを従来の手続き言語
で書いた場合は、作成されたエキスパートシステムの機
能拡張、メンテナンスが非常に困難になる。
どすべてのプログラムを書き直すことになり、多大な工
数を必要とする。また、変換ルールを従来の手続き言語
で書いた場合は、作成されたエキスパートシステムの機
能拡張、メンテナンスが非常に困難になる。
本発明の目的は、設計オブジェクトや設計ルールの表現
用言語を提供することで、設計エキスパートシステムの
開発工数、メンテナンス、機能拡張工数を大幅に削減し
、上記の問題を解決するエキスパートシステム構築方式
を提供することにある。
用言語を提供することで、設計エキスパートシステムの
開発工数、メンテナンス、機能拡張工数を大幅に削減し
、上記の問題を解決するエキスパートシステム構築方式
を提供することにある。
本発明の設計エキスパートシステム構築方式は、入力さ
れた設計要求仕様のモジュールや、設計詳細化途中の中
間モジュールや、設計結果からなるモジュールを、ノー
ドとパスから構成されるネットワークで表現・保持・管
理する設計オブジェクト部と、 前記ノードとパスで構成されるネットワークを機能的に
等価変換して所与の目的レベルの構造に段階的に順次変
換する設計ルールを保持・管理する設計ルールベース部
と、 前記設計ルールの適用戦略を保持・管理する設計戦略部
と、 前記ノードとパスで構成されるネットワークで表現され
た設計要求仕様を入力し、設計結果を出力し、かつ、前
記設計ルールや前記設計戦略を入力する入出力部と、 前記設計オブジェクト部、設計ルールベース部。
れた設計要求仕様のモジュールや、設計詳細化途中の中
間モジュールや、設計結果からなるモジュールを、ノー
ドとパスから構成されるネットワークで表現・保持・管
理する設計オブジェクト部と、 前記ノードとパスで構成されるネットワークを機能的に
等価変換して所与の目的レベルの構造に段階的に順次変
換する設計ルールを保持・管理する設計ルールベース部
と、 前記設計ルールの適用戦略を保持・管理する設計戦略部
と、 前記ノードとパスで構成されるネットワークで表現され
た設計要求仕様を入力し、設計結果を出力し、かつ、前
記設計ルールや前記設計戦略を入力する入出力部と、 前記設計オブジェクト部、設計ルールベース部。
設計戦略部、入出力部で実現される前記設計要求仕様を
、前記所与の目的レベルの構造へ前記設計ルールを適用
しながら設計合成する制御部とを備えることを特徴とし
ている。
、前記所与の目的レベルの構造へ前記設計ルールを適用
しながら設計合成する制御部とを備えることを特徴とし
ている。
本発明の設計エキスパートシステム構築方式は、設計の
入力要求仕様、設計の中間状態モジュール表現、設計結
果のモジュール表現を、ノードとパスで構成されるネッ
トワークで表現する専用言語と、そのモジュールネット
ワークを機能的に等価変換するためのルール表現言語を
提供することで、開発者が短期間で設計エキスパートシ
ステムを構築することを可能にする。
入力要求仕様、設計の中間状態モジュール表現、設計結
果のモジュール表現を、ノードとパスで構成されるネッ
トワークで表現する専用言語と、そのモジュールネット
ワークを機能的に等価変換するためのルール表現言語を
提供することで、開発者が短期間で設計エキスパートシ
ステムを構築することを可能にする。
ここで、モジュールネットワークでのノードには、入力
情報（ｉｎ） 、内部状態（ｉｎｔｅｒｎａｌ） ＋
出力情Ｆｌｉｐ （ｏｕｔ）、ステータス（ｓｔａｔｕ
ｓ）等が記述される。特に、出力情報は、入力情報と内
部状態の関数で、そのノードモジュールの機能を記述す
る。
情報（ｉｎ） 、内部状態（ｉｎｔｅｒｎａｌ） ＋
出力情Ｆｌｉｐ （ｏｕｔ）、ステータス（ｓｔａｔｕ
ｓ）等が記述される。特に、出力情報は、入力情報と内
部状態の関数で、そのノードモジュールの機能を記述す
る。
またパスには、ノード間の接続情報（ｃｏｎｎｅｃｔ）
＋ステータス（ｓｔａｔｕｓ）等が記述される。接読
情報は、ノード間の接続情報を記述する。但し、出力情
報の詳細記述等は、各分野固有の形式をとることができ
る。つまり、モジュールネットワークの基本的記述形式
の枠組みが提供される。
＋ステータス（ｓｔａｔｕｓ）等が記述される。接読
情報は、ノード間の接続情報を記述する。但し、出力情
報の詳細記述等は、各分野固有の形式をとることができ
る。つまり、モジュールネットワークの基本的記述形式
の枠組みが提供される。
一方、設計ルール記述用言語では、モジュールネットワ
ークの構造変換処理を行うための高機能関数（モジュー
ル分解、モジュールマージ等で、以後グラフ操作関数と
呼ぶ）が提供される。このグラフ操作関数は、各応用分
野毎にユーザがカスタマライズ化して利用できるので汎
用性がある。
ークの構造変換処理を行うための高機能関数（モジュー
ル分解、モジュールマージ等で、以後グラフ操作関数と
呼ぶ）が提供される。このグラフ操作関数は、各応用分
野毎にユーザがカスタマライズ化して利用できるので汎
用性がある。
つまり、ノード・パス記述の中でユーザ定義部（出力情
報の機能記述部等）に関する基本操作関数をユーザが定
義することにより、グラフ操作関数が起動すると、それ
に関連するユーザ定義部が必要に応じて変更される。
報の機能記述部等）に関する基本操作関数をユーザが定
義することにより、グラフ操作関数が起動すると、それ
に関連するユーザ定義部が必要に応じて変更される。
〔実施例］
次に、本発明の実施例について図面を参照して説明する
。
。
第１図は、本発明の一実施例を示すブロック図である。
図において、本発明の設計エキスパートシステム構築方
式１と中央処理部７とを示しており、設計エキスパート
システム構築方式１は、入力された設計要求仕様のモジ
ュールや、設計詳細化途中の中間モジュールや、設計結
果からなるモジュールを、ノードとパスから構成される
ネットワークで表現・保持・管理する設計オブジェクト
部６と、前記ノードとパスで構成されるネットワークを
機能的に等価変換して所与の目的レベルの構造に段階的
に順次変換する設計ルールを保持・管理する設計ルール
ベース部５と、前記設計ルールの適用戦略を保持・管理
する設計戦略部４と、前記ノードとパスで構成されるネ
ットワークで表現された設計要求仕様を入力し、設計結
果を出力し、かつ、前記設計ルールや前記設計戦略を入
力する入出力部３と、前記設計オブジェクト部６゜設計
ルールベース部５．設計戦略部４．入出力部３で実現さ
れる前記設計要求仕様を、前記所与の目的レベルの構造
へ前記設計ルールを適用しながら設計合成する制御部２
とを備えている。
式１と中央処理部７とを示しており、設計エキスパート
システム構築方式１は、入力された設計要求仕様のモジ
ュールや、設計詳細化途中の中間モジュールや、設計結
果からなるモジュールを、ノードとパスから構成される
ネットワークで表現・保持・管理する設計オブジェクト
部６と、前記ノードとパスで構成されるネットワークを
機能的に等価変換して所与の目的レベルの構造に段階的
に順次変換する設計ルールを保持・管理する設計ルール
ベース部５と、前記設計ルールの適用戦略を保持・管理
する設計戦略部４と、前記ノードとパスで構成されるネ
ットワークで表現された設計要求仕様を入力し、設計結
果を出力し、かつ、前記設計ルールや前記設計戦略を入
力する入出力部３と、前記設計オブジェクト部６゜設計
ルールベース部５．設計戦略部４．入出力部３で実現さ
れる前記設計要求仕様を、前記所与の目的レベルの構造
へ前記設計ルールを適用しながら設計合成する制御部２
とを備えている。
設計エキスパートシステム構築部１を実現する各部は、
中央処理部７との間にデータおよび制御情報等を転送す
る外部インタフェースとして中央制御インタフェース２
７と中央入出力インタフェース３７を有し、また各部の
相互間に、データおよび制御情報等を相互に転送する内
部インタフェースとし、制御入出力インタフェース２３
．制御戦略インタフェース２４９戦略ルールインタフェ
ース４５ルールオブジェクトインタフェース５６１戦略
入出力インタフェース３４．ルール入出力インタフェー
ス３５．オブジェクト入出力インタフェース３６をそれ
ぞれ有している。
中央処理部７との間にデータおよび制御情報等を転送す
る外部インタフェースとして中央制御インタフェース２
７と中央入出力インタフェース３７を有し、また各部の
相互間に、データおよび制御情報等を相互に転送する内
部インタフェースとし、制御入出力インタフェース２３
．制御戦略インタフェース２４９戦略ルールインタフェ
ース４５ルールオブジェクトインタフェース５６１戦略
入出力インタフェース３４．ルール入出力インタフェー
ス３５．オブジェクト入出力インタフェース３６をそれ
ぞれ有している。
以下、これら外部インタフェースと内部インクフェース
をインタフェースと称する。
をインタフェースと称する。
次に、本実施例の動作を、第２図から第４図を参照しな
がら説明する。なお、第２図から第４図は、第１図に示
された実施例の動作を示す図である。
がら説明する。なお、第２図から第４図は、第１図に示
された実施例の動作を示す図である。
まず、中央処理部７から、制御部２に対してインタフェ
ース２７を通して設計エキスパートシステム構築要求情
報が転送される。制御部２は、構築指示をインタフェー
ス２３を通して入出力部３に出す。入出力部３は、中央
処理部７からインタフェース３７を通して構築情報を受
は取り、その情報の内容に従って、設計戦略情報はイン
タフェース３４を通して設計戦略部４に、設計ルール情
報はインタフェース３５を通して設計ルールベース部５
に、設計オブジェクト（設計要求仕様）はインタフェー
ス３６を通して設計オブジェクト部６にそれぞれ渡され
る。
ース２７を通して設計エキスパートシステム構築要求情
報が転送される。制御部２は、構築指示をインタフェー
ス２３を通して入出力部３に出す。入出力部３は、中央
処理部７からインタフェース３７を通して構築情報を受
は取り、その情報の内容に従って、設計戦略情報はイン
タフェース３４を通して設計戦略部４に、設計ルール情
報はインタフェース３５を通して設計ルールベース部５
に、設計オブジェクト（設計要求仕様）はインタフェー
ス３６を通して設計オブジェクト部６にそれぞれ渡され
る。
この後、設計問題解決の実行は、中央処理部７から、制
御部２に実行命令が渡された後、制御部２からインタフ
ェース２４を介して設計戦略部４の指定された設計戦略
が起動される。この起動された設計戦略は、必要な設計
ルールの起動をインタフェース４５を通して設計ルール
ベース部５に命令する。設計ルールベース部５は、指定
された設計ルールをインタフェース５６を通して、前記
設計ルールが適用できるモジュールオブジェクトへの適
用を設計オブジェクト部６に依願する。設計オブジェク
ト部６は、前記設計ルールのモジュールオブジェクトへ
の適用を試み、適用可能であればルールを実行し、適用
不可能であれば適用せず、その結果をインタフェース５
６を通して設計ルールベース部５に知らせる。
御部２に実行命令が渡された後、制御部２からインタフ
ェース２４を介して設計戦略部４の指定された設計戦略
が起動される。この起動された設計戦略は、必要な設計
ルールの起動をインタフェース４５を通して設計ルール
ベース部５に命令する。設計ルールベース部５は、指定
された設計ルールをインタフェース５６を通して、前記
設計ルールが適用できるモジュールオブジェクトへの適
用を設計オブジェクト部６に依願する。設計オブジェク
ト部６は、前記設計ルールのモジュールオブジェクトへ
の適用を試み、適用可能であればルールを実行し、適用
不可能であれば適用せず、その結果をインタフェース５
６を通して設計ルールベース部５に知らせる。
以上の手順をくりかえし、指定された設計戦略（設計ル
ールの適用手順）が終了したとき、設計問題解決が終了
し、インタフェース２４を介して制御部２に知らされ、
制御部２はインタフェース２７を介して中央処理部７に
終了通知を行う。その後、中央処理部７から結果出力要
求が出されると、制御部２はインタフェース２３を介し
て入出力部３に設計結果の出力を命しる。
ールの適用手順）が終了したとき、設計問題解決が終了
し、インタフェース２４を介して制御部２に知らされ、
制御部２はインタフェース２７を介して中央処理部７に
終了通知を行う。その後、中央処理部７から結果出力要
求が出されると、制御部２はインタフェース２３を介し
て入出力部３に設計結果の出力を命しる。
以下、設計オブジェクトの表現例、設計ルールによるモ
ジュールの変換合成例、および、合成関数の実現例に関
して詳述する。
ジュールの変換合成例、および、合成関数の実現例に関
して詳述する。
まず、第２図において、第３図と第４図に示す設計ルー
ルの実行部で使われるグラフ操作関数の役割を説明し、
その後、そのグラフ操作関数の実現例を述べる。
ルの実行部で使われるグラフ操作関数の役割を説明し、
その後、そのグラフ操作関数の実現例を述べる。
第２図では、ノード、パスで表現された設計オブジェク
トノード（ｎｏｄｅ−１）がまず分解（ｄｅｃｏｍｐｏ
ｓｅ）されてｎｏｄｅ−３が生成された後、２つの設計
オブジェクトノード（ｎｏｄｅ−２とｎｏｄｅ−３）が
マージ（ｍｅｒｇｅ）され、最後に２つの設計オブジェ
クトノード（ｎｏｄｅ−１とｎｏｄｅ−４）が生成され
ることを示している。この一連の処理は、設計オブジェ
クト部６で、設計ルールが設計オブジェクトに適用され
るときに実行され゛る。
トノード（ｎｏｄｅ−１）がまず分解（ｄｅｃｏｍｐｏ
ｓｅ）されてｎｏｄｅ−３が生成された後、２つの設計
オブジェクトノード（ｎｏｄｅ−２とｎｏｄｅ−３）が
マージ（ｍｅｒｇｅ）され、最後に２つの設計オブジェ
クトノード（ｎｏｄｅ−１とｎｏｄｅ−４）が生成され
ることを示している。この一連の処理は、設計オブジェ
クト部６で、設計ルールが設計オブジェクトに適用され
るときに実行され゛る。
次に、第２図、第３図において、モジュールの分解（ｄ
ｅｃｏｍｐｏｓｅ）手順を説明する。第２図のｎｏｄｅ
ｌ （２０１）の分解操作（ｄｅｃｏｍｐｏｓｅ ｎｏ
ｄｅ−１（八（８：１）。
ｅｃｏｍｐｏｓｅ）手順を説明する。第２図のｎｏｄｅ
ｌ （２０１）の分解操作（ｄｅｃｏｍｐｏｓｅ ｎｏ
ｄｅ−１（八（８：１）。
ＡＮＤ、Ｂ（８：１） ｃｏｍｂｉｎａｔｉｏｎａｌ）
は、第３図の処理フローに従って実現される。つまり、
ｎｏｄｅ−１で部分スペック（Ａ（８：１）、八ＮＤ、
Ｂ（８：１））をもつ部分を切り出し、ｃｏｍｂｉｎａ
ｔｉｏｎａｌ のインスタンスとして分解する。これは
第３図で、分解処理がスタートしくステップ３０１）、
まず、第２図のｎｏｄｅ−１（２０１）が第４図の４０
２のｎｏｄｅに代入され、ｎｏｄｅ−１の１ｎｐａｔｈ
入力パス（Ｂ（８：１）、 Ａ（８：１）、 Ｆ（０：
８））がｏｌｄ−ｉｎｐａｔｈに代入される。また、ｎ
ｏｄｅ−１のｏｕ ｔｐａ ｔｈ出力パス（Ｇ（０：８
））がｏｌｄ−ｏｕｔｐａｔｈに代入され、ｃｏｍｂｉ
ｎａｔｉｏｎａｌがｃｌａｓｓに代入され、ｃｏｍｂｉ
ｎａｔｉｏｎａｌの新しいインスタンスがｎｅｗに代入
され、新しいパス（ｔｌ（０：１））が生成されｎｅｗ
ｐａｔｈに代入される（ステップ３０２）。
は、第３図の処理フローに従って実現される。つまり、
ｎｏｄｅ−１で部分スペック（Ａ（８：１）、八ＮＤ、
Ｂ（８：１））をもつ部分を切り出し、ｃｏｍｂｉｎａ
ｔｉｏｎａｌ のインスタンスとして分解する。これは
第３図で、分解処理がスタートしくステップ３０１）、
まず、第２図のｎｏｄｅ−１（２０１）が第４図の４０
２のｎｏｄｅに代入され、ｎｏｄｅ−１の１ｎｐａｔｈ
入力パス（Ｂ（８：１）、 Ａ（８：１）、 Ｆ（０：
８））がｏｌｄ−ｉｎｐａｔｈに代入される。また、ｎ
ｏｄｅ−１のｏｕ ｔｐａ ｔｈ出力パス（Ｇ（０：８
））がｏｌｄ−ｏｕｔｐａｔｈに代入され、ｃｏｍｂｉ
ｎａｔｉｏｎａｌがｃｌａｓｓに代入され、ｃｏｍｂｉ
ｎａｔｉｏｎａｌの新しいインスタンスがｎｅｗに代入
され、新しいパス（ｔｌ（０：１））が生成されｎｅｗ
ｐａｔｈに代入される（ステップ３０２）。
次に、ｎｏｄｅ−１のサブスペック （ｓｕｂｓｐｅｃ
：ここでは（Ａ（８：１）、ＡＮＤ、Ｂ（８：１））を
新しく生成したノードｎｅｗ （第２図のｎｏｄｅ−
３（２０４） ）の出力スペックとして、ｎｏｄｅ−１
とｎｏｄｅ−３の間を新しいパス（ＩＩ （０： １）
）’で接続し、ｎｏｄｅ−１の新しい出力スペック（Ｉ
Ｆ Ｈ（０：１） ＴＨＥＮ Ｆ（０：８） ＥＬＳＥ
Ｎ０ＣＩＩＡＮＧＥ）として、ｎｏｄｅ−３の出力ス
ペックを（Ａ（８：１）、ＡＮＤ、Ｂ（８：１））
とする（ステップ３０３）。
：ここでは（Ａ（８：１）、ＡＮＤ、Ｂ（８：１））を
新しく生成したノードｎｅｗ （第２図のｎｏｄｅ−
３（２０４） ）の出力スペックとして、ｎｏｄｅ−１
とｎｏｄｅ−３の間を新しいパス（ＩＩ （０： １）
）’で接続し、ｎｏｄｅ−１の新しい出力スペック（Ｉ
Ｆ Ｈ（０：１） ＴＨＥＮ Ｆ（０：８） ＥＬＳＥ
Ｎ０ＣＩＩＡＮＧＥ）として、ｎｏｄｅ−３の出力ス
ペックを（Ａ（８：１）、ＡＮＤ、Ｂ（８：１））
とする（ステップ３０３）。
次に、分解前のｎｏｄｅ−１（２０１）の入力パス（Ｂ
（８：１）、Ａ（８：１）、Ｆ（０：８））と、分解後
のｎｏｄｅ−１（２０３）とｎｏｄｅ−３（２０４）の
両方の入力パス（Ａ、Ｂ、Ｆ）との間での接続変更を行
う （ステップ３０４）。つまり、分解前はパスＡとＢ
はｎｏｄｅ−１に接続していたが、分解後はｎｏｄｅ−
３に入力パスとして接続される。ただし、入力パスＦは
分解前と同様にｎｏｄｅ−１に接続されたままである。
（８：１）、Ａ（８：１）、Ｆ（０：８））と、分解後
のｎｏｄｅ−１（２０３）とｎｏｄｅ−３（２０４）の
両方の入力パス（Ａ、Ｂ、Ｆ）との間での接続変更を行
う （ステップ３０４）。つまり、分解前はパスＡとＢ
はｎｏｄｅ−１に接続していたが、分解後はｎｏｄｅ−
３に入力パスとして接続される。ただし、入力パスＦは
分解前と同様にｎｏｄｅ−１に接続されたままである。
最後に、ｎｏｄｅ−１の出力パスの調整を行う （ステ
ップ３０５）。第２図の例ではｎｏｄｅ−１の出力パス
Ｇ（０：８）は、分解前後では変化しない。
ップ３０５）。第２図の例ではｎｏｄｅ−１の出力パス
Ｇ（０：８）は、分解前後では変化しない。
次に、第２図、第４図において、ｎｏｄｅ−３（２０４
）とｎｏｄｅ−２（２０５）をマージして、一つの設計
オブジェクｈ ｎｏｄｅ−４（２０７）にするマージ操
作について、その処理手順を説明する。実行される設計
ルールが、上記のｎｏｄｅ−３（２０４）とｎｏｄｅ−
２（２０５） とのマージ処理を要求する（ｍｅｒｇｅ
ｎｏｄｅ−３ｎｏｄｅ−２ｃｏｍｂｉｎａｔｉｏｎａｌ
）とき、マージ操作がスタートする（ステップ４０１）
。つまり、ｎｏｄｅ−３とｎｏｄｅ−２をマージし、新
しいノードをｃｏｍｂｉｎａｔｉｏｎａｌ のインスタ
ンスノードとする。まず、ｎｏｄｅ−３（２０４）
とｎｏｄｅ−２（２０５） の入力パスの和集合（Ａ、
Ｒ，Ｃ）をｏｌｄ−ｉｎｐａｔｈに代入し、ｎｏｄｅ−
３（２０４） とｎｏｄｅ−２（２０５）の出力パス
の和集合（Ｆ、Ｈ）をｏｌｄ−ｏｕｔｐａｔｈに代入し
、クラスｃｏｍｂｉｎａｔ。
）とｎｏｄｅ−２（２０５）をマージして、一つの設計
オブジェクｈ ｎｏｄｅ−４（２０７）にするマージ操
作について、その処理手順を説明する。実行される設計
ルールが、上記のｎｏｄｅ−３（２０４）とｎｏｄｅ−
２（２０５） とのマージ処理を要求する（ｍｅｒｇｅ
ｎｏｄｅ−３ｎｏｄｅ−２ｃｏｍｂｉｎａｔｉｏｎａｌ
）とき、マージ操作がスタートする（ステップ４０１）
。つまり、ｎｏｄｅ−３とｎｏｄｅ−２をマージし、新
しいノードをｃｏｍｂｉｎａｔｉｏｎａｌ のインスタ
ンスノードとする。まず、ｎｏｄｅ−３（２０４）
とｎｏｄｅ−２（２０５） の入力パスの和集合（Ａ、
Ｒ，Ｃ）をｏｌｄ−ｉｎｐａｔｈに代入し、ｎｏｄｅ−
３（２０４） とｎｏｄｅ−２（２０５）の出力パス
の和集合（Ｆ、Ｈ）をｏｌｄ−ｏｕｔｐａｔｈに代入し
、クラスｃｏｍｂｉｎａｔ。
１ｏｎａｌ の新しいインスタンスｎｏｄｅ−４（２０
７） Ｇｎｅｗに代入する（ステップ４０２）。
７） Ｇｎｅｗに代入する（ステップ４０２）。
次に、ｎｏｄｅ−３とｎｏｄｅ−２の２つの出力スペッ
クをマージし、新しいスペックをｎｅｗ ５ｐｅｃに代
入し、ｎｅＷノード（ｎｏｄｅ−４（２０７））の出力
スペックとする（ステップ４０３）。
クをマージし、新しいスペックをｎｅｗ ５ｐｅｃに代
入し、ｎｅＷノード（ｎｏｄｅ−４（２０７））の出力
スペックとする（ステップ４０３）。
次に、ｎｏｄｅ−３（２０４）とｎｏｄｅ−２（２０５
）との入力パスの和集合と、ｎｏｄｅ−４（２０７）の
入力パスとの調整を行い、入力パスの整合性をとり、同
様に、ｎｏｄｅ−４（２０７）の出力パスの調整を行う
（ステップ４０４）。
）との入力パスの和集合と、ｎｏｄｅ−４（２０７）の
入力パスとの調整を行い、入力パスの整合性をとり、同
様に、ｎｏｄｅ−４（２０７）の出力パスの調整を行う
（ステップ４０４）。
最後に、ｎｏｄｅ−３（２０４） とｎｏｄｅ−２（
２０５）は不要となったので、活性から非活性にして、
合成設計の対象からはずす（ステップ４０５）。
２０５）は不要となったので、活性から非活性にして、
合成設計の対象からはずす（ステップ４０５）。
以上でマージ処理を終了する（ステップ４０６）。
以上説明したように本発明は、設計オブジェクトをノー
ドとパスから構成されるネットワークで表現し、設計オ
ブジェクトの合成操作をノードとパス上での機能等価変
換するグラフ操作関数を提供することで、設計ルールの
記述が容易となり、また、設計エキスパートシステムの
機能拡張、メンテナンスに必要な工数を大幅に削減でき
るという効果がある。
ドとパスから構成されるネットワークで表現し、設計オ
ブジェクトの合成操作をノードとパス上での機能等価変
換するグラフ操作関数を提供することで、設計ルールの
記述が容易となり、また、設計エキスパートシステムの
機能拡張、メンテナンスに必要な工数を大幅に削減でき
るという効果がある。
第１図は、本発明の一実施例を示すブロック図、第２図
は、ノードとパスからなるネットワーク上のグラフ操作
関数例（分解とマージ）を説明する図、 第３図は、分解操作関数の処理フローを示す図、第４図
は、 図である。 １・・ ２・・ ３・・ ４・・ ５・・ ６・・ ７・ ２３、２４゜ マージ操作関数の処理フロ゛−を示す ・・設計エキスパートシステム部 ・・制御部 ・・入出力部 ・・設計戦略部 ・・設計ルールベース部 ・・設計オブジェクト部 ・中央処理部 ２７、３４．３５ ４５４６・・・・・インタフェース
は、ノードとパスからなるネットワーク上のグラフ操作
関数例（分解とマージ）を説明する図、 第３図は、分解操作関数の処理フローを示す図、第４図
は、 図である。 １・・ ２・・ ３・・ ４・・ ５・・ ６・・ ７・ ２３、２４゜ マージ操作関数の処理フロ゛−を示す ・・設計エキスパートシステム部 ・・制御部 ・・入出力部 ・・設計戦略部 ・・設計ルールベース部 ・・設計オブジェクト部 ・中央処理部 ２７、３４．３５ ４５４６・・・・・インタフェース
Claims (1)
- （１）入力された設計要求仕様のモジュールや、設計詳
細化途中の中間モジュールや、設計結果からなるモジュ
ールを、ノードとパスから構成されるネットワークで表
現・保持・管理する設計オブジェクト部と、 前記ノードとパスで構成されるネットワークを機能的に
等価変換して所与の目的レベルの構造に段階的に順次変
換する設計ルールを保持・管理する設計ルールベース部
と、 前記設計ルールの適用戦略を保持・管理する設計戦略部
と、 前記ノードとパスで構成されるネットワークで表現され
た設計要求仕様を入力し、設計結果を出力し、かつ、前
記設計ルールや前記設計戦略を入力する入出力部と、 前記設計オブジェクト部、設計ルールベース部、設計戦
略部、入出力部で実現される前記設計要求仕様を、前記
所与の目的レベルの構造へ前記設計ルールを適用しなが
ら設計合成する制御部とを備えることを特徴とする設計
エキスパートシステム構築方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63208200A JPH0258131A (ja) | 1988-08-24 | 1988-08-24 | 設計エキスパートシステム構築方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63208200A JPH0258131A (ja) | 1988-08-24 | 1988-08-24 | 設計エキスパートシステム構築方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0258131A true JPH0258131A (ja) | 1990-02-27 |
Family
ID=16552321
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP63208200A Pending JPH0258131A (ja) | 1988-08-24 | 1988-08-24 | 設計エキスパートシステム構築方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0258131A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US11403270B2 (en) | 2018-06-22 | 2022-08-02 | Nec Corporation | System configuration derivation device, method, and program |
| US11561770B2 (en) | 2018-05-07 | 2023-01-24 | Nec Corporation | System configuration derivation device and system configuration derivation method |
-
1988
- 1988-08-24 JP JP63208200A patent/JPH0258131A/ja active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US11561770B2 (en) | 2018-05-07 | 2023-01-24 | Nec Corporation | System configuration derivation device and system configuration derivation method |
| US11403270B2 (en) | 2018-06-22 | 2022-08-02 | Nec Corporation | System configuration derivation device, method, and program |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Srinivasan | Design patterns in object-oriented frameworks | |
| WO2011035574A1 (zh) | 工作流管理系统及实现工作流定义工具的方法 | |
| Chua et al. | Process-parameter-interface model for design management | |
| Li et al. | Extensible discrete-event simulation framework in SimEvents | |
| US20040215586A1 (en) | Automatic knowledge creating method, program therefor, automatic designing method and its system | |
| Saeki et al. | A method for software process modeling and description using LOTOS | |
| JPH0258131A (ja) | 設計エキスパートシステム構築方式 | |
| JPH03116281A (ja) | 論理合成装置 | |
| JP2607467B2 (ja) | 表変換型ソフトウエア構成方式 | |
| CN111552459B (zh) | 业务编排流程化管理系统及方法 | |
| CN113642147B (zh) | 一种支持复杂系统设计和仿真的统一建模方法 | |
| Vazirpanah et al. | Ros-based co-simulation for formal cyber-physical robotic system design | |
| Wang et al. | Hammer: Enabling reusable physical design | |
| Podlubne et al. | Modeling FPGA-based Architectures for Robotics | |
| Hudson et al. | Simplification of semantically-rich model transformations through generated transformation blocks | |
| Spanoudakis et al. | An agent modeling language implementing protocols through capabilities | |
| Bardaro et al. | Modelling robot architectures with AADL | |
| JPH07121357A (ja) | 並行プログラム系生成方式と装置 | |
| Liang et al. | Automatic prototype generating via optimized object model | |
| Maiden et al. | Integrating RE methods to support use case based requirements specification | |
| JP2551944B2 (ja) | 図的言語処理システム | |
| Buchenrieder et al. | Industrial HW/SW Co-Design | |
| Bass | Proposals toward an integrated design environment for complex embedded systems | |
| Barbacci et al. | Some aspects of the symbolic manipulation of computer descriptions | |
| Cassaro et al. | A prototype for KYBAS: the Kentucky Bridge Analysis System |