Skip to Main Content
One of the significant reasons for the success of Service Oriented Architecture (SOA) is its harmonization with business process management (BPM). Architecture of Integrated Information System (ARIS) correlates SOA with BPM by its proposed work flow. Modeling process is one of the fundamental parts in SOA architecture. Business Process Modeling Notation (BPMN) is a graphical language which is known as one of the most efficient languages for modeling in ARIS. This language is transformable to Business Process Execution Language and causes the act of modeling to be performed on the basis of a comprehensive and integrated plan with its provided tools. Despite of all the advantages, the companies should apply necessary speed and precision in the cycle of transforming the models to executable processes to be competitive in the nowadays world; and due to the fact that the first step in generating an executive process in SOA is design and modeling, therefore it is so critical to assure of the correct functionality of models before implementation and test. ARIS provides the users with the facility to be certain about correct functionality of BPMN model by supporting ARIS simulator. However simulation is time-consuming while being used in change of business and process updating and it is not optimal. We presented a solution by introduce semantic checking in ARIS and showing how could upgrading the support of BPMN in ARIS to reduce the consumed time for test and simulation.