JavaScriptを有効にして再度、お越しください。新規登録ログインお知らせ※ユーザ登録は無料です.情報学広場に掲載されているコンテンツには有料のものも含まれています.有料コンテンツをご購入いただいた場合でも、領収書の発行はいたしておりません。クレジットカード会社様からの領収書/請求書をもってかえさせていただいております。複写複製および転載複製に係る著作権を学術著作権協会に委託しています。当該利用をご希望の方は、学術著作権協会が提供している複製利用許諾システムもしくは転載許諾システムを通じて申請ください。本会会員(賛助会員含む)および著者が転載利用の申請をされる場合については、学術目的利用に限り、無償で転載利用いただくことが可能です。刊行物に掲載されている製品名等は、各社の商標または登録商標です。(IPA)の実行可能な形式仕様言語の研究開発プロジェクトでは、実用的な形式仕様言語システムの基幹言語として、CafeOBJを開発中である。CafeOBJは代表的な代数仕様言語OBJに・動的なシステムの進化を記述するための書き換え規則・属性が変化するオブジェクトを宣言するためのクラス構文を導入し、オブジェクト指向パラダイムの意味でのオブジェクトとその動的な振舞いを陽に記述できるようにした言語である。従来の代数仕様言語の普及の障害として、ライブラリの不備と記述例の不足が挙げられている。CafeOBJの基となっているOBJのライブラリは基本的なデータ型のみからなり、現実のソフトウェアの仕様記述を効率的に行なうには不十分といえる。CafeOBJの普及のためには、充実したライブラリと豊富な記述例は必要不可欠である。そのため、本プロジェクトではCafeOBJの開発と並行して1.ライブラリの作成2.仕様記述実験による記述例の収集を通して、CafeOBJ普及に必要な環境の整備を行なっている。本稿では、環境整備活動のうちのCafeOBJライブラリ作成の方針と現状について述べ、ライブラリ構成要素の具体例を紹介する。48発行年1994-09-20。