Title :
Architecture on a Hybrid Business Process Design and Verification System
Author :
Li, Bing ; Iijima, Junichi
Author_Institution :
Dept. of Ind. Eng. & Manage., Tokyo Inst. of Technol., Tokyo
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.
Keywords :
business data processing; formal languages; formal logic; formal verification; business process management system; enterprise information systems; hybrid business process design and verification system; informal process description language; logic language; situation calculus; Calculus; Industrial engineering; Logic; Management information systems; Phase detection; Process design; Robustness; Service oriented architecture; Standardization; Testing;
Conference_Titel :
Wireless Communications, Networking and Mobile Computing, 2007. WiCom 2007. International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4244-1311-9
DOI :
10.1109/WICOM.2007.1520