Tool-based checking of business process models

Business process models describe the behaviour of commercial information systems. Since these models are the base for the development and understanding of such information systems the business process models are subject of strict quality assurance. Such an importance leads to the idea to support the checking by an automated tool concept. The paper presents such an integrated, tool-based validation concept supporting human testers who are mainly business experts and not test experts. Such business experts may use the process model notations they are familiar with modelling the processes as well as the rules for these models. The automated testing system integrates model checking tools to perform the validation. The result is then presented to the human user. In case of an error detected by the check, a counter example demonstrating one source of the error is presented directly in the business process model.