Agent-Based Verification and Validation of Process Models

Name: Hanwen Guo

Title (PhD): Agent-Based Verification and Validation of Process Models

Abstract: Business Process Management (BPM) is an abstraction of business activities that has the ability to model, measure and improve business processes. The significant outcome of a precise and validated process model is that it improves the business’ efficiency in a systematic fashion. Virtual Environments provide participants with an almost real sense of immersion into a 3D synthetic world, with many application domains, such as military, medical and aerospace sectors investing heavily in Virtual Environment Simulations (VES).

The accurate modelling of human resources within an Enterprise has been problematic, with previous research generally using aggregated statistical models of human behaviour. Multi-Agent Systems (MAS) are a computational model for simulating the actions and interactions of autonomous individuals with an ability to assess their effects in the system. Combining BPM and VES with MAS will present a detailed human resource model that is closer to a real version of the business processes.

This research work has much to contribute to the business education and training sector. It will help enhance an organization’s competitiveness via the following benefits. Firstly, it will allow for detailed simulation and interaction with a resource model of the business processes, bringing far more accuracy in modelling. Secondly, it will help users to plan, manage and understand operational task procedures so as to improve employee abilities and work standards.