講演抄録/キーワード |
講演名 |
2014-03-07 13:10
単方向性制約伝搬に基づく業務システム構成法の提案 ~ 地方税の税務処理を例として ~ ○矢野寛将・桑山浩希・金田重郎(同志社大) KBSE2013-94 |
抄録 |
(和) |
業務システムでは遂行すべき業務処理に加え,保存されているデータ内容の変更処理や誤入力に対する修正処理も行う必要がある.結果として,業務規則と実際の処理フローとの間にセマンティックギャップがあり,業務規則変更時のメンテナンス工数を増加させる一因となっている.そこで本稿では,業務規則を入出力データ間の制約として捉え,入力データから出力データへの一方向性の制約充足(制約伝搬)を用いて業務処理を実現する手法を提案する.提案手法の評価のため,23種の地方税の税務処理(一部の税種について税額は定数)を,オブジェクト指向言語を用いて実装した.その結果,約5700行(Viewと入力データ処理・保存データ参照部を除く)で実装できた.また,税額計算後に入力条件を修正する等の複雑な処理も付加コードなしに実現できることを確認できた. |
(英) |
ICT systems for business applications must accept not only basic business work-flows but also modification of the formerly -inputted data. This modification changes the old calculated output values. The above situation requires a huge program and severe maintenance cost. This paper argues that this situation is caused by a semantic gap between business rules and superficial business flows. To solve this problem, we propose a new methodology to implement application systems based on the unidirectional constraint propagation from input to output. We regard business rules as constraints between input and output and implemented a prototype system with about 5,700 lines in an object-oriented programming language. The system supports 23 kinds of local taxes (but some detailed tax-value calculation routines are omitted). Our evaluation shows that the proposed methodology results in very compact and well-structured codes. Also, the prototype system performs such complex business flows as the modification of formally -processed input and output without additional codes. |
キーワード |
(和) |
業務システム / 税務処理 / 制約充足 / 単方向性 / 制約伝搬 / 構成法 / / |
(英) |
Business Systems / Local Tax Processing / Constraint Satisfaction / Unidirectional / Constraint Propagation / Implementation Methodology / / |
文献情報 |
信学技報, vol. 113, no. 475, KBSE2013-94, pp. 91-96, 2014年3月. |
資料番号 |
KBSE2013-94 |
発行日 |
2014-02-27 (KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
KBSE2013-94 |