ポリシー規則と振る舞い仕様の分離への書き換え論理アプローチ(一般セッション,一般,フレッシャーズセッション)

スポンサーリンク

概要

論文の詳細を見る
オープンなシステムの開発では、利用者の振る舞いに仮定を置くことで、システム要件を簡単化できることがある。利用者は予め決められた運用規則(ポリシー規則と呼ぶ)に従うことが期待される。これに反する振る舞いによってシステム全体が不具合に陥るかもしれない。また、システム運用開始後にポリシー規則が変更される可能性もあり、その場合に対してもシステム要件は堅固であるか開発上流工程で知っておきたい。本稿では、システム機能、利用者の振る舞いに加えて、ポリシー規則を明示的に分離する方法を提案する。また、書き換え論理の方法に基づいて分離の一般的なフレームワークを論じる。
2010-05-20

著者

関連論文

もっと見る

スポンサーリンク