In: EEE International Conference on e-Business Engineering (ICEBE'05), 2005, pages 527-530. 2005. URL: http://doi.ieeecomputersociety.org/10.1109/ICEBE.2005.43,.
Abstract: Work flow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, they attempt to support frequent changes of the workjlows at hand. Therefore, the need for analysis methods to verifi the correctness of workjlows is becoming more prominent. In this paper, we present a method for correctness verification of synchronization based workjlow model. Moreover, the method can give a counterexample when an error exists in model, this will help to improve the model.