文献

J-GLOBAL ID：201202266154613290   整理番号：12A0721828

ビジネスプロセスにおける制御活動の有効性の形式的検証

Formal Verification of Effectiveness of Control Activities in Business Processes

著者 (3件)： ARIMOTO Yasuhito (School of Information Sci., Japan Advanced Inst. of Sci. and Technol. (JAIST)) ,  IIDA Shusaku (School of Network and Information, Senshu Univ.) ,  FUTATSUGI Kokichi (School of Information Sci., Japan Advanced Inst. of Sci. and Technol. (JAIST))
資料名： IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers)  (IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers))
巻： E95-D  号： 5  ページ： 1342-1354 (J-STAGE)  発行年： 2012年 
JST資料番号： L1371A  ISSN： 0916-8532  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 企業の目標を実現するためのビジネスプロセスにおいてリスクを扱うことは,重要な問題であった。本稿は,一貫して制御活動を徹底的に評価し,評価の結果に関する科学的な検討を潜在的に示すために,ビジネスプロセスにおいて,リスクと制御活動の解析に対する形式的方法を適用するための方法を導入した。ドキュメントがビジネスにおいて重要な役割を演じるので,ビジネス活動と制御活動とドキュメントに関連するリスクにおいて,著者らはドキュメントフローに焦点を当てた。提案の方法において,制御活動を含むドキュメントフローをモデル化して,OTS/CafeOBJ方法で検証し,ドキュメントの改ざんに関するリスクをモデルにおける制御活動によって回避した。定理の証明を用いて,人間とCafeOBJシステムの間での相互作用によって,検証を行なった。そして,それは,なぜ検証から結果を導出するかの厳密な理由を示すため,結果について科学的に検討するためにポテンシャルを持ち上げた。(翻訳著者抄録)

シソーラス用語： *制御 ,  有効性 ,  検証 ,  リスク ,  ポテンシャル ,  インタフェイス ,  モデリング ,  定理証明
準シソーラス用語： ドキュメント ,  ドキュメントオブジェクトモデル ,  *ビジネスプロセス ,  モデル化 ,  *活動 ,  *形式的検証

分類 (2件)： プロセス制御  (IC03040B) ,  その他の情報処理  (JE15050M)

引用文献 (26件)：

• Pub. L. 107-204. 116 Stat. 754, Sarbanes Oxley Act. 2002
• The Committee of Sponsoring Organizations of the Treadway Commision (COSO). Internal Control-Integrated Framework. http://www.snai.edu/cn/service/library/book/0-Framework-final.pdf
• Financial Service Agency. Financial Instruments and Exchange Law. http://law.e-gov.go.jp/htmldata/S23/S23HO025.htm
• Financial Service Agency. On the Setting of the Standards and Practice Standards for Management Assessment and Audit Concerning Internal Control Over Financial Reporting (Council Opinions) : Practice Standards. http://www.fsa.go.jp/en/news/2007/20070420.pdf
• VAN DER AALST, W. M. P. Three good reasons for using a petrinet-based workflow management system. Proc. International Working Conference on Information and Process Integration in Enterprises (IPIC'96), Cambridge, Massachusetts, Nov. 1996

タイトルに関連する用語 (4件)： ビジネス ,  プロセス ,  活動 ,  形式的検証