Home >

news Help

Publication Information


Title
Japanese: 
English:Architecture on a Hybrid Business ProcessDesign and Verification System 
Author
Japanese: Li Bing, 飯島 淳一.  
English: Bing Li, Junichi Iijima.  
Language Others 
Journal/Book name
Japanese: 
English:Proceedings of 2007 International Conference on Wireless Communications, Networking and Mobile Computing 
Volume, Number, Page         pp. 6193 - 6198
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.1520
http://www.is.me.titech.ac.jp/paper/2007/other/WiCom07Li.pdf
 
DOI https://doi.org/10.1109/WICOM.2007.1520
Abstract Recently Business Process Management System (BPMS) has become one of the hottest research topics related to enterprise information systems. Based on some requirements in the emerging BPMS, this paper proposes an original architecture on a hybrid Business Process Design and Verification System (BPDVS). This architecture attempts to build a system that integrates the informal and formal approaches in the BPM related fields. In this way it can obtain practicability and robustness, which are presently strengths separately from the informal and formal approaches. The industrial standard XPDL is used as the informal process description language while a logic language Situation Calculus is employed as the underlying formalism to precisely specify a process. The hybrid BPDVS will integrate these two different process models and attempts to provide a more integrative and dynamic design environment for business processes.

©2007 Institute of Science Tokyo All rights reserved.