著者

石井 恵 金田 重郎

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.38, no.7, pp.1284-1295, 1997-07-15

被引用文献数

3

---

事務処理システムは,従来,手続き型言語,テーブルドリブン記述,トリガといった,状態遷移を表現する言語により記述されてきた.しかし,この種の状態遷移記述では,(1)事務処理に必要な手続きをすべて網羅的に書き切ることが難しい,(2)事務規則と整合性のとれた処理結果が生成されることをプログラム記述上で確認することが難しい,等の問題を有していた.上記問題を解決するため,本論文では,事務処理を,「事務処理で扱うデータを事務処理規則と整合する状態に維持する整合性管理処理」とモデル化する.そして,それを具現化する,制約プログラミングによる整合性管理システムを提案する.具体的には,事務規則を制約として記述し,制約充足エンジンによって,事務規則と整合するデータ状態を生成する.本手法を実用事務処理システムのタスクに試用した結果,事務規則を容易に制約記述でき,プログラム記述量を半減できた.また,手続き型記述の実用システムでは十分には対応できなかったレアケースに対しても対処可能となった.This paper presents a constraint satisfaction mechanism for office systems.Regulations for business can be regarded as constraints in terms of the data in business databases and application forms.Clerical work can be regarded as consistency maintenance to keep the data consistent with the constraints.We rewrote an office system using constraints.Experimental results show that all the regulations can be easily described in constraints,the description size is reduced by 50% of the original system and the constraints cover rare cases exhaustively.