Automatized Checking of Business Rules for Activity Execution Sequence in Workflows
Journal of Software
Mark Alan Junho Song
MARK SONG