Flageアーキテクチャのための仕様合成メカニズム

スポンサーリンク

概要

論文の詳細を見る
変更に柔軟に対応するソフトウェア開発技術の確立がFlageアーキテクチャの目的である。本稿では、まず要求の追加/変更/削除に対応しながら仕様記述を柔軟に合成してゆくための言語機能を概説した後に、エージェント指向のソフトウェアアーキテクチャFlageのための仕様合成メカニズムについて考察する。我々は、ソフトウェア開発における仕様プロセスにおいて、要求プロセスの出力(要求)をもとに形式的仕様を記述してゆく機能を「仕様生成」と呼ぶ。一般的に、要求からの仕様の記述をするためには、1.要求からの仕様化、2.既存の仕様への変更の伝播、の2つの活動が必要である。仕様生成は後者の活動であり、それを支援するための言語機能を提供することが本研究の目的である。2章では、既に提案した仕様合成のための柔軟なモジュール演算について述べる。3章と4章では、Flageのための仕様合成メカニズムの異なる形態を提案する。
一般社団法人情報処理学会の論文
1995-09-20

著者

関連論文

もっと見る

スポンサーリンク