制約型プログラミングによるオフィス処理の実現

概要

論文の詳細を見る
事務処理システムは, 従来, 手続き型言語, テーブルドリブン記述, トリガといった, 状態遷移を表現する言語により記述されてきた. しかし, この種の状態遷移記述では, (1)事務処理に必要な手続きをすべて網羅的に書き切ることが難しい, (2)事務規則と整合性のとれた処理結果が生成されることをプログラム記述上で確認することが難しい, 等の問題を有していた. 上記問題を解決するため, 本論文では, 事務処理を, 「事務処理で扱うデータを事務処理規則と整合する状態に維持する整合性管理処理」とモデル化する. そして, それを具現化する, 制約プログラミングによる整合性管理システムを提案する. 具体的には, 事務規則を制約として記述し, 制約充足エンジンによって, 事務規則と整合するデータ状態を生成する. 本手法を実用事務処理システムのタスクに試用した結果, 事務規則を容易に制約記述でき, プログラム記述量を半減できた. また, 手続き型記述の実用システムでは十分には対応できなかったレアケースに対しても対処可能となった.
一般社団法人情報処理学会の論文
1997-07-15