Home >

news Help

Publication Information


Title
Japanese: 
English:Verification of Invariant Properties of Business Process Based on Formal Approach 
Author
Japanese: 佐々木慎平, 飯島淳一.  
English: Shimpei Sasaki, Junichi Iijima.  
Language English 
Journal/Book name
Japanese: 
English:Proceedings of 2007 International Conference on Wireless Communications, Networking and Mobile Computing 
Volume, Number, Page         pp. 6037-6040
Published date Sept. 2007 
Publisher
Japanese: 
English: 
Conference name
Japanese: 
English:2007 International Conference on Wireless Communications, Networking and Mobile Computing (WiCom 2007) 
Conference site
Japanese: 
English:Shanghai, China 
Official URL http://dx.doi.org/10.1109/WICOM.2007.1482
http://www.is.me.titech.ac.jp/paper/2007/other/WiCom07Sasaki.pdf
 
DOI https://doi.org/10.1109/WICOM.2007.1482
Abstract Recently, the concept of business process management (BPM) is in the spotlight and it is getting popular to design, enact and monitor a business process from the viewpoint of BPM. It often happens, however, that designed business process models often do not satisfy correctness properties such as executability, satisfiability and so on. Therefore it is necessary to check those correctness properties of a business process at its design phase. Although most of BPM systems have a functionality of simulation, it is not based on rigorous mathematical background. In this paper, we propose an approach to use formal specification in order to verify invariant properties of a business process rigorously at the design phase. Toward this goal, firstly, we define the transformation from a business process model in XML Process Definition Language (XPDL), which is one of the standard description of a process in BPM, to the model in VDM specification language (VDM-SL), which is one of popular formal specification language for software. Then we verify the invariant properties of the transformed model with VDM development support tool called VDMTools.

©2007 Institute of Science Tokyo All rights reserved.