情報処理学会 第76回全国大会講演要旨

著者らは，単一方向性制約伝搬によって業務処理を実現することを
既に提案している．しかし，その実現方法については十分に
議論されていない.そこで本稿では，単一方向性制約伝搬と
ソフトウェアパターンに基づく業務システムの構成法を提案する．
単一方向性制約伝搬とは，業務規則がシステムの中心と考え，
業務規則に基づく計算は単一方向であることに注目したモデルである．
提案した構成法を用いて，京都府と京田辺市の条例が定める
23税すべての税務処理が表現可能であることを確認した．
制約伝搬にオブザーバパターン，税額計算に利用する勘定のデータ構造に
アナリシスパターンを用いることで実現できた．税額計算後に
入力条件を修正する等の複雑な処理も付加コードなしに実現できた．