IEICE TRANSACTIONS on Information
Formal Verification of Effectiveness of Control Activities in Business Processes
Summary :
It has been an important issue to deal with risks in business processes for achieving companies' goals. This paper introduces a method for applying a formal method to analysis of risks and control activities in business processes in order to evaluate control activities consistently, exhaustively, and to give us potential to have scientific discussion on the result of the evaluation. We focus on document flows in business activities and control activities and risks related to documents because documents play important roles in business. In our method, document flows including control activities are modeled and it is verified by OTS/CafeOBJ Method that risks about falsification of documents are avoided by control activities in the model. The verification is done by interaction between humans and CafeOBJ system with theorem proving, and it raises potential to discuss the result scientifically because the interaction gives us rigorous reasons why the result is derived from the verification.
- Publication
- IEICE TRANSACTIONS on Information Vol.E95-D No.5 pp.1342-1354
- Publication Date
- 2012/05/01
- Publicized
- Online ISSN
- 1745-1361
- DOI
- 10.1587/transinf.E95.D.1342
- Type of Manuscript
- Special Section PAPER (Special Section on Formal Approach)
- Category
- Formal Methods
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Yasuhito ARIMOTO, Shusaku IIDA, Kokichi FUTATSUGI, "Formal Verification of Effectiveness of Control Activities in Business Processes" in IEICE TRANSACTIONS on Information,
vol. E95-D, no. 5, pp. 1342-1354, May 2012, doi: 10.1587/transinf.E95.D.1342.
Abstract: It has been an important issue to deal with risks in business processes for achieving companies' goals. This paper introduces a method for applying a formal method to analysis of risks and control activities in business processes in order to evaluate control activities consistently, exhaustively, and to give us potential to have scientific discussion on the result of the evaluation. We focus on document flows in business activities and control activities and risks related to documents because documents play important roles in business. In our method, document flows including control activities are modeled and it is verified by OTS/CafeOBJ Method that risks about falsification of documents are avoided by control activities in the model. The verification is done by interaction between humans and CafeOBJ system with theorem proving, and it raises potential to discuss the result scientifically because the interaction gives us rigorous reasons why the result is derived from the verification.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.E95.D.1342/_p
Copy
@ARTICLE{e95-d_5_1342,
author={Yasuhito ARIMOTO, Shusaku IIDA, Kokichi FUTATSUGI, },
journal={IEICE TRANSACTIONS on Information},
title={Formal Verification of Effectiveness of Control Activities in Business Processes},
year={2012},
volume={E95-D},
number={5},
pages={1342-1354},
abstract={It has been an important issue to deal with risks in business processes for achieving companies' goals. This paper introduces a method for applying a formal method to analysis of risks and control activities in business processes in order to evaluate control activities consistently, exhaustively, and to give us potential to have scientific discussion on the result of the evaluation. We focus on document flows in business activities and control activities and risks related to documents because documents play important roles in business. In our method, document flows including control activities are modeled and it is verified by OTS/CafeOBJ Method that risks about falsification of documents are avoided by control activities in the model. The verification is done by interaction between humans and CafeOBJ system with theorem proving, and it raises potential to discuss the result scientifically because the interaction gives us rigorous reasons why the result is derived from the verification.},
keywords={},
doi={10.1587/transinf.E95.D.1342},
ISSN={1745-1361},
month={May},}
Copy
TY - JOUR
TI - Formal Verification of Effectiveness of Control Activities in Business Processes
T2 - IEICE TRANSACTIONS on Information
SP - 1342
EP - 1354
AU - Yasuhito ARIMOTO
AU - Shusaku IIDA
AU - Kokichi FUTATSUGI
PY - 2012
DO - 10.1587/transinf.E95.D.1342
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E95-D
IS - 5
JA - IEICE TRANSACTIONS on Information
Y1 - May 2012
AB - It has been an important issue to deal with risks in business processes for achieving companies' goals. This paper introduces a method for applying a formal method to analysis of risks and control activities in business processes in order to evaluate control activities consistently, exhaustively, and to give us potential to have scientific discussion on the result of the evaluation. We focus on document flows in business activities and control activities and risks related to documents because documents play important roles in business. In our method, document flows including control activities are modeled and it is verified by OTS/CafeOBJ Method that risks about falsification of documents are avoided by control activities in the model. The verification is done by interaction between humans and CafeOBJ system with theorem proving, and it raises potential to discuss the result scientifically because the interaction gives us rigorous reasons why the result is derived from the verification.
ER -
English
