事前·事後条件を用いたルールによるシナリオ検証

摘要

本論文では，作成済みのシナリオ検証用のルールを同じドメインに属する他のシナリオにも再利用することを目的に，事前条件·事後条件を用いたシナリオ検証手法を提案する．シナリオ，ルールには共に事前条件·事後条件が記述されている．シナリオの事前条件と事後条件がルールの事前条件と事後条件と一致する場合，ルールDBからシナリオへ適用できるルールを取得し，シナリオがルールを満たしているかどうかを検証する．