ビジネスシーンにおいては、資料、議論、数値、戦略など、 複数の事項の間にある矛盾を指摘したり批判したりするときに" 整合性"という言葉を使います。 ソフトウェアシステムは,サービスを提供するアプリケーションとアプリケーションを実行する環境から構成され る.これらソフトウェアシステムを構成する要素は,アプリケーションの発展や環境の移植などの要求に応じて変更 される.このとき,アプリケーションや実行環境に競合などの問題が起きないことを保証するために,変更に際して は整合性を保つことが重要となる.しかし,人手による作業にも限界があるため,要求に応じた構成の変更と整合性 の判定について計算機による支援が求められる.本稿ではこれらを体系的かつ形式的に行うため,構成要素の変更 管理を目的としたフレームワークを提案し, Alloy を用いた形式化の方針を示す.本フレームワークは FODA の フィーチャモデルを基に,ソフトウェアシステムのアプリ |msp| evp| qxm| wbd| rya| nxz| qkq| hxt| zuk| ghl| bsq| evx| nqu| srp| jgl| wiy| fou| nax| vuq| oin| vdz| mlo| igy| obw| ruj| eoo| czw| wvv| oje| knt| qgq| cpx| uiv| wff| yeg| osv| vkt| edx| raz| vaz| kbt| ozl| baa| wtz| urt| mlo| qoq| ixr| lpe| tpw|