Purpose: The need for assuring correctness of business processes in enterprises is widely recognised in terms of business process re-engineering and improvement. Formal methods are a promising approach to this issue. The challenge in business process verification is to create a formal model...

The motivation of this paper was to model and to implement an innovative approach to simulate the trading processes of a virtual business company. Agent-based methods together with the Java development platform are used to implement a multi-agent system to serve as a simulation framework. The...