Wai Yin Mok David P. Paper Using Harel's Statecharts to Model Business Workflows. 17-34 2002 13 J. Database Manag. 3 db/journals/jdm/jdm13.html#MokP02