| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 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 |
|
| 研究会情報 | |
| 研究会 | KBSE |
| 開催期間 | 2014-03-06 - 2014-03-07 |
| 開催地（和） | 沖縄県青年会館 |
| 開催地（英） | Okinawaken-Seinenkaikan |
| テーマ（和） | 一般 |
| テーマ（英） | Genaral session |
| 講演論文情報の詳細 | |
| 申込み研究会 | KBSE |
| 会議コード | 2014-03-KBSE |
| 本文の言語 | 日本語 |
| タイトル（和） | 単方向性制約伝搬に基づく業務システム構成法の提案 |
| サブタイトル（和） | 地方税の税務処理を例として |
| タイトル（英） | 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 |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 矢野 寛将 / Hiromasa Yano / ヤノ ヒロマサ |
| 第1著者 所属（和/英） | 同志社大学 (略称： 同志社大) Doshisha University (略称： Doshisha Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 桑山 浩希 / Hiroki Kuwayama / クワヤマ ヒロキ |
| 第2著者 所属（和/英） | 同志社大学 (略称： 同志社大) Doshisha University (略称： Doshisha Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 金田 重郎 / Shigeo Kaneda / カネダ シゲオ |
| 第3著者 所属（和/英） | 同志社大学 (略称： 同志社大) Doshisha University (略称： Doshisha Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2014-03-07 13:10:00 |
| 発表時間 | 35分 |
| 申込先研究会 | KBSE |
| 資料番号 | KBSE2013-94 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | no.475 |
| ページ範囲 | pp.91-96 |
| ページ数 | 6 |
| 発行日 | 2014-02-27 (KBSE) |
[研究会発表申込システムのトップページに戻る]