International Association of Computer Science and Information Technology(IACSIT)
With the growing competition in the markets, the business processes of an organization must make necessary adjustments according to the new requirements. In other words, Changes in business processes as a key component of any organization, along with the success of the organization and aligned with the business environment and customer needs, seems inevitable. What is important is the ability to change and verify the accuracy of the process, before it is executed. In this paper, the authors propose a framework for applying the changes and verify these, based on the business process methodology and the integration between UML2.0 activity diagram as a standard technique for business processes modeling and colored petri net as an executable model.