お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [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.)
第4著者 氏名(和/英/ヨミ) / /
第4著者 所属(和/英) (略称: )
(略称: )
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2014-03-07 13:10:00 
発表時間 35分 
申込先研究会 KBSE 
資料番号 KBSE2013-94 
巻番号(vol) vol.113 
号番号(no) no.475 
ページ範囲 pp.91-96 
ページ数
発行日 2014-02-27 (KBSE) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会