JPH0475134A - ファイル管理装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 ［産業上の利用分野］ この発明はファイル管理装置に関し、特に、ファイルを
記憶し、外部から与えられる命令に基づいてその記憶さ
れたファイルにアクセスを行なうファイル管理装置に関
する。

［従来の技術］ 一般に、ファイル管理装置は、複数のファイルを記憶す
るディスクおよびそのディスクにアクセスを行なうため
のディスク駆動装置から構成される。従来のファイル管
理装置おいては、それを利用する情報処理装置から読出
し命令および書込み命令を与えることにより、レコード
単位でファイルの読出しおよび書込みが実行される。

［発明が解決しようとする課題］ 従来のファイル管理装置を用いたシステムにおいて、た
とえばリスト構造を有するデータを取り扱う場合には、
そのファイル管理装置を利用する情報処理装置の側でリ
スト構造の追加、挿入、削除などのデータ構造操作のた
めのプログラムを準備する必要がある。この場合、ファ
イル管理装置からデータを読出し、そのデータに対して
データ構造の操作を行ない、そのデータを再びファイル
管理装置のディスクに格納するという処理が行なわれる
。また、複数の情報処理装置が１つのファイル管理装置
を共用する場合にも、それぞれの情報処理装置にデータ
構造操作のためのプログラムが必要となる。したがって
、ソフトウェアの開発効率が悪いという問題がある。

また、１つのファイル管理装置を利用して複数の処理系
を開発する場合にも、それぞれの処理系にデータ構造操
作の機能が必要となる。この場合、１つの処理系がファ
イル管理装置内のデータのデータ構造を操作した後、他
の処理系がそのデータのデータ構造を操作する場合には
、１つの処理系におけるデータ構造操作が終了するまで
他の処理系におけるデータ構造操作は待機しなければな
らない。このように、１つの処理系におけるデータ構造
操作のプログラムと他の処理系におけるデータ構造操作
のプログラムとは、互いに依存しあっている。したがっ
て、複数の処理系を独立に開発することには困難が伴う
。

この発明の目的は、データの構造を操作する機能を有す
るファイル管理装置を提供することである。

［課題を解決するための手段］ この発明に係るファイル管理装置は、複数のデータを識
別子とともに記憶する記憶手段と、所定の命令に応答し
て記憶手段に記憶されたデータの構造を識別子を用いて
操作するデータ構造操作手段とを備える。

［作用コ この発明に係るファイル管理装置は、データとともに記
憶された識別子を用いてデータの構造を操作する機能を
有する。したがって、そのファイル管理装置を利用する
装置または処理系が所定の命令を与えるだけで、データ
構造操作がファイル管理装置内で行なわれる。

［実施例］ 以下、この発明の実施例を図面を参照しながら詳細に説
明する。

第１図はこの発明の一実施例によるファイル管理装置の
構成を示すブロック図である。

ファイル管理装置１０１は、ファイル記憶部１０２、操
作部１０３および入出力部１０４を含む。

入出力部１０４には、１または複数の情報処理装置１０
５が接続される。ファイル記憶部１０２には複数のデー
タ含む複数のファイルが記憶される。

操作部１０３は入出力部１０４を介して与えられる命令
に基づいてファイル記憶部１０２内の各ファイルにアク
セスを行なう機能を有するとともに、各ファイル内のデ
ータのデータ構造を操作する機能を有する。人出力部１
０４は、情報処理装置１０５から与えられる各種命令お
よびデータを操作部１０３に入力するとともに、操作部
１０３から出力されるデータを情報処理装置１０５に与
える。

第２図は、第１図に示されるファイル管理装置１０１の
ハードウェアの構成を示すブロック図である。ディスク
１０６には複数のファイルが記憶される。ディスク駆動
装置１０７は、ディスク１０６を駆動し、制御回路１０
８から与えられる制御信号に応答してディスク１０６内
の各ファイルにアクセスを行なう。制御回路１０８は、
主としてＩ１０インタフェース１１０、プロセッサ１１
１およびメモリ１１２から構成される。メモリ１１２に
は以下に示す複数の機能を実行するためのプログラムが
格納される。プロセッサ１１１はメモリ１１２に格納さ
れるプログラムを実行し、１１０インタフエース１１０
を介してディスク駆動装置１０７に制御信号を与える。

入出力回路１０９は、制御回路１０８と外部の情報処理
装置とのインタフェースとして働く。ディスク１０６が
ファイル記憶部１０２を構成し、ディスク駆動装置１０
７、制御回路１０８および制御回路１０８内のメモリ１
１２に記憶されるプログラムが操作部１０３を構成する
。また、入出力回路１０９が入出力部１０４を構成する
。

ｉ３図はファイル記憶部１０２に記憶されるファイルの
構成を概念的に示す図である。

第３図には、２つのファイル１２１．１２２のみが示さ
れている。各ファイルにはファイル名が付されている。

たとえば、ファイル１２１にはファイル名ｆ　ｎ　ａｍ
ｅ　１が与えられ、ファイル１２２にはファイル名ｆ　
ｎ　ａｍｅ　２が与えられている。

各ファイルは複数の要素ｅからなるデータ構造または１
つの要素ａからなるアトミックなデータを含む。

各ファイル内の各データ構造またはアトミックなデータ
にはデータ構造識別子が与えられている。

たとえば、ファイル１２１内のデータ構造１２３にはデ
ータ構造識別子ｄｉｄｌが与えられ、デー夕構造１２４
にはデータ構造識別子ｄｉｄ２が与えられている。同様
に、ファイル１２２内のデータ構造１２５にはデータ構
造識別子ｄｉａｌが与えられ、アトミックなデータ１２
６にはデータ構造識別子ｄｉｄ２が与えられている。

ｐｏｓは各データ構造内の各要素の位置（データ位置）
を示している。また、５ｉｚｅは各データ構造内の各要
素ｅの要素サイズを示している。

たとえば、データ構造１２３の要素サイズ５ｉｚｅは３
であり、データ構造１２４の要素サイズ５ｉｚｅは４で
ある。ｎｕｍは各データ構造に含まれる要素数を示して
いる。たとえば、データ構造１２３の要素数ｎｕｍは４
であり、データ構造１２４の要素数ｎｕｍは３である。

第４図はファイル記憶部２の記憶内容を示す図である。

第４図に示すように、ファイル記憶部２には、各データ
構造ごとに、ファイル名ｆｎａｍｅ、データ構造識別子
ｄｉｄ、要素数ｎｕｍ、要素サイズ５ｉｚｅ、現在のデ
ータ位置１）Ｉ）０８％および各要素の内容ｄａｔａが
記憶されている。現在のデータ位置ｐｐｏｓは、ファイ
ルがオーブンされたときに０に設定され、その後のデー
タ構造操作により変化する。

第５図〜第２７図は、操作部１０３の機能を説明するた
めのフローチャートである。操作部１０３の機能は、制
御回路１０８内のメモリ１１２に記憶されるプログラム
により達成される。

まず、外部の情報処理装置１０５から入出力部１０４を
介して操作部１０３に機能名が入力される（第５図のス
テップＳｌ）。操作部１０３は、その機能名に基づいて
以下の（１）〜（２２）の機能のうちいずれかを選択し
、その機能を実行する（ステップＳ２．Ｓ３）。データ
構造操作の処理を続ける場合には、ステップＳ１に戻る
（ステップＳ４）。

次に、操作部１０３により行なわれるデータ構造操作の
処理を第６図〜第２７図を参照しながら説明する。

（１）　データ構造のオーブン（第６図参照）入出力部
１０４を介して操作部１０３に、アクセスの対象となる
ファイルのファイル名ｆｎａｍｅを入力する（ステップ
Ｓ５）。このファイル名ｆｎａｍｅは文字列により表わ
される。操作部１０３はファイル名ｆｎ　ａｍｅにより
識別されるファイルにアクセスするための論理的なファ
イル識別子ｆｉｄを出力する（ステップＳ６）。このフ
ァイル識別子ｆｉｄは整数からなる。

たとえば、第３図において、ファイル名ｆｎａｍｅｌに
より識別されるファイル１２１が最初にオーブンされ、
次にファイル名ｆｎａｍｅ２により識別されるファイル
１２２がオーブンされると、ファイル１２１にファイル
識別子ｆｉｄｌが与えられ、ファイル１２２にファイル
識別子ｆｉｄ２が与えられる。また、ファイル１２２が
最初にオーブンされると、ファイル１２２にファイル識
別子ｆｉｄｌが与えられる。

（２）　データ構造の保存（第７図参照）この機能は、
アクセスの対象となっているファイルを保存するために
用いられる。保存すべきファイルのファイル識別子ｆｉ
ｄを入力する（ステップＳ７）。操作部１０３は、ファ
イル識別子ｆｉｄにより識別されるファイルへのアクセ
スを終了する（ステップＳ８）。これにより、そのファ
イルが保存される。

（３）　データ構造識別子の獲得（第８図参照）この機
能は、あるファイル中に新たなデータ構造を生成する場
合に用いられる。ファイル識別子ｆｉｄおよび要素サイ
ズ５ｉｚｅを入力する（ステップＳ９）。操作部１０３
は、ファイル識別子ｆｉｄにより識別されるファイルを
検索する（ステップ５１０）。そして、操作部１０３は
、そのファイル内において、要素サイズ５ｉｚｅのデー
タ領域を１個の要素とする配列を識別するためのデータ
構造識別子ｄｉｄを出力する（ステップ５１１）。　　
（４）　データ構造の追加［１］　（第９Ａ図参照） この機能は、あるデータ構造の末尾に新たな要素を追加
する場合に用いられる。ファイル識別子ｆ　ｉ　ｄ、デ
ータ構造識別子ｄｉｄ、追加すべき要素数ｎｕｍおよび
追加すべき要素の内容ｄａｔａを人力する（ステップ５
１２）。操作部１０３は、ファイル識別子ｆｉｄにより
識別されるファイル内において、データ構造識別子ｄｉ
ｄにより識別されるデータ構造を検索する（ステップ５
１３）。

そして、操作部１０３は、検索されたデータ構造の末尾
にｄａｔａにより示される内容のｎｕｍ個の要素を追加
する（ステップ５１４）。

たとえば、第９Ｂ図に示すように、データ構造識別子ｄ
ｉｄにより識別されるデータ構造１３１の末尾に３つの
要素１３２が追加される。これにより、データ構造１３
１はデータ構造１３３に変更される。

（５）　データ構造の挿入［１］　（第１０Ａ図参照） この機能は、データ構造内の所望の位置に新たな要素を
挿入する場合に用いられる。ファイル識別子ｆｔｄ、デ
ータ構造識別子ｄ　ｉ　ｃＬ挿入すべき要素数ｎｕｍ、
挿入すべきデータ位置ｐｏｓおよび挿入すべき要素の内
容ｄａｔａを入力する（ステップ５１５）。操作部１０
３は、ファイル識別子ｆｉｄおよびデータ構造識別子ｄ
ｉｄにより識別されるデータ構造を検索しくステップ５
１６）、そのデータ構造内においてｐｏｓにより指定さ
れるデータ位置を検索する（ステップ５１７）。そのデ
ータ位置に、ｄａｔａにより示される内容のｎｕｍ個の
要素を挿入する（ステップ５１８）たとえば、第１０Ｂ
図に示すように、データ構造１３４のデータ位置ｐｏｓ
−２に３つの要素１３５を挿入すると、データ構造１３
４はデータ構造１３６に変更される。

（６）　データ構造の削除（第１１Ａ図参照）ファイル
識別子ｆｉｄｘデータ構造識別子ｄｉｄ１削除すべき要
素数ｎｕｍおよび削除すべきデータ位置ｐｏｓを入力す
る（ステップ５１９）。

操作部１０３は、ファイル識別子ｆｉｄおよびデータ構
造識別子ｄｉｄにより識別されるデータ構造において、
ｐｏｓにより指定されるデータ位置を検索する（ステッ
プＳ２０，５２ｉ）。そのデータ位置からｎｕｍ個の要
素を削除する（ステップ５２２）。

たとえば、第１１Ｂ図に示すように、ｐｏｓ−１、ｎｕ
ｍｍ２の場合、４つの要素からなるデータ構造１３７は
、データ構造削除の後には２つの要素からなるデータ構
造１３８になる。

（７）　データ構造の読出しく第１２Ａ図参照）ファイ
ル識別子ｆｉｄ、データ構造識別子ｄｉｄ１読出すべき
要素数ｎｕｍおよび読出すべきデータ位置ｐｏｓを入力
する（ステップ８２３）。

操作部１０３は、ファイル識別子ｆｉｄおよびデータ構
造識別子ｄｉｄにより識別されるデータ構造において、
ｐｏｓにより指定されるデータ位置を検索する（ステッ
プＳ２４，５２５）。操作部１０３は、そのデータ位置
からｎｕｍ個の要素を読出す（ステップ５２６）。

たとえば、第１２Ｂ図に示すように、ｐｏｓｍｌ、ｎｕ
ｍｓｍ２の場合、データ構造１３９からデータ１４０が
読出される。

（８）　データ構造の書込み（第１３Ａ図参照）ファイ
ル識別子ｆｉｄ、データ構造識別子ｄｉｄ１書込むべき
要素数ｎｕｍ、書込むべきデータ位置ｐｏｓおよび書込
むべき要素の内容ｄａｔａを入力する（ステップ５２７
）。操作部１０３は、ファイル識別子ｆｉｄおよびデー
タ構造識別子ｄｉｄにより識別されるデータ構造におい
て、ｐｏｓにより指定されるデータ位置を検索する（ス
テップ３２８，５２９）。操作部１０３は、そのデータ
位置からｄａｔａにより示される内容のｎｕｍ個の要素
を書込む（ステップ５３０）。これにより、それらの要
素の内容が更新される。

たとえば、第１３Ｂ図に示すように、ｐｏｓ−１、ｎｕ
ｍ−２の場合、データ構造１４１のデータ位置ｐｏｓ−
１およびｐｏｓ−２の要素が１４２で示される要素で更
新され、データ構造１４１はデータ構造１４３となる。

（９）　データ構造の追加［２］　（第１４Ａ図参照） 追加される側のファイル識別子ｆｉｄｌ、追加される側
のデータ構造識別子ｄｉａｌ、追加する側のファイル識
別子ｆｉｄ２および追加する側のデータ構造識別子ｄｉ
ｄ２を入力する（ステップ５３１）。操作部１０３は、
ファイル識別子ｆｉｄ１およびデータ構造識別子ｄｉａ
ｌにより識別される第１のデータ構造を検索する（ステ
ップ５３２）。また、操作部１０３は、ファイル識別子
ｆｉｄ２およびデータ構造識別子ｄｉｄ２により識別さ
れる第２のデータ構造を検索する（ステ、。

ブ５３３）。そして、操作部１０３は、第１のデータ構
造の末尾に第２のデータ構造を追加する（ステップ５３
４）。この場合、第２のデータ構造の要素数は０になる
。

たとえば、第１４Ｂ図に示すように、第１のデータ構造
１４４の末尾に第２のデータ構造１４５が追加され、デ
ータ構造１４４はデータ構造１４６となる。

（１０）　データ構造の挿入し２］　（第１５Ａ図参照
） 挿入される側のファイル識別子ｆｉｄｌ、挿入される側
のデータ構造識別子ｄｉａｌ、挿入する側のファイル識
別子ｆｉｄ２、挿入する側のデータ構造識別子ｄｉｄ２
および挿入すべきデータ位置ｐｏｓを入力する（ステッ
プ５３５）。操作部１０３は、ファイル識別子ｆｉｄｌ
およびデータ構造識別子ｄｉｄｌにより識別される第１
のデータ構造において、ｐｏｓにより指定されるデータ
位置を検索する（ステップＳ３６．　８３７）。また操
作部１０３は、ファイル識別子ｆｉｄ２およびデータ構
造識別子ｄｉｄ２により識別される第２のデータ構造を
検索する（ステップ５３８）。

そして、操作部１０３は第１のデータ構造の指定された
データ位置に第２のデータ構造を挿入する（ステップ５
３９）。この場合、第２のデータ構造の要素数は０にな
る。

たとえば、第１５Ｂ図に示すように、ｐｏｓｅ”２の場
合、第１のデータ構造１４７のデータ位置１）０８２に
第２のデータ構造１４８が挿入され、データ構造１４７
はデータ構造１４９となる。

（１１）　データ構造の複製（第１６図参照）複製元の
ファイル識別子ｆｉｄｌ、複製元のデータ構造ｄｉｄｌ
および複製先のファイル識別子ｆｉｄ２を人力する（ス
テップ５４０）。操作部１０３は、ファイル識別子ｆｉ
ｄｌおよびデータ構造識別子ｄｉａｌにより識別される
第１のファイル内のデータ構造を検索する（ステップ５
４１）。また、操作部１０３は、ファイル識別子ｆｉｄ
２により識別される第２のファイルを検索する（ステッ
プ５４２）。そして、操作部１０３は、ファイル識別子
ｆ　ｉｄｌおよびデータ構造識別子ｄｉｄｌにより識別
されたデータ構造を第２のファイル内に複製し、複製さ
れたデータ構造に対するデータ構造識別子ｄｉｄ２を出
力する（ステップ８４３．８４４）。

（１２）　データ構造の探索（第１７図参照）この機能
は、特定のデータを探索する場合に用いられる。ファイ
ル識別子ｆｉｄ、データ構造識別子ｄ　ｉ　ｄ、比較す
るデータの内容ｄａｔａおよび比較されるマスクパター
ンの内容量ａｓｋを入力する（ステップ５４５）。操作
部１０３は、ファイル識別子ｆｉｄおよびデータ構造識
別子ｄｉｄにより識別されるデータ構造を検索しくステ
ップ５４６）　、ｐｐｏｓにより示される現在のデータ
位置（第４図参照）から各要素の内容を順次読出す（ス
テップ５４７）。さらに、操作部１０３は読出されたデ
ータ構造の各要素の内容とマスクパターンの各要素の内
容との論理積をとることにより、読出されたデータ構造
をマスクしくステップ５４８）、マスクされたデータ構
造と入力されたデータの内容ｄａｔａとを比較しくステ
ップ５４９）、一致するものが存在した場合は比較結果
としてその要素位置を出力し、一致しなかった場合は比
較結果として−１を出力する（ステップ５５０）。

（１３）　データ構造の消去（第１８図参照）ファイル
識別子ｆｉｄおよびデータ構造識別子ｄｉｄを入力する
（ステップ５５１）。操作部１０３は、ファイル識別子
ｆｉｄおよびデータ構造識別子ｄｉｄにより識別される
データ構造を検索しくステップ５５２）、そのデータ構
造を消去する（ステップ５５３）。

（１４）　データ構造の現在位置の通知（第１９図参照
） この機能は、各データ構造ごとに与えられる現在のデー
タ位置ｐｐｏｓ　（第４図参照）の内容を通知する場合
に用いられる。ファイル識別子ｆｉｄおよびデータ構造
識別子ｄｉｄを入力する（ステップ５５４）。操作部１
０３は、ファイル識別子ｆｉｄおよびデータ構造識別子
ｄｉｄにより識別されるデータ構造を検索しくステップ
５５５）、そのデータ構造に設定されている現在のデー
タ位置ｐｐｏｓを出力する（ステップ５５６）。

なお、データ構造の挿入、削除、読出しおよび書込みに
おいて、ｐｏｓが−１に設定されると、対象となるデー
タ構造に対して設定されている現在のデータ位置ｐｐｏ
ｓを基準としてそれらの操作が行なわれる。上記の（４
）〜（１２）の機能が実行されると、対象となるデータ
構造に対応する現在のデータ位置ｐｐｏｓの内容は変化
する。

（１５）　データ構造の現在位置の変更（第２０図参照
） ファイル識別子ｆｉｄ、データ構造識別子ｄｉｄ、デー
タ位置の変更量ｏｆｆｓｅｔおよび基準位置を示すモー
ドｍｏｄｅを入力する（ステップ５５７）。操作部１０
３は、ファイル識別子ｆｉｄおよびデータ構造識別子ｄ
ｉｄにより識別されるデータ構造を検索し、そのデータ
構造に対して設定されている現在のデータ位置ｐｐｏｓ
の内容を基準位置から０ｆｆｓｅｔだけ離れた値に変更
する（ステップ８５ｇ、５５９）。

基準位置は、ｍｏｄｅ−０の場合はデータ構造の先頭位
置であり、ｍｏｄｅ−１の場合はｐｐ。

Ｓにより示される現在のデータ位置であり、ｍ。

ｄｅ−２の場合はデータ構造の末尾位置である。

（１６）　データ構造の要素数の獲得（第２１図参照） ファイル識別子ｆｉｄおよびデータ構造識別子ｄｉｄを
入力する（ステップ５６０）。操作部１０３は、ファイ
ル識別子ｆｉｄおよびデータ構造識別子ｄｉｄにより識
別されるデータ構造を検索し、そのデータ構造に含まれ
る要素数ｎｕｍを出力する（ステップ８６１，８６２）
。

（１７）　データ構造の要素サイズの獲得（第２２図参
照） ファイル識別子ｆｉｄおよびデータ構造識別子ｄｉｄを
入力する（ステップ８６３）。操作部１０３は、ファイ
ル識別子ｆｉｄおよびデータ構造識別子ｄｉｄにより識
別されるデータ構造を検索し、そのデータ構造の要素サ
イズ５ｉｚｅを出力する（ステップ８６４．８６５）。

（１８）　データ構造数の獲得（第２３図参照）ファイ
ル識別子ｆｉｄを入力する（ステップ５６６）。操作部
１０３は、ファイル識別子ｆｉｄにより識別されるファ
イルを検索し、そのファイルに含まれるデータ構造の数
を出力する（ステップＳ６７．８６８）。

（１９）　アトミックなデータの生成（第２４図参照） ファイル識別子ｆｉｄ、アトミックなデータの要素サイ
ズ５ｉｚｅおよび生成すべき要素の内容ｄａｔａを入力
する（ステップ５６９）。操作部１０３は、ファイル識
別子ｆｉｄにより識別されるファイルを検索し、そのフ
ァイル内に要素サイズ５ｉｚｅのデータ領域を確保し、
その領域にｄａｔａにより示される内容を書込む（ステ
ップＳ７０．５７１）。そして、操作部１０３は、確保
されたデータ領域を識別するためのデータ構造識別子ｄ
ｉｄを出力する（ステップ５７２）。

（２０）　アトミックデータの読出しく第２５図参照） ファイル識別子ｆｉｄおよびデータ構造識別子ｄｉｄを
入力する（ステップ５７３）。操作部１０３は、ファイ
ル職別子ｆｉｄおよびデータ構造識別子ｄｉｄにより識
別されるアトミックなデータを検索し、そのデータの内
容を読出す（ステップ５７４，８７５）。

（２１）　アトミックなデータの書込み（第２６図参照
） ファイル識別子ｆｔｄｓデータ構造識別子ｄｉｄおよび
書込むべきデータの内容ｄａｔａを入力する（ステップ
５７６）。操作部１０３は、ファイル識別ｆｉｄおよび
データ構造識別子ｄｉｄにより識別されるアトミックな
データを検索し、そのデータにｄａｔａにより示される
内容を書込む（ステップＳ７７．５７ｇ）。

（２２）　アトミックなデータの消去（第２７図参照） ファイル識別子ｆｉｄおよびデータ構造識別子ｄｉｄを
入力する（ステップ５７９）。操作部１０３は、ファイ
ル識別子ｆｉｄおよびデータ構造識別子ｄｉｄにより識
別されるアトミックなデータを検索し、そのデータを消
去する（ステップＳ８０．５８１）− 上記の機能（１）〜（２２）により、各ファイルに含ま
れる各データ構造またはアトミックなデータの構造を操
作することができる。このようなデータ構造の操作は、
ファイル管理装置１０１に外部から機能名を与えるだけ
で行なうことができるので、このファイル管理装置１０
１を利用する情報処理装置または処理系の側でデータ構
造操作のためのプログラムを準備する必要はない。その
ため、ファイル管理装置１０１を利用する情報処理装置
または処理系においてデータ構造操作の実現方式に関知
する必要がなくなり、ソフトウェア開発の効率が向上す
る。

また、各処理系間のインタフェースがファイル管理装置
を介して明確になるため、取り扱うデータの構造さえ決
定すれば、各処理系の並列開発が可能になるとともに、
各処理系の独立性を高めることができる。したがって、
各処理系を高機能なものと置換えることが可能になる。

第２８図は、この実施例のファイル管理装置を用いたプ
ログラム開発装置の全体の構成を示すブロック図である
。

このプログラム開発装置によれば、次に示す仕様記述環
境が実現される。

■　与えられた問題を、複数の図形表現形式を用いて多
面的に記述することができる。

■　複数の表現形式間における仕様記述情報の関係付け
を行なうことができる。

■　表現形式間の相互変換を行なうことができる。

■　階層的な記述を行なうことができる。

■　部分的に完結した仕様記述の実行結果を確認するこ
とができる。

■　部分的に完結した仕様記述を部品化・再利用するこ
とができる。

このプログラム開発装置は、各々が異なる表現形式に従
った描画・編集機能を備える園内エディタＥ１〜Ｅｎと
、利用者から与えられた仕様記述に従ってプログラムを
作成する本体装置１とを含む。

本体装置１内の統合ファイル管理装置ＵＦとして上記実
施例のファイル管理装置１０１を用いることができる 図形エディタＥ１〜Ｅｎの各々は、好ましくは個々独立
のプロセスで実現され、各図形エディタＥ１〜Ｅｎは本
体装置１と通信可能である。ここで図形エディタＥ１〜
Ｅｎの各々と本体装置１との間が通信可能であるのは、
プログラム開発の容易性および将来の機能拡張を考慮し
、それぞれの図形エディタＥ１〜Ｅｎのプロセスと本体
装置１とがたとえばソケットを用いたプロセス間通信で
結合されているからである。

図形エディタＥ１〜Ｅｎが与える表現形式は、図形表現
形式および非手続的な記述形式を含む。

図形表現形式は、機能ブロック図およびシーケンスチャ
ート等の表現形式を含む。

機能ブロック図は、第２８図に示すようにモジュール（
ソフトウェアにおいて、ある意味的にまとまりを持った
単位）間の接続関係を表現する表現形式である。

第２９図は機能ブロック図を用いた仕様記述形式の一例
を示す図である。第２９図においては、外部モジュール
１０と内部モジュール１１との間のデータ接続関係が示
される。外部モジュール］Ｏは、仕様記述対象外の外部
の機能を表現するモジュールである。内部モジュール１
１は、仕様記述対象の機能を表現するモジュールである
。この外部モジュール１０と内部モジュール１１との間
においてはデータアーク１２によりそのデータの洸れが
入出力ポートＰ１〜Ｐ４とともに規定される。

この内部モジュールはプリミティブ、部品（部分的に完
結した仕様記述であり、ファイルに登録される）を含む
。

シーケンスチャートは、第３０図に示すように入出力デ
ータの因果関係およびモジュール間のデータ送受の関係
等を示す図である。第３０図においては外部モジュール
１０と内部モジュール１１との間のデータの流れを示す
。このシーケンスチャートにおいては、モジュールとそ
のポートとは１本の順序線（縦線）により示される。順
序線は時間軸を示しており、信号が流れる時間的関係を
も表わす。このモジュール１０．１１間のデータの流れ
は信号線１３により表わされる。この信号線１３により
、モジュール間のデータの接続関係および因果関係が示
される。

非手続的な記述形式は、関係表、決定表などの表形式で
示される表現形式を含む。関係表は、第３１図に示すよ
うに関係データ構造を示す。第３１図において、関係表
は、表の名称を表示する領域１４と、この表に含まれる
項目を示す名称が表示される項目名領域１５と、項目の
データの型（ｉｎｔ（整数）、ｆｌｏａｔ　（浮動小数
点）およびｓｔｒｉｎｇ（ストリング））を示す領域１
６と、項目の実際のデータ値が入出力される領域１７を
含む。決定表は、第３２図に示すように、処理の選択構
造を表わす表現形式である。第３２図において、決定表
は、決定表モジュール名を表示する領域１８と、判断条
件が表示される領域１９と、判断の結果実行される処理
の名称が表示される領域２０と、条件に対する判断を表
示する領域２１と、条件判断に基づく処理の実行の有無
を示す判断を表示する領域２２を含む。

上述の表現形式に加えて、利用可能な表現形式としては
、データの包含関係を示すデータブロック図、関係演算
を中心とする構造体データ処理を表わす表操作図などが
ある。

第３３図にデータブロック図による表現形式の一例を示
し、第３４図に表操作図の表現形式の一例を示す。

第３３図において、データブロック図は、データセット
名領域２３と、この領域２３のデータが含む要素数を表
示する領域２４と、領域２３にセットされたデータのメ
ンバーを構成するメンバーデータ名または下位階層のデ
ータセット名を表示する領域２６と、メンバーデータの
データ型（ｉｎｔＳｆｌｏａｔＳｓｔｒｉｎｇ、５ｔｒ
ｕｃｔ）を表示する領域２５とを含む。この領域２４は
データが配列構造のときのみ記述される。データ型がｓ
　ｔ　ｒｕｃ　ｔの場合には、このデータは下位に対し
て階層化していることを示している。各データはＡＮＤ
接続２７かまたはＯＲ接続２８でその接続関係が示され
る。

第３４図に示す表操作図は関係表Ｂ１およびＢ２を所定
の操作に従って処理して新たな関係表Ｂ３を形成してい
る状態を一例として示す。この操作は合併操作といわれ
ている。表操作図における操作は、この合併操作に限定
されず各種関係演算、分類演算、計算演算等を含む。関
係演算はある関係を満足するように表を操作する演算で
ある。分類演算は表の行をアルファベット順、数値の大
小順等の所定の順に従って並べ換える操作である。

計算演算は、表の特定の列について合計値、平均値など
の計算結果を求める操作である。

第２８図へ戻って、本体装置１は、利用者が図形エディ
タＥ１〜Ｅｎを用いて生成した間約仕様記述から得られ
る情報を融合して、プログラム実行に必要な制御情報を
備えたフンストラクト情報を生成するとともに、異なる
表現形式を有する図形仕様記述間の情報の相互変換およ
びモジュール階層間における基本情報の生成を行なって
利用者に提示する相互変換装置Ｃｖと、相互変換装置Ｃ
Ｖで生成されたコンストラクト情報に従ってプログラム
を解釈・実行し、該実行結果を利用者に提示する実行装
置ＥＸと、図形仕様記述用図形エディタＥ１〜Ｅｎと相
互変換装置Ｃｖ１実行装置ＥＸおよび部品管理装置ＣＰ
との間での情報交換のための通信を管理する入出力装置
１０．および各処理装置ＥＸＳＣＶ、ＣＰが扱うデータ
構造を統金的に管理する統合ファイル管理装置ＵＦとを
含む。　部品管理装置ＣＰは、ソフトウェアにおいであ
る部分的に完結した仕様記述を「部品」として登録する
とともに、該登録された「部品」を再利用するための動
作を管理する。

コンストラクト情報は、生成された仕様記述情報を制御
構造を含む処理モデルの動作方式に対応するように変換
して得られる情報である。この処理モデルとしてはデー
タ駆動モデルが一例として用いられている。このデータ
駆動モデルを処理モデルとするためには、制御ノードお
よび制御アークを生成する必要がある。コンストラクト
情報には、ノードが仕様記述情報のモジュールに、また
アークがモジモール間のデータ接続に対応づけられる。

入出力装置１０は、利用者との間のインタフェース、利
用者の指示に基づく各処理装置の実行制御および各処理
装置間で授受されるデータの管理の機能を備える。

利用者との間のインタフェースは以下のものを備える。

■図形エディタを利用した表現形式による仕様記述、■
相互変換結果の表示、■対追付は機能、■引用機能、■
プロトタイピング機能、■部品登録・再利用、および■
ドキュメントの出力を含む。

図形エディタを利用した各表現形式による仕様の記述に
は次の方法が可能である。

（ａ）　　利用者が表現形式の種類と仕様記述名を指定
する。この仕様記述名の指定は既に登録されている仕様
記述を再利用する場合に行なわれ、新規作成時には新し
い仕様記述名を入力する。

（ｂ）　　既に記述されている仕様を詳細化するかまた
は階層的に記述を進めるために、既存の仕様記述内の図
形要素および表現形式を指定する。

この場合指定された図形要素に対応する表現形式を用い
て仕様記述が行なわれる。

同一モジュールに対し異なる表現形式で仕様記述するこ
とができる。この場合、相互変換装置ＣＶはその内部の
相互変換用ルールテーブル検索に従って、対応する表現
形式をエディタに知らせ、この対応の変換された表現形
式が利用者に表示される。１つの仕様記述が異なる表現
形式により実行することができるので、記述内容の多面
的な把握が容易となり、より完全な仕様を作成すること
が可能となる。

対応づけ機能は、意味的に等価な情報（たとえば、デー
タ同志または機能モジュール同志等）を異なる表現形式
間で関係づける機能である。この機能は、種々の表現形
式に従って記述された仕様を順次統合化していくために
、それぞれ独立に記述された種々の仕様情報を相互に関
係づけるために必要とされる。

すなわち、第３５図に示すように、機能ブロック図で表
現されたモジュールＭ７は、操作表図を用いても表わす
ことができる。この表操作図で表わされたモジュールＭ
７と機能ブロック図で表示されたＭ７とは意味的に等価
である。この場合、この異なる表現形式で表わされたモ
ジュールＭ７が図に矢印で示すように、意味的に同一で
あると関係づけられる。この操作を「対応づけ」操作と
呼ぶ。

また各表現形式間においては、互いに情報を共有してい
る場合がある。この場合、既に記述された仕様情報を他
の表現形式での記述時に引用すれば記述時における作業
量を減することができる。

このある表現形式で記述された情報を他の表現形式へ用
いることを「引用」と呼ぶ。たとえば第８図に示すよう
に関係表で示されたモジュールＭ１０は、表操作図で表
現された表ＭＩＯと同一である。この場合、図に矢印で
示すように、関係表の表ＭＩＯが表操作図での表現形式
に従った記述時に引用される。また同様に表操作図にお
ける表Ｍ８は、関係表で表現された表Ｍ８と同一である
。

この場合も、関係表で表現されたＭ８が表操作図の表現
形式に従った記述時に引用される。

プロトタイピング機能は、部分的に完結した仕様記述の
実行結果を確認する機能である。このプロトタイピング
においては、各階層独立に仕様記述の実行結果を確認す
ることができる。このプロトタイピング時における入出
力データの指定、および入力データの作成は指定された
データ構造に従って利用者が行なう。

部品登録・再利用のためのインタフェースは、部品管理
装置ＣＰに対し部品の登録および登録された部品の利用
を指示する。

ドキュメントの出力機能は、種々の表現形式を用いて記
述された仕様記述に対し、各表現形式ごとに記述された
間約な仕様記述をハードコピーとしてプリンタに出力し
、そのままソフトウェアの設計ドキュメントとして利用
可能とする。

入出力装置１０と各処理装置との間のインタフェースに
ついで説明する。まず図形エディタとの間のインタフェ
ースについて説明する。

入出力装置１０は、利用者が指定した各種の図形エディ
タの起動および終了制御を行なう。また、入力された仕
様記述の名前および図形エディタの種類等、エディタの
起動および終了時に必要とされる情報を管理する。この
動作は以下のものを含む。

（ａ）　　利用者が表現形式の種類と仕様記述の名前を
指定すれば、入出力装ＷＩＯは、指定された表現形式に
相当する図形エディタを起動し、かつ同時に、仕様記述
の名前をこの起動された図形エディタへ渡す。

（ｂ）　　各図形エディタはその内部に他の図形エディ
タを起動するための機能を備えている。あるエディタ内
で指定した図形要素（エディタが表示する操作ツールに
含まれる図形要素）および表現形式の種類が入出力装置
へ通知される。この図形要素は表現形式の種類によりシ
ンボルの種類や形状が異なる。入出力装置ＩＯは、この
指定された表現形式に相当する図形エディタを起動する
とともに、指定された図形要素をこの起動された図形エ
ディタへ送る。

（ｃ）　　仕様記述の終了制御。各図形エディタは終了
用操作ツールを備えている。この終了用操作ツールによ
り当該図形エディタの終了が入出力装置１０へ通知され
る。入出力装置ＴＯは、この終了通知に応答して、作成
された仕様記述の名前、エディタの種類等の情報を保存
した後終了を通知した図形エディタを終了させる。

入出力装置１０はまた図形エディタおよび相互変換装置
とのインタフェースを与える。各種の表現形式を用いて
仕様を記述する場合、また複数の仕様記述を相互に利用
する場合においては、入出力装置１０は図形エディタお
よび相互変換装置ＣＶとの間で以下の処理を行なう。

（ａ）　　利用者が記述した描画情報は、各図形要素を
記述した段階で入出力装置１０を介して順次相互変換装
置ＣＶへ送られる。相互変換装置はこの入出力装置ＩＯ
から与えられた情報に従って所定の処理（これについて
は後述する）を行なった後入出力装置Ｔｏへ返送する。

この場合、返送されるデータとしては、入力された仕様
記述情報に対応する異なる表現形式での表現可能な仕様
情報等である。この相互変換装置Ｃｖから返送されるデ
ータはその処理結果とともに返送先の仕様記述の識別子
ＩＤが付されている。入出力装置１０はこの識別子ＩＤ
に対応する仕様記述を特定し、相互変換装置Ｃｖが形成
した処理結果をその転送先の図形エディタへ返送する。

また、相互変換装置Ｃｖが入力された仕様記述上におい
て矛盾を検出した場合、この矛盾検出を示すメツセージ
を入出力装置１０は利用者に提示する。

（ｂ）　　仕様記述過程において２つの図形エディタ上
でユーザが指定した２つの図形要素に対して、入出力装
置■０はこの２つの図形要素を論理的に対応づけること
ができるか否かを判断する。

対応づけが可能な場合、この入出力装置１０は両図形エ
ディタに対し同一の論理的な仕様情報を返送する。対応
づけが不能な場合には、この対応不能を示すメツセージ
を利用者に提示する。

（ｃ）　　引用 複数の図形エディタ間で仕様情報を引用する場合、図形
エディタ上で利用者が指定した図形要素の描画情報およ
び仕様情報を、入出力装置ＩＯは引用光の図形エディタ
へ転送する。

次に入出力装置１０と実行装置ＥＸとのインタフェース
について説明する。実行装置ＥＸの実行時（たとえばプ
ロトタイピング）に必要とされる人力データ情報および
人出力データの位置情報は、仕様記述時と同様にして図
形エディタから入出力装置１０へ伝達される。入出力装
置１０はこの実行の前処理を行なう実行用ハンドラー（
図示せず）にこれらの情報を手渡す。この前処理が終了
した段階で、入出力装置１０は利用者による実行開始指
示に応答して実行装置ＥＸを起動する。実行結果のデー
タは、この上述の実行用ハンドラーから入出力装置ＩＯ
を介して表示装置ＤＰ上へ表示される。この表示装置Ｄ
Ｐへの表示はたとえば出力結果表示用ルーチンを起動す
ることにより実行される。

入出力装置１０と部品管理装置ＣＰとのインタフェース
は以下のものを含む。

（ａ）　　部品登録時のインタフェース利用者が作成し
た仕様記述が部分的に完結した段階で、利用者が指定し
た登録対象の仕様記述情報と部品名は入出力装置１０を
介して部品管理装置ＣＰへ伝達される。

（ｂ）　　部品再利用時のインタフェース図形エディタ
上で利用者が指定した部品名は入出力装置■０を介して
部品管理装置ＣＰへ伝達される。部品管理装置ＣＰはこ
の与えられた部品名に対応する部品情報をファイル管理
装置ＵＦを介して検索し、検索された部品情報を入出力
装置■０を介して起動されている図形エディタへ返送す
る。

利用者が部品情報を参照したい場合には、入出力装置１
０が利用者からの指示のもとに部品仕様書表示ルーチン
を起動することにより、この間約に表現された部品情報
が表示装置ＤＰ上に表示される。

相互変換装置Ｃｖの機能について説明する。この相互変
換装置Ｃｖは、利用者が様々な間約表現形式を用いて記
述する仕様記述の内容を統合して効果的な実行形式プロ
グラムを生成するとともに、与えられた仕様記述の特定
の側面（表現形式または階層）から獲得した情報を他の
表現形式に変換する機能を備える。ここで、実行形式プ
ログラムは、処理モデル（データ駆動型モデル）に依存
した構造を有するコンストラクト情報を仮想マシンの実
行方式に合致するように変換して得られるプログラムで
ある。

相互変換装置ＣＶが統合する仕様記述情報の構成の一例
を第３６図に示す。この仕様記述情報は、モジュール情
報Ｍｌ、シーケンス情報Ｓｌおよびデータ構造情報ＤＩ
を含む。

モジュール情報ＭＩは、このソフトウェアシステムを構
成する個々のモジュールの動作およびモジュール間のデ
ータ接続に関する情報である。このモジュール情報は、
機能ブロック図を用いた仕様記述をベースとして、各モ
ジュール間の階層関係を生成する。このモジュール情報
は、モジュール間のデータ接続関係を通してデータ構造
情報をも統合する。モジュール情報は機能モジュール、
決定表モジュール、構造体データ操作モジュールに関す
る情報をそれぞれ含む。このそれぞれのモジュールの情
報は図形エディタが表現する機能ブロック図、決定表お
よび表操作図の各表現形式で定義可能な処理内容に対応
する。各モジュールについて以下に説明する。

（Ａ）　　機能モジュール： 機能モジュールは、モジュールを構成する内部サブモジ
ュールの情報と各サブモジュール間のデータ接続関係に
関する情報である。サブモジュール情報が備える属性は
、機能ブロック図が与える記述要素と対応し、プリミテ
ィブ、部品、内部モジュール、ファイル、分枝、白杖等
がある。モジュールの階層構造は、サブモジュールが詳
細情報を定義しているモジュールに付されているモジュ
ールＩＤ（識別子）を付すことにより保存される。

モジュール間のデータ接続関係は機能ブロック図におけ
るアークと対応づけられる。このアークは、データの生
成側サブモジュールと消費側サブモジュールの関係を表
わす。データのデータ構造は、データセットＩＤにより
データ構造情報を参照する形で管理される。

（Ｂ）　　決定表モジュールは、決定表から得られる情
報をもとに選択処理に関する情報を、条件判定および判
定結果に基づいて実行される処理によって示す情報であ
る。

各条件判定の内容と対応する実行されるべき処理の関係
は、イベントＩＤによって管理される。

（Ｃ）　　構造体操作モジュール情報は、裏操作図から
得られる情報をもとに構造体データ操作に関する情報を
、操作対象となるデータおよび各データに作用する操作
で表わす情報である。操作対象となるデータと各操作と
の対応関係は、データＩＤおよび操作ＩＤによって管理
される。この各データのデータ構造は、データセットＩ
Ｄによりデータ構造情報を参照する形で管理される。

データ構造情報は、ソフトウェアシステムで消費／生成
されるデータの型および構造の定義に関する情報である
。データ構造の階層関係はデータブロック図を用いた記
述をベースとして生成される。このデータ構造情報は、
包含データ構造情報、関係データ構造情報等を含み、構
造を有しないデータとしてアトム情報を含む。

（Ａ）　　包含データ情報は、包含／排他関係にあるデ
ータの構成を示す情報である。この包含データ情報は、
各構成データに対して、詳細構造を定義したデータ構造
に与えるデータセットＩＤを有することによりデータ構
造の階層関係を保存する。

（Ｂ）　　関係データ構造は、関係データを構成する各
項目データの基本データ型を示す情報である。

（Ｃ）　　アトム情報は、アトムデータに関する基本デ
ータ型（ｉｎｔ、ｆｌｏａｔ、ｓｔｒｉｎｇ）を示す情
報である。

シーケンス情報は、順序線の属性と順序線に入出力され
る信号線の情報を含む。このシーケンス情報においては
、１モジユールに対して複数のシーケンスを定義するこ
とが可能なため、これらの関係はシーケンスＩＤで管理
される。

（Ａ）　　順序線情報は、シーケンスチャートにおける
サブモジュールを表わす縦線に関する属性を示す情報で
ある。順序線の属性としては、内部モジュール、ファイ
ルなどを含み、それぞれシーケンスチャートの記述要素
と対応する。モジュール情報中のサブモジュールとの対
応関係はモジュール副ＩＤにより管理される。

（Ｂ）　　信号線情報は、シーケンスチャートにおける
順序線間のデータ接続（以下信号線と称す）を示す情報
である。この信号線情報は、同時に信号線の入力とつな
がって出力される出力シーケンス群の情報を管理するこ
とにより、入出力データの因果関係をも示す。モジュー
ル情報中のデータ依存性との対応関係はアークＩＤによ
り管理される。

上述のように、仕様記述情報を構成する各部分情報間の
関係は、すべて識別子ＩＤにより管理される。この識別
子ＩＤは、上述のごとく、データ構造情報を識別するデ
ータセットＩＤ、モジュール情報を識別するモジュール
ＩＤ、モジュールを構成する内部サブモジュールを識別
するモジュール副ＩＤ、内部サブモジュール間のデータ
接続を識別するアークＩＤ等を含む。新たな情報の追加
が発生するたびに相互変換装置ＣＶは新たな識別子ＩＤ
を生成して管理する。

第３６図に示すように、主要記述情報の構成においては
、複数の図形エディタを用いて記述された仕様内容は階
層化され、データの参照関係３２、モジュールの階層関
係３３、同一モジュールに対する共通の定義情報関係３
４を含む。したがって、これらの関係を基礎とすること
により複数の異なる表現形式で定義された部分的な仕様
記述から対象ソフトウェアシステム全体の仕様記述情報
を生成することができる。

この個々の表現形式により得られた各情報を統合した仕
様記述情報は上述の如く識別子ＩＤにより管理される。

このような個々の表現形式から得られる情報を統合して
得られる仕様記述情報のデータ構造の一例を第３７図な
いし第４２図に示す。

第３７図は仕様記述におけるデータ構造を、第３８図は
順序線情報の構造を、第３９図は信号線情報の構造を、
第４０図は関係データの構造を、第４１図は包含データ
の構造を、第４２図はアトムの構造を示す。第３７図な
いし第４２図に示す仕様記述情報の構造において、各情
報に付された識別子ＩＤを参照することにより対応の有
無および変更の有無等が決定される。

第４３図は相互変換装置の動作を示すフロー図である。

以下、第４３図の動作フロー図を参照して簡単にこの相
互変換装置Ｃｖの動作について説明する。仕様記述情報
の生成は、入出力装置１０を介して行なわれるエディタ
との通信に基づいて実行される。

ステップ５１０１において、エディタまたは入出力装置
１０からデータが与えられる。このデータは仕様記述情
報であるかまたは終了コマンド情報、仕様記述作成開始
情報等である。この与えられた情報が終了コマンドであ
ると判定されると（ステップ５１０２）、相互変換装置
ＣＶがファイルを閉じるなどの所望の処理を施した後そ
の動作を終了する。

終了コマンド以外の場合には、相互変換装置ＣＶは、必
要な仕様記述情報を与えられたデータに従って生成する
（ステップＳ　１０４）。この生成した仕様記述情報を
用いてファイル管理装置ＵＦヘアクセスし、その仕様記
述情報用ファイル内容を生成された仕様記述情報により
更新する（ステップＳ　１０５）。

一方において、相互変換装置Ｃｖはこの与えられた仕様
記述情報から、コンストラクト情報を生成する（ステッ
プ５１０６）。この生成されたコンストラクト情報に関
しては、再びファイル管理装置ＵＦへアクセスすること
によりその新しく生成されたコンストラクト情報が付加
されるか変更されるか等によりもとのコンストラクト情
報ファイルが更新される。

次いで、この相互変換装置ＣＶは、予めテーブルの形態
で格納されている変換用ルールを検索する。この変換用
ルールテーブルへ検索をかけることにより、入力データ
と同一の意味を持つデータがあるか否かを判定する。す
なわち、あるエディタから与よられた情報が他の間約表
現形式のオブジェクトに変換可能か否かを解析する（た
とえば機能ブロック図のモジュールとシーケンスチャー
トの縦線との対応関係）（ステップ５１０９）。

この解析により他の表現形式への変換可能なオブジェク
トが検索された場合、その対応の変換可能な園内オブジ
ェクトに変換しくステップＳ　１１０）、この変換した
結果得られた変換後の園内オブジェクトを示すデータを
対応のエディタへ入出力装ｆｉＥＩｏを介して送信する
（ステップＳ　１１１）。

このとき送信を受けるエディタは、この変換可能なオブ
ジェクトを表現することのできるエディタである。この
変換処理がすべて終了すれば（ステップ５１１２）、相
互変換装置Ｃｖは再−びエディタまたは入出力装置から
意味的にまとまった園内オブジェクトが送信されるのを
待つ。

ステップ５１０９において、変換可能な園内オブジェク
トが存在しない場合、相互変換装置Ｃｖはその旨を入出
力装置１０へ伝達するとともに、エディタまたは入出力
装置１０からのデータを待機する状態となる。

ここで、入出力装置ＩＯを介して利用者が仕様記述した
結果データが入力されたとき、意味的にまとまった１つ
の園内オブジェクトが更新された場合、その１つのまと
まった園内オブジェクトが相互変換装置ＣＶへ送信され
る。

また、ステップ５１０９において変換可能な園内オブジ
ェクトが検索された場合、その変換可能な園内オブジェ
クトが複数個存在する場合、この複数の園内オブジェク
トそれぞれに対応する表現形式を与える図形エディタが
起動される。この同時に起動された図形エディタが与え
る表現形式の図形要素は、たとえばマルチウィンドウに
より表示装置ＤＰ上へ同時に表示される。

次に、図形エディタと相互変換装置Ｃ■との間の情報交
換の例について第４４Ａ図および第４４Ｂ図を参照して
説明する。この第４４Ａ図および第４４Ｂ図に示す例に
おいては、機能ブロック図を表現形式とする図形エディ
タが起動され、かつ相互変換装置ＣＶが機能ブロック図
の表現形式をベースとして仕様記述を生成する場合が一
例として示される。

入出力装置１０を介して利用者が行なうモジュール定義
またはデータ構造定義のエディタの起動に応答して、相
互変換装置Ｃｖは新たなモジュール情報またはデータ構
造情報を生成する。この生成されるモジュールまたはデ
ータの種別は、起動された図形エディタの種類から決定
される。同時に、これらの生成されたモジュール情報ま
たはデータ構造情報に対しては相互変換装置ＣＶはモジ
ュールＩＤまたはデータセットＩＤを生成して起動され
た図形エディタへ伝達する。第４４Ａ図においてはモジ
ュールＩＤが図形エディタＥへ伝達される。

図形エディタＥにおいては利用者がそのエディタ上で新
たに内部モジュールを追加すると、この図形エディタＥ
は、伝達されたモジュールＩＤとモジュールの属性を示
す情報とともに未定義のモジュール副ＴＤを相互変換装
置Ｃｖへ伝達する。

相互変換装ＷＣｖはこの与えられた未定義のモジュール
副ＩＤに応答して、内部モジュールを生成するとともに
、この新たなサブモジュール情報を識別するためのモジ
ュール副ＩＤを生成して図形エディタＥへ伝達する。

図形エディタＥにおいて、機能ブロック図内で既存の内
部モジュールに関する情報の変更または削除が行なわれ
た場合、この変更または削除情報は相互変換装置Ｃ■へ
、対応のモジュール副ＩＤとともに伝達する。相互変換
装置Ｃ■はこの情報に応答して対応のサブモジニール情
報の変更または削除を実行する。

複数の内部モジュールが生成された場合、この内部モジ
ュール間におけるデータの接続関係を示すアークが図形
エディタＥ上で記述される。これに応答して図形エディ
タＥはデータを送出するモジニールを識別するモジュー
ル副ＩＤと、この内部モジュールのデータ出力ポートを
示すポートＩＤと、データを入力する行先モジュール副
ＩＤとこの行先モジュールがデータを受けるボートを識
別する行先ボー）ＩＤと、未定義のアークＩＤを相互変
換装置Ｃｖへ伝達する。相互変換装置ｃＶは、この与え
られた情報に応答して内部モジュールにおけるアークを
生成するととに、このアークを識別するために、与えら
れた未定義のアークＩＤに所定の情報を付加しアークＩ
Ｄとして図形エディタＥへ伝達する−０次いでこのアー
クＩＤにより識別されるべきアークに対するデータの構
造が指定されると、図形エディタはこの指定されたデー
タ構造を示すデータセットＩＤを対応のアークＩＤとと
もに相互変換装置Ｃｖへ伝達する。相互変換装置Ｃｖは
この与えられた情報に従ってデータセットＩＤを登録す
る。次に、第４４Ｂ図を参照して階層構造のモジュール
を生成する場合の動作について説明する。

機能ブロック図において既存の内部モジュールに対し、
この既存の内部モジュールの詳細を定義するために利用
者が他の図形エディタを起動すると、起動をかけた図形
エディタからはこれに応答して、モジュールＩＤ、モジ
ュール副ＩＤとともに、新しく付加されるべきモジュー
ルを識別するための下位モジュールＩＤ（未定義）が変
換装置ＣＶへ伝達される。変換装置Ｃｖは、この与えら
れた情報に応答して新たなモジュール情報を生成すると
ともに、この生成したモジュール（下位モジュール）に
対してそのときの上位モジュールのモジュールＩＤをそ
れに追加する。それにより下位モジニールＩＤが決定さ
れる。この生成されたモジュール（下位モジュール）の
モジュールＩＤはこの詳細を定義するために起動された
エディタへ伝達されるととに、この起動をかけたエディ
タに対しても伝達される。この後、下位モジュールに対
する記述が完了すると、起動をかけられた図形エディタ
からはそれを示すための情報とともにモジュールＩＤ、
モジュール副ＩＤおよび下位モジュールＩＤが相互変換
装置ＣＶへ伝達される。

変換装置Ｃｖはこの情報に応答して、上位モジュールと
下位モジュールとの結合情報を生成する。

起動をかけた側の図形エディタからは、内部モジュール
情報変更のシーケンスに従って、下位モジュールに対応
するモジュールＩＤの情報が相互変換装置ＣＶへ送られ
る。これによりモジュール情報の階層構造がこの識別子
ＩＤにより上位および下位両側からの参照関係として実
現される。

操作のデータ依存性におけるデータとデータ構造情報と
の参照関係は以下のようにして実現される。複数の図形
エディタにおける対追付は操作によって、アークとデー
タ構造記述との対応関係が成立すると、そのときに獲得
されたデータセットＩＤは、データ依存性情報の変更シ
ーケンスに従って相互変換装置Ｃｖへ伝達される。これ
によりモジュールにおける入出力データの構造が保存さ
れ、構造体データへのアクセス系列、ロック範囲の抽出
が可能となる。

上述のように、各モジュールを構成する仕様記述情報は
すべて識別子ＩＤを管理することによりその各部品情報
間の関係が管理される。

この階層的な表現によるソフトウェアシステム全体の仕
様記述の生成の一例について説明する。

第４５図はこの階層構造情報から、より正確なモジュー
ル情報を作成する場合の一例を示す図である。第４５図
に示すように、上位階層の仕様記述４１においては、モ
ジュールＦＣＩＯとモジュールＦＯＩとの間のデータの
送受関係として表わされていた内容に対して、各モジュ
ールの下位層による詳細記述４２および４３を形成し、
これを相互変換装置Ｃｖにおいて関連づけることにより
、モジュールＦＯＯがデータａとデータｂとをマージし
てデータＣを導出し、一方モジュールＦＯＩがデータＣ
を受け、データｄを出力するとともに、この出力ｄをモ
ジュールＦＯＯへ返送している構造が解析される。これ
により機能モジュールの入出力データｂとデータｄとが
同一のデータであり、データｄが再び繰り返し利用され
る繰り返し構造４４が導出可能となる。

「マージ」を表わす機能モジュールおよびデータをその
まま伝達するｒＴＦゲート；真偽判定ゲート」の動作制
御は機能モジュールＰにより行なわれている。この制御
内容は機能モジュールＰに対する下位モジュールを用い
ることによりその制御内容の詳細が明らかとなる。

第４６図は、この相互変換装置において行なわれる、間
約表現形式の組合わせ（仕様記述）からコンストラクト
情報を生成する構成の一例を示す図である。機能ブロッ
ク図で表現された仕様図４５においては、モジュールＰ
およびＳに関してその動作内容が、単にデータコピーを
行なうのか、選択構造であるのかを決定することができ
ない。

しかしながら、このそれぞれのモジュールＰおよびＳに
対して決定表の記述５０および５１をそれぞれ関連づけ
ることにより、モジニールＰが入力データＸ、ｙの大小
関係に応じてモジュールＦ１〜Ｆ３のいずれかを選択す
るように分岐モジュールＳを制御し、分岐モジュールＳ
は、このモジュールＰからのデータに従ってデータｂを
モジニールＦ１〜Ｆ３のいずれかへ伝達する構造が決定
される。これによってモジュールＰの選択構造が決定さ
れ、さらに分岐モジュールＳにおける分岐制御のための
制御情報の生成が可能となる。これにより処理モデルに
対する制御情報を含んだコンストラクト情報４６の生成
が可能となる。

上述の実施例は、複数の表現形式を統合してコンストラ
クト生成のための情報を獲得する場合を示している。し
かしながら、第４７図および第４８図に示すように逆に
統合した情報から個々の表現形式の情報を逆生成（相互
変換）することも可能となる。

第４７図は、機能ブロック図とシーケンスチャートとの
相互変換を例示的に示す図である。第４７図において、
機能ブロック図６０から得られた内部モジュール情報６
１は順序線情報６２に変換され、この順序線情報に従っ
てシーケンスチャート上の順序線が生成される。ここで
内部モジュール情報からの順序線情報への変換は、前述
のごとく相互変換装置ＣＶにおいて行なわれ、この情報
がシーケンスチャートを表現形式とする図形エディタへ
伝達されこの図形エディタが起動されることにより、表
示装置上にシーケンスチャー上の順序線が生成される。

以下の説明においても、この相互変換装置と機能ブロッ
ク図およびシーケンスチャートを表現する図形エディタ
との間の情報交換が行なわれている。

また、シーケンスチャート６３においてシーケンスチャ
ート６０から得られた順序線情報６２へはさらに内部モ
ジュールＭ２が付される。この新たに生成された内部モ
ジュールを示す順序線情報は機能ブロック図の内部モジ
ュール情報に変換され機能ブロック図上に内部モジュー
ルが生成される。このとき、シーケンスチャートにおい
て信号線を形成することにより得られる信号線情報（信
号線Ａ−Ｄ）はデータ依存性情報に変換される。

これにより、機能ブロック図６４において、生成された
信号線に対応するアークが生成される。これにより、各
モジュール間のデータの流れが得られる。しかしながら
、信号線情報は単にデータの流れを示すだけであり、モ
ジュールのどのポートが接続されるのかを示していない
ため、この新たに生成された機能ブロック図６５におい
てはポート接続が未定義であることを示す表示６８が利
用者に与えられる。利用者はこれを見てポートを定義す
る。

この第４７図においては、機能ブロック図から獲得した
情報６０から、シーケンスチャートの初期状態６２が生
成され、さらこの初期状態のシーケンスチャート６２に
対して記述の追加すなわち内部モジュールの生成および
データの流れが付され、この追加されたシーケンスチャ
ートの記述６３に従って、機能ブロック図の内容を生成
追加し、新たな機能ブロック図６５を得ている。この場
合、新たに形成された機能ブロック図においては、ポー
トが未定義であるという機能ブロック図における不完全
部分６８を利用者に提示することにより新たな情報の記
述を促すことができ、より正確なソフトウェアシステム
の構築が可能となる。

さらにまた相互変換処理を用いることにより、階層記述
における下位層の情報を生成することもできる。

第４８図に示す仕様記述においては、シーケンスチャー
ト７１で表現された情報から機能ブロック図７２を形成
し、この機能ブロック図７２におけるモジュールＭ１に
対する下位モジュール７３およびモジュールＭ２に対す
る下位モジュール７４をそれぞれ形成している。この相
互変換構成に対し、新たなシーケンスチャート７５が与
えられた場合、すなわちモジュールＭ１が外部モジュー
ルからデータＡを受けてデータＤを送出している構造が
記述された場合、相互変換装置ｃＶは、既に与えらてい
るモジュール７２にこのシーケンスチャート７５で獲得
された情報を付加する。この場合データＡに対するデー
タＩＤの一致を検出することにより、モジュールＭ１は
、データＡを受けてデータＢおよびＤを導出しているこ
とが認識される。この構造より、階層表現の下位モジュ
ール７３を考慮することにより、Ｍｌはその下位構造に
おいて分岐構造を有しており、データＢとデータＤをそ
れぞれ導出する下位モジュールＭｌｌおよびＭｌ２を含
んでいることが検出される。この場合、モジニールＭ２
はデータＢおよびデータＣの関係はシーケンスチャート
７１の場合が保存されるためその下位構造７８は下位モ
ジュール７４と同一表現となる。

さらに、第４９図に示すシーケンスチャート７１に対し
、新たなシーケンスチャート７９が形成された場合、こ
の形成されたシーケンスチャートにより獲得された情報
に従って機能ブロック図が得られる。この場合、データ
Ｂに対するデータＩＤの一致を検出することにより、デ
ータＡとデータＤとが排他的データ構造であれば、モジ
ュールＭ１に対して、データＡを受ける下位モジュール
ＭｌｌとデータＭ２を受ける下位モジュールＭ１２とを
備え、このモジュールＭ１１およびＭｌ２の出力がマー
ジされてデータＢを導出する下位構造を備えているとい
うマージ構造８０が生成される。

次に実行装置ＥＸの機能について説明する。実行装置Ｅ
Ｘは、相互変換装置ＣＶで生成されたコンストラクト情
報を実行モデル（仮想的なマシン）の動作方式に従って
実行可能なプログラムに変換する変換部と、プロトタイ
ピングを実行する実行部とを含む。

コンストラクト情報を変換して得られる実行形式情報は
、データの流れによって表わされる処理の流れおよび各
処理の構造を表現する接続情報と、この接続情報中に番
号のリンク（種々のＩＤ）で出現する定数情報、データ
構造情報、およびファイル情報に大きく分割される。こ
の実行形式情報においても接続情報は階層ごとにまとま
りを有しており、階層間においては対応するポートかリ
ンクされる関係を維持しつつこのノード番号を一意的に
生成する。実行装置ＥＸにおける実行部が所定の仕様を
実行する場合、ノードの接続を追跡して順次プログラム
を実行する。したがって、この実行に適した情報形式へ
の変換とは、このノードの情報に付随したアークの情報
によってノード間の接続関係が示される情報形式へ変換
することである。次に、この実行装置ＥＸの動作につい
てその動作フロー図である第５０図を参照して説明する
。第５０図においては、実行装置ＥＸの動作フローがシ
ーケンスチャートを用いて表示される。

ユーザは仕様記述上のデータを入力したいデータアーク
を指定する。この指定されたデータアークに対応する図
形エディタが起動され、入力ウィンドウが開かれ、表示
装置ＤＰ上に表示される。入力ウィンドウには指定した
データアークのデータ構造に対応するテンプレートが表
示される。入力データの設定はこのテンプレートを埋め
るようにして行なわれる。出力データの設定も人力デー
タの設定と同様であり、仕様記述上でデータをモニタし
たいデータアークを指定すると、出力ウィンドウが開か
れ、指定したデータアークのデータ構造に対応するテン
プレートが表示される。

このユーザが指定した入力データは、入出力装置１０．
相互変換装置Ｃｖを介して統合ファイル管理装置ＵＦに
書込まれ、入力データの更新か行なわれる。このファイ
ル管理装置ＵＦにおいてデータ更新の管理が終了すると
この完了を示す情報が相互変換装置Ｃｖを介して入出力
装置ＩＯへ伝達される。利用者はプロトタイピング実行
開始を指示すると、この実行開始指示は入出力装置１０
を介して実行装置ＥＸへ与えられる。実行部ＷＥＸは、
統合ファイル管理装置ＵＦで入力ウィンドウに設定され
た入力データが書込まれた領域を参照し、この入力デー
タを読出し、指定された仕様記述に対応するプログラム
を実行する。

実行装置ＥＸは統合ファイル管理装置ＵＦから入力デー
タを読出し、実行形式情報中に含まれるノードの接続を
追跡しながらノードに設定される機能を順次実行し、出
力データのアークに出力指定がなされていたとき出力デ
ータを得る。実行装置ＥＸは出力データを得ると統合フ
ァイル管理装置ＵＦへその出力データを書込む。これに
より出力データの更新が行なわれる。統合ファイル管理
装置はこのデータの更新の完了を実行装置ＥＸへ与える
と、次いで実行装置ＥＸから入出力装置ＩＯへプロトタ
イピングの実行完了が知らされる。

入出力装置ＩＯはこの実行終了を受けると変換装置Ｃｖ
へ実行終了を知らせる。相互変換装置ＣＶはこの実行終
了に応答して統合ファイル管理装置ＵＦに書込まれた出
力データの参照を行ない、出力データを読出して入出力
装置１０へ伝達する。

入出力装置１０は与えられた出力データを表示装置ＤＰ
上に先に開かれていた出力ウィンドウに表示する。

上述のように仕様記述上の任意の階層を対象としたシミ
ュレーション実行はその入力データの設定および出力デ
ータ形式の設定を行なうたけて実行されるため、作成さ
れた仕様の確認見直しを行なうことができる。次に部品
管理装置ＣＰの機能について説明する。

仕様記述においである完結した仕様は「部品」と称され
る。この部品を管理する部品管理装置ＣＰは、以下の機
能を備える。

■部品情報の提示機能、■部品名リストの提示機能、０
表の項目データ型の提示、■コンストラクト情報の提示
、■部品仕様書表示機能、■部品の登録機能、■部品の
拡張機能である。この部品管理装置ＣＰへは入出力装置
ＩＯ１相互変換装置Ｃｖおよび実行装置ＥＸがアクセス
可能である。

次に第５１図を参照して部品の参照動作について説明す
る。

第５１図は部品の参照動作フローをシーケンスチャート
により示す図である。部品を参照したい場合、利用者は
入出力装置１０が与えるメニューから「部品参照」を選
択する。入出力装置１０は、この「部品参照」指示に応
答して、登録されている部品の一覧表を表示するために
、部品管理装置ＣＰに部品名リストの要求を行なう。部
品管理装置１ｃｐは、ファイル管理装置ＵＦを介して部
品情報ファイルを探索し、登録されている部品名のリス
トを入出力装置ＩＯへ部品管理装置ＣＰを介して伝達す
る。入出力装置ＩＯは、図形エディタを起動して部品参
照用ウィンドウ（参照ＷＤ）を開き、登録部品の一覧表
を表示装置上に表示する。

利用者は、この部品参照用ウィンドウ（参照ＷＤ）中に
示された部品のうち、入出力情報を参照したい部品をた
とえば「マウス」のようなデータ入力装置または文字入
力装置を用いて指定する。

入出力装置ｆＩＯはこの利用者からの参照部品指定に応
答して、部品仕様書エディタ（仕様書ＥＤ）を起動し、
指示された部品名をこの部品仕様書エディタへ手渡す。

部品仕様書エディタ（仕様書ＥＤ）は、仕様書ファイル
に記憶されている部品仕様書ファイルを参照し、この部
品仕様書を表示する。これにより、利用者は間約に表現
された仕様記述レベルの部品仕様書を表示装置ＤＰ上で
見ることが可能となる。

次に部品の引用動作について説明する。

仕様記述を行なっている状態において、部品を引用した
場合、機能ブロック図エディタまたはシーケンスチャー
トエディタの描画モードにおいて「部品」を選択する。

部品を引用するエディタは、入出力装置１０に対して部
品要求情報の要求を出す。入出力装置１０は、上述の部
品参照動作時と同様にして利用者からの指示により、部
品引用のためのウィンドウを開き、登録部品の一覧表を
表示する。

利用者はこの部品参照用ウィンドウに示された部品のう
ち、引用したいものを指定する。入出力装置ＩＯは、こ
の指定された部品に対する部品情報を部品管理装置ＣＰ
に要求する。部品管理装置ＣＰは、ファイル管理装置ｆ
ＵＦを介して部品情報ファイルを探索し、指示された部
品に対する部品情報を入出力装置１０へ与える。

入出力装置１０は、部品管理装置ＣＰより与えられた部
品情報を、さらに、この部品を引用したいエディタへ与
える。エディタは与えられた部品情報をもとに描画を行
なうとともに仕様記述内容の変更を入出力装置１０へ通
知する。

次に統合ファイル管理装置ＵＦの機能について説明する
。この開発装置で取り扱われる仕様記述の内容に関する
情報は１つの統合的なファイルとして表現される。この
ファイルを操作する機能はデータ構造操作命令として統
合ファイル管理装置ＵＦにより実現される。統合ファイ
ル管理装置ＵＦは、仕様記述に関する情報を表現する内
部データ構造へのアクセス（生成、参照、更新、削除等
）を実行する他の処理装置（入出力装置１０．相互変換
装置ＣＶ１実行装置ＥＸ、および部品管理装置ＣＰ）と
の間に宣言的に結合されたインタフェースを持ち、仕様
記述情報を表現する内部データ構造を統合的に管理する
。

統合ファイル管理装置ＵＦを利用する他の処理装置は、
必要とされるデータ構造操作に対するオペレーションコ
ードと、そのデータ構造操作に必要とされる情報を統合
ファイル管理装置ＵＦへ渡す。統合ファイル管理装置Ｕ
Ｆは、指示されたデータ構造操作を実行し、実行結果を
統合ファイル管理装置ＵＦを呼出した処理装置へ返す。

用いられるデータ構造としては、このプログラム開発装
置においては、スカシ（アトム）とリスト構造とが採用
される。このリスト構造を用いれば、「配列」、「レコ
ード」、および「ベクター」等の構造を表現することが
できるからである。このリスト構造を用いる場合、■添
字（識別子）による要素へのアクセス、および■キーの
一致による要素へのアクセスが実行される。このリスト
構造においては、処理対象とするデータ構造全体の識別
子（名前）に対する論理的な識別子ｒｆｉｄＪと、ｒｆ
ｉｄＪによって識別されるデータ構造中において「５ｉ
ｚｅＪによって示される配列要素のサイズのデータ領域
を１個の要素とする配列を識別するための論理的な識別
子ｒｄ　ｉ　ｄＪとを含む。これらの識別子を用いるこ
とにより、ファイルにおけるアクセス領域が確定される
。

スカシのデータ構造により統合ファイル管理装置ＵＦを
参照した場合、データ名による参照および更新が行なわ
れなる。

各処理装置は、相互に情報交換を行ないながら並列に動
作する。統合ファイル管理装置ＵＦへは、このため、多
重アクセス要求が発生する。これらのアクセスは、動的
に発生するため、統合ファイル管理装置ＵＦを利用する
側の処理装置においては、多重アクセスが発生している
かどうかを判別することができない。またたとえ、多重
アクセスが発生していることを判別することができたと
しても、後からアクセスを要求した処理装置がファイル
に対してアクセスを実行してよいかどうかは、アクセス
を要求した処理装置は知ることができない。このため、
統合ファイル管理装置ＵＦは、マルチプロセス環境にお
いてファイルに関する一連のアクセスに対する一貫性を
保証するための機構を備える。このような機構として、
統合ファイル管理装置ＵＰを利用する側がアクセス要求
を行なったとき、引き続いて同一ファイルの同一レコー
ドに対してアクセス要求を行なうか、また、どのような
アクセス要求を行なうかを統合ファイル管理装置ＵＦに
通知することにより統合ファイル管理装置ＵＦにおいて
ファイルの必要な範囲にロックをかけるロック制御機構
か設けられる。

ロック制御は１つのプリミティブとして実現される。統
合ファイル管理装置ＵＦが管理するファイルには、テン
ポラリファイルとパーマネントファイルの２種類存在す
る。テンポラリファイルは、１度使用すると消費される
。パーマネントファイルは、対象プログラムの実行前後
を通じて保存される。ファイルを使用するプリミティブ
を実行する場合には、書込み対象となるテンポラリファ
イルは常に作成される。次に、この発明の一実施例であ
るプログラム開発装置によるソウトウエアシステムの作
成の具体的例について説明する。

今在庫管理問題の中から、「キー」によって検索するモ
ジュールを記述する場合を考える。今具体的な問題とし
て、以下の問題を記述する。

検索データは品物リストである。この品物リストは、 「品物リスト二品物コード、品名、数量、納入光」の構
造を持っている。検索項目（キー）は、品名コードまた
は数量である。数量を「キー」とする検索の場合には、
与えられた数量以上の品物コードに対応する品物をリス
トする。

まず、第５２図に示すように、外部とのインタフェース
を記述する。この記述対象のシステムは、品名コードを
入力して該当リストを出力する品名検索モジュール９１
８１品物リストファイル９１ｂ１および外部モジュール
（ユーザ）９１ｃ、数量を入力して同じく該当リストを
出力する数量検索モジュール９１ｄを含む。この機能側
面からの記述は機能ブロック図９１により表現される。

このときこの機能ブロック図９１で表現されたモジュー
ル情報はシーケンスチャートに変換され、表示されてい
る（第５２図右下部参照）。

次に第５３図に示すように、各モジュール間におけるデ
ータ流れの順序関係を記述する。第１のシーケンスチャ
ート９２においては、品名検索シーケンスを記述し、第
２のシーケンスチャートにおいては数量検索のシーケン
スを記述する。このシーケンスチャート９２および９３
で記述された信号線は、直ちに機能ブロック図９４上の
データアークに変換され表示される。このとき、シーケ
ンスチャートにおいてはポート情報は反映されないため
、ポート情報に関しては機能ブロック図９４において記
述する。

ここで、シーケンスチャートを用いてデータ相互の関係
を記述したが、機能ブロック図を用いてデータ相互の関
係を記述してもよい。このように共通の情報が異なる表
現形式間で相互に変換反映されることにより、記述相互
間の矛盾を回避することができる。

次に第５４図に示すようにデータ構造を記述する。該当
リスト（図示せず）および品物リストを関係表９５、品
名コードおよび数量をデータブロック図９６で記述する
。第５４図に示す例においては、該当リストは最低必要
な品名コードおよび数量のみが記述される。記述された
データ構造と機能ブロック図上のデータアークおよびシ
ーケンスチャート上の信号線は対応づけ操作により対応
づけられる。この対応づけ操作を用いることにより、繁
雑な名前づけの作業から解放される。

次に第５５図に示すように、内部モジュールの詳細の定
義を行なう。第５５図において、記述対象のモジュール
に含まれる品名検索モジュール９１ａは、ファイル操作
であるため、表操作図９６により記述される。この表操
作図９６においては、既に先に記述した機能ブロック図
により入出力情報が変換され反映されている。この表操
作図９６における表データの構造は、関係表９５ａおよ
び９５ｂから引用される。引用されたデータ構造は、元
の関係表と対応づけられている。したがって、元の関係
表データ構造を変更すれば、この表操作図９６における
データ構造も変更される。これにより仕様の変更に伴う
変更忘れを防止することができる。

品名検索モジュールは、第５５図に示す表操作図で記述
したことによりその仕様記述が完結し、実行可能となる
。この実行可能となった品名検索モジュールに対し第５
６図に示すようにプロトタイピングを行なって仕様記述
内容を検証する。すなわち品物リスト９６ａの品物コー
ドを入力データとし、該当りスト９６ｂを出力データと
する。

品物リスト９６ａの品物コードに、品物リストに含まれ
る品名コードを記入する。以下、装置の実行動作により
、この品名コード３に対応する品物が該当リスト上にそ
の対応の数量とともに表示される。このプロトタイピン
グにより得られた実行結果に従って仕様記述内容を、対
象とする仕様に従って変更し、再度実行して検証する。

この後、検索システムの仕様の記述が完了した場合、こ
れは１つの部分的に完結したモジュールであり、「部品
」として登録する。

［発明の効果］ 以上のように、この発明によれば、ファイル管理装置内
でデータ構造の操作が行なわれるので、そのファイル管
理装置を利用する装置または処理系の側でデータ構造操
作のためのプログラムを準備する必要がなく、またデー
タ構造操作の実現方式に関知する必要がなくなる。した
がって、ソフトウェア開発の効率が向上する。

また、ファイル管理装置を利用する複数の処理系の並列
開発が可能になるとともに、各処理系の独立性を高める
ことができる。したがって、各処理系の高機能化に柔軟
に対応できるシステムを構築することが可能となる。

【図面の簡単な説明】

第１図はこの発明の一実施例によるファイル管理装置の
構成を示すブロック図である。第２図は同実施例のハー
ドウェアの構成を示すブロック図である。第３図はファ
イル記憶部に記憶されるファイルの構成を概念的に示す
図である。第４図はファイル記憶部の記憶内容を説明す
るための図である。第５図は操作部の動作を説明するた
めのフローチャートである。第６図はデータ構造のオー
ブンの機能を説明するためのフローチャートである。第
７図はデータ構造の保存の機能を説明するためのフロー
チャートである。第８図はデータ構造諏別子の獲得の機
能を説明するためのフローチャートである。第９Ａ図は
データ構造の追加［１コの機能を説明するためのフロー
チャートである。 第９Ｂ図は第９Ａ図の機能の実行例を説明するための図
である。第１０Ａ図はデータ構造の挿入［１］の機能を
説明するためのフローチャートである。第１０Ｂ図は第
１０Ａ図の機能の実行例を説明するための図である。第
１１Ａ図はデータ構造の削除の機能を説明するためのフ
ローチャートである。第１１Ｂ図は第１１Ａ図の機能の
実行例を説明するための図である。第１２Ａ図はデータ
構造の読出しの機能を説明するためのフローチャートで
ある。第１２Ｂ図は第１２Ａ図の機能の実行例を説明す
るための図である。第１３Ａ図はデータ構造の書込みの
機能を説明するためのフローチャートである。第１３Ｂ
図は第１３Ａ図の機能の実行例を説明するための図であ
る。第１４Ａ図はデータ構造の追加［２］の機能を説明
するためのフローチャートである。第１４Ｂ図は第１４
Ａ図の機能の実行例を説明するための図である。第１５
Ａ図はデータ構造の挿入［２コの機能を説明するための
フローチャートである。第１５Ｂ図は第１５Ａ図の機能
の実行例を説明するための図である。第１６図はデータ
構造の複製の機能を説明するだのフローチャートである
。第１７図はデータ構造の探索の機能を説明するための
フローチャートである。第１８図はデータ構造の消去の
機能を説明するためのフローチャートである。第１９図
はデータ構造の現在位置の通知の機能を説明するための
フローチャートである。第２０図はデータ構造の現在位
置の変更の機能を説明するためのフローチャートである
。第２１図はデータ構造の要素数の獲得の機能を説明す
るためのフローチャートである。第２２図はデータ構造
の要素サイズの獲得の機能を説明するためのフローチャ
ートである。第２３図はデータ構造数の獲得の機能を説
明するためのフローチャートである。第２４図はアトミ
ックなデータの生成の機能を説明するためのフローチャ
ートである。第２５図はアトミックなデータの読出しの
機能を説明するためのフローチャートである。第２６図
はアトミックなデータの書込みの機能を説明するための
フローチャートである。第２７図はアトミックなデータ
の消去の機能を説明するためのフローチャートである。 第２８図はこの発明のファイル管理装置を用いたブ　−
ログラム開発装置の全体の構成を概略的に示す図である
。第２９図は仕様記述表現形式の１つである機能ブロッ
ク図を例示する図である。第３０図は仕様記述表現形式
の１つであるシーケンスチャートを例示する図である。 第３１図は仕様記述表現形式の１つである関係表を例示
する図である。 第３２図は仕様記述表現形式の１つである決定表を例示
する図である。第３３図は仕様記述表現形式の１つであ
るデータブロック図を例示する図である。第３４図は仕
様記述表現形式の１つである裏操作図を例示する図であ
る。第３５図は複数の表現形式を用いて仕様記述を行な
った際の「引用」および「対応づけ」操作を例示する図
である。第３６図は仕様記述情報の構成の一例を示す図
である。第３７図は仕様記述情報の構成を一覧にして示
す図である。第３８図は仕様記述情報に含まれる順序線
情報の構成を示す図である。第３９図はｇＪ３７図に示
す信号線情報の構成を示す図である。 第４０図は第３７図に示す関係データの構成を示す図で
ある。第４１図は第３７図に示す包含データの構成を示
す図である。第４２図は第３７図に示すアトムの構成を
示す図である。第４３図は相互変換装置の動作を示すフ
ロー図である。第４４Ａ図および第４４Ｂ図は仕様記述
表現手段である図形エディタと相互変換装置との間のデ
ータ送受シーケンスを例示する図である。第４５図は複
数の間約表現形式の組合わせからコンストラクト情報を
生成する態様を例示する図である。第４６図は複数の間
約表現形式の組合わせからコンストラクト情報を生成す
る他の態様を例示する図である。 第４７図は相互変換装置において実行される機能ブロッ
ク図とシーケンスチャートの相互変換態様を例示する図
である。第４８図はシーケンスチャートと機能ブロック
図との相互変換機能を利用してシーケンス仕様情報の階
層記述における下位階層の情報を生成する態様の一例を
例示する図である。第４９図は相互変換機能を利用して
仕様記述の階層記述における下位階層の情報を生成する
他の態様を例示する図である。第５０図は、プロトタイ
ピング実行動作を示すシーケンスチャート図である。第
５１図は部品参照動作を示すシーケンスチャート図であ
る。第５２図ないし第５６図は仕様記述の一具体例を例
示する図である。 図において、１０１はファイル管理装置、１０２はファ
イル記憶部、１０３は操作部、１０４は入出力部、１０
５は情報処理装置、ｆｉｄはファイル識別子、ｄｉｄは
データ構造識別子である。 なお、各図中同一符号は同一または相当部分を示す。

Claims (1)

1. 【特許請求の範囲】 複数のデータを識別子とともに記憶する記憶手段、およ
   び 所定の命令に応答して、前記記憶手段に記憶されたデー
   タの構造を前記識別子を用いて操作するデータ構造操作
   手段を備えた、ファイル管理装置。