Equivalent design representations and transformations for interactive scheduling