Yi Deng Jiacun Wang Xudong He Jeffrey J. P. Tsai Constraint Propagation And Progressive Verification For Component-Based Process Model. 471-496 2004 14 International Journal of Software Engineering and Knowledge Engineering 5 http://dx.doi.org/10.1142/S0218194004001750 db/journals/ijseke/ijseke14.html#DengWHT04