Model checking for design and assurance of e-Business processes
Paul Benjamin Lowry, Bonnie Brinton Anderson, James V. Hansen, Scott L. Summers · The HKU Scholars Hub (University of Hong Kong) · 2005
Use of the Internet for electronic business has the potential to revolutionize the way many businesses are conducted. Yet, several businesses have fallen victim to problems in information systems that facilitate e-Business. These problems are characterized by uncertainties due to system complexity, rapid development, interconnectivity, and a lack of familiarity with the new technologically based economy. This paper demonstrates how model checking can aid in the design and assurance of e-Business processes in environments characterized by distributed processing, parallelism, concurrency, communication uncertainties, and continuous operations. © 2004 Elsevier B.V. All rights reserved.