Iida, Hajimu

Inoue, Katsuro

Nitta, Minoru

Ogihara, Takeshi

Torii, Koji

イイダ, ハジム

イノウエ, カツロウ

オギハラ, タケシ

トリイ, コウジ

ニッタ, ミノル

井上, 克郎

新田, 稔

荻原, 剛志

飯田, 元

鳥居, 宏次

我々はソフトウェアの開発過程を形式的に記述し，実行するための関数型言語PDL(Process Description Language)およびそのインタプリタを作成した．PDLでは開発過程をツールの起動やウィンドウ操作の系列として記述する．PDLはこれらの操作のための関数や複数の操作を並列実行するための関数を持つ．また，さまざまなマクロ機能があり，定義の記述を容易に行うことができる．PDLインタプリタは，実行中に検出した未定義関数をそのつどユーザに定義させる機能などを持ち，十分詳細化されていない記述も実行可能である．また，デバッグ機能やヒストリ機能，関数定義の画面編集機能などの機能も備えている．我々はすてにJSD（ジャクソンシステム開発法）など，いくつかの開発技法をPDLて記述し，実行している．PDLインタプリタは現在，いくつかのUNIXワークステーション上で稼働中である．We have developed a functional language PDL(Process Description Language) and implemented its interpreter. PDL is designed for constructing support systems of various software development processes. PDL scripts(programs) are composed of tool activation and window control functions. They also have functions to evaluate those function concurrently. Various macro notations are provided to improve readability and to help stepwise refinement of the abstracted scripts. The PDL interpreter allows to assign values or give definitions to undefined functions detected during execution. It also has various facilities for debugging, command history, screen editing of the definitions. PDL interpreter has been implemented on several UNIX workstations, and we executed relatively large programs such as JSD (Jackson software development)

Osaka University Knowledge Archive

ソフトウェア　カイハツ　カンキョウ　キジュツヨウ　カンスウガタ　ゲンゴ　ノ　セッケイ　ト　ショリケイ　ノ　シサク

http://ir.library.osaka-u.ac.jp/dspace/bitstream/11094/51053/1/IPSJ-PRO88019010.pdf

ソフトウェア　カイハツ　カンキョウ　キジュツヨウ　カンスウガタ　ゲンゴ　ノ　セッケイ　ト　ショリケイ　ノ　シサク

Abstract

Similar works

Full text

Available Versions

Osaka University Knowledge Archive

ソフトウェア カイハツ カンキョウ キジュツヨウ カンスウガタ ゲンゴ ノ セッケイ ト ショリケイ ノ シサク

Abstract

Similar works

Full text

Available Versions

Osaka University Knowledge Archive

ソフトウェア　カイハツ　カンキョウ　キジュツヨウ　カンスウガタ　ゲンゴ　ノ　セッケイ　ト　ショリケイ　ノ　シサク