異なった形式的仕様記述間の変換について : FASET(9)ツールゲート

スポンサーリンク

概要

論文の詳細を見る
協同システム開発(株)では、通産省、IPA関連事業の一つであるソフトウェア環境統合化技術開発計画(FASET: Formal Approach to Software Environment Technology)を推進している。現在、FASETでは、7種類の仕様記述法に基づく自動化ツールの開発を進めている。筆者らは、それぞれのモデルに合った仕様記述を用いて記述したものを、仕様記述のレベルで一つの記述に変換し、その変換された仕様記述の処理系上で検証をする事を目標に研究を行なっている。ここでは、FASETでの仕様記述法として採用されている関数型言語 K1 から代数的仕様記述言語 ASPELA への変換系と、宣言型仕様記述言語ML(モジュール機構が付加されている)からASPELAへの変換系をLispで作成したので報告する。
一般社団法人情報処理学会の論文
1989-10-16

著者

関連論文

もっと見る

スポンサーリンク