ANALYSIS OF BUSINESS TRANSACTION SOUNDNESS WITH MARKOV CHAINS
Integrated enterprise information systems are often execute such business processes that have a complicated logic and a sequence of operations. These interactions require accurate designing and planning, where major purpose is a compliance with an atomicity of a process. That atomicity means that a process must either fully happens, or not happens at all. According to complexity and possible long duration of such process standard transaction management tools and methods for determining reachability of a goal system states may be ineffective. The paper presents an algorithm based on Markov chains theory for revealing of deadlocks during business process simulation.