WP050: Model-Based Mechanisms for Automated Activity Sequencing