A Formal Framework to Support Workflow Adaptation. - Siu Liu; Angela Goh (Int. J. Softw. Eng. Knowl. Eng., 2002)