高階ペトリネットによる分散協調型システムの仕様記述とプログラム自動設計

抄録

本稿では分散協調システムの仕様記述および設計自動化技法について述べる．提案手法では高階ペトリネットによる分散システムの抽象的仕様を入力とし，最終的にはJavaによる実行プログラムを自動で得る．そのための仕様自動詳細化技法およびプログラムコード生成技法について述べる．