Prototyping an inconsistency checking tool for software process models

Software process modeling has attracted much research effort in software engineering. However, there is little work reported for the verification of process models. In fact, the verification is often either performed by hand or it is left to the enacting mechanism to detect inconsistencies during execution. Since process models are becoming more and more powerful and complex, their verification is also becoming increasingly difficult and critical. The authors proposition is that one needs special tools to help verify the consistency of software process models. They present part of their experience in designing and prototyping such a tool for the verification of software process models in the ALF project. The tool helps verify the partial consistency of process models by statically detecting various inconsistencies. This prototype uses techniques developed in different fields such as compilation, constraint solving and logic. As far as they know, this is the first tool of its kind designed for the static checking for process models.<
>