Software process modeling has attracted much research effort insoftware engineering. However, there is little work reported for theverification of process models. In fact, the verification is ofteneither performed by hand or it is left to the enacting mechanism todetect inconsistencies during execution. Since process models arebecoming more and more powerful and complex, their verification is alsobecoming increasingly difficult and critical. The authors proposition isthat one needs special tools to help verify the consistency of softwareprocess models. They present part of their experience in designing andprototyping such a tool for the verification of software process modelsin the ALF project. The tool helps verify the partial consistency ofprocess models by statically detecting various inconsistencies. Thisprototype uses techniques developed in different fields such ascompilation, constraint solving and logic. As far as they know, this isthe first tool of its kind designed for the static checking for processmodels
展开▼