業務プロセスの品質の判定法

• Item type: Symposium(1)
• 公開日: 2014-10-15
• タイトル: 業務プロセスの品質の判定法
• タイトル / 言語: en
• タイトル: A Verification Methodology of Business Processes Quality Based on Vouchering Transaction Documents
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 業務プロセス，伝票突合せ
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 北陸先端科学技術大学院大学
• 著者所属: 北陸先端科学技術大学院大学ソフトウェア検証研究センター
• 著者所属: 国立情報学研究所 先端ソフトウェア工学・国際研究センター
• 著者所属(英): en
• 著者所属(英): Japan Advanced Institute of Science and Technology
• 著者所属(英): en
• 著者所属(英): Research Center for Software Verification, Japan Advanced Institute of Science and Technology
• 著者所属(英): en
• 著者所属(英): Grace Center, National Institute of Informatics
• 著者名: 河本, 高文; 二木, 厚吉; 吉岡, 信和
• 著者名(英): Takafumi, Komoto; Kokichi, Futatsugi; Nobukazu, Yoshioka
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 業務プロセスには，取引に関連する伝票間に不整合があると，作業者によって検知できる，品質の高いプロセスと，不整合があっても，検知できない可能性のある，品質の低いプロセスとがあり，この2つに分類できる．取引に関連する伝票間の不整合の検知は，作業者が受領した伝票と，作業者が保管している伝票とを突合せて，取引に共通すべき，品名や数量，金額の項目に相違がないかを，確認することで行う．本論文では，取引の業務プロセスを，業務プロセスダイアグラムを使ってモデル化し，伝票突合せ判定アルゴリズムによって，品質の高いプロセスと，低いプロセスに分類する判定法を示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Abstract Business Processes can be classified into two categories according to the characteristics of their quality. The first category is called a high quality business process because misstatement risks on the transaction documents can be detected. The second category is called a low quality business process because they can be undetected. This paper proposes a verification methodology of business process quality based on vouchering transaction documents. Our methodology is intended to be used for the design and evaluation of internal controls by firms. It provides a notation and a modeling process for verifying the business process quality and a fault detection algorithm in the model.
• 書誌情報: コンピュータセキュリティシンポジウム2014論文集; 巻 2014, 号 2, p. 260-267, 発行日 2014-10-15
• 出版者 / 言語: ja
• 出版者: 情報処理学会