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

• Item type: Journal(1)
• 公開日: 2015-09-15
• タイトル: 業務プロセスの品質の判定法
• タイトル / 言語: en
• タイトル: A Verification Methodology of Business Processes Quality Based on Checking Transaction Documents
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [特集：社会に浸透していくコンピュータセキュリティ技術] 業務プロセス，伝票，内部統制，フロイド－ワーシャル法
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 北陸先端科学技術大学院大学
• 著者所属: 北陸先端科学技術大学院大学ソフトウェア検証研究センター
• 著者所属: 国立情報学研究所先端ソフトウェア工学・国際研究センター
• 著者所属(英): 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
• 論文抄録(英) / 内容記述: 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 checking 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.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 56, 号 9, p. 1794-1800, 発行日 2015-09-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764