Behavior Engineering for the Analysis and Verification of Processes

Abstract

Engineering in general is a process-intensive domain. Processes and process models underpin the activities of every Engineering discipline, ensuring consistent outputs by sequencing the right activities in the correct order. Acknowledging the importance of process models, there is a clear need for effective methods for verifying such models to ensure efficiency and correctness. This paper introduces a new formal methodology for the analysis and verification of processes, Behavior Engineering (BE) [1]. BE has proven very effective when applied to the development of process models. In this example, the discipline is Software Engineering, yet it is argued that the approach can be applied to any process or set of processes from Chemical, Materials and Metallurgical Engineering