... activity relations, business process automation 171 INTRODUCTION Business processes are considered invaluable organizational assets, and the emerging business process revolution” offers ... without termination or activation, and infinite cycles. Currently, most workflow modeling and verification paradigms mainly focus on activity sequencing and coordination, i.e., the control flow ... 2001). In addition, some other models focus on modeling business rules needed to control activity scheduling and role/actor mapping. For example, as a modeling method focusing on business rules,...