CafeOBJによるプロセス記述ライブラリの作成

概要

論文の詳細を見る
情報処理振興事業協会(IPA)の実行可能な形式仕様言語の研究開発プロジェクトでは、実用的な形式仕様言語システムの基幹言語として、CafeOBJを開発中である。CafeOBJは代表的な代数仕様言語OBJに・動的なシステムの進化を記述するための書き換え規則・属性が変化するオブジェクトを宣言するためのクラス構文を導入し、動的なシステムの記述を行なえるようにした言語である。従来の代数仕様言語の普及の障害として、ライブラリの不備と記述例の不足が挙げられている。CafeOBJの基となっているOBJのライブラリは基本的なデータ型のみからなり、現実のソフトウェアの仕様記述を効率的に行なうには不十分といえる。CafeOBJの普及のためには、充実したライブラリと豊富な記述例は必要不可欠である。ライブラリに関しては、現在までのところ、OBJ、Z、Larchといった形式仕様言語やML等のプログラミング言語のライブラリを参考にして、CafeOBJライブラリを作成してきた。現在、ライブラリには、Zの数学的ツールキット相当のモジュールや、リストや待ち行列などの一般的なデータ構造を表現する基本的なモジュールがそろっている。今後は仕様記述実験を通して、ドメインに特化したライブラリを用意していく予定である。本稿では、ドメインに特化したライブラリの例として、逐次交信プロセスの記述のためライブラリを紹介する。
一般社団法人情報処理学会の論文
1995-09-20

CafeOBJによるプロセス記述ライブラリの作成

スポンサーリンク

概要

著者

関連論文

スポンサーリンク