@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00223204,
 author = {河本, 高文 and 二木, 厚吉 and 吉岡, 信和 and Takafumi, Komoto and Kokichi, Futatsugi and Nobukazu, Yoshioka},
 book = {コンピュータセキュリティシンポジウム2022論文集},
 month = {Oct},
 note = {著者らは，業務プロセスの伝票の突合せ状況から伝票不整合リスクを判定する伝票突合せアセスメント手法を提案し，さらに，これまで責務分離の原則から直列順序で決定的に実行されることを前提としていた業務プロセスを，並列イベントを含む業務プロセスに対してもアセスメントできるように拡張した．しかし，イベント順序が非決定的な並列イベントを含む業務プロセスを議論するとき，従来の表記法では，イベントの順番を入れ替えた新しいイベント順序を，タイムラインに沿って並べられるイベントの配置などによる直感的な理解に頼っており，厳密性に欠けていた．そこで，イベントの識別子 i とイベント順序 n を分離して導入することで，直感に頼らずとも，理解できるように，表記法を改善して提案する．これによって，並列イベントを含む業務プロセスのアセスメントをより厳密に行うことができるようになった．, We proposed a method for the assessment of business processes by checking transaction documents. And we showed that the assessment is practicable to design and evaluate business processes for a company's internal control over financial reporting, and it's effective as an internal security measure on the information security. And we proposed an extended method for the assessment of business processes involving parallel events by checking transaction documents. In this paper we propose the strict elements and notation of business process diagram to assess business processes.},
 pages = {1086--1092},
 publisher = {情報処理学会},
 title = {並列イベントを含む業務プロセスの伝票突合せアセスメント手法の改善},
 year = {2022}
}