講演名 | 2014-03-07 単方向性制約伝搬に基づく業務システム構成法の提案 : 地方税の税務処理を例として 矢野 寛将, 桑山 浩希, 金田 重郎, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 業務システムでは遂行すべき業務処理に加え,保存されているデータ内容の変更処理や誤入力に対する修正処理も行う必要がある.結果として,業務規則と実際の処理フローとの間にセマンティックギャップがあり,業務規則変更時のメンテナンス工数を増加させる一因となっている.そこで本稿では,業務規則を入出力データ間の制約として捉え,入力データから出力データへの一方向性の制約充足(制約伝搬)を用いて業務処理を実現する手法を提案する.提案手法の評価のため,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 |
資料番号 | KBSE2013-94 |
発行日 |
研究会情報 | |
研究会 | KBSE |
---|---|
開催期間 | 2014/2/27(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
---|---|
本文の言語 | JPN |
タイトル(和) | 単方向性制約伝搬に基づく業務システム構成法の提案 : 地方税の税務処理を例として |
サブタイトル(和) | |
タイトル(英) | An Implementation Methodology for Business Systems Based on Unidirectional Constraint Propagation : A Case Study of Local Tax Processing |
サブタイトル(和) | |
キーワード(1)(和/英) | 業務システム / Business Systems |
キーワード(2)(和/英) | 税務処理 / Local Tax Processing |
キーワード(3)(和/英) | 制約充足 / Constraint Satisfaction |
キーワード(4)(和/英) | 単方向性 / Unidirectional |
キーワード(5)(和/英) | 制約伝搬 / Constraint Propagation |
キーワード(6)(和/英) | 構成法 / Implementation Methodology |
第 1 著者 氏名(和/英) | 矢野 寛将 / Hiromasa YANO |
第 1 著者 所属(和/英) | 同志社大学理工学部 Faculty of Science and Engineering, Doshisha University |
第 2 著者 氏名(和/英) | 桑山 浩希 / Hiroki KUWAYAMA |
第 2 著者 所属(和/英) | 同志社大学大学院理工学研究科 Graduate School of Science and Engineering, Doshisha University |
第 3 著者 氏名(和/英) | 金田 重郎 / Shigeo KANEDA |
第 3 著者 所属(和/英) | 同志社大学大学院理工学研究科 Graduate School of Science and Engineering, Doshisha University |
発表年月日 | 2014-03-07 |
資料番号 | KBSE2013-94 |
巻番号(vol) | vol.113 |
号番号(no) | 475 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |