Managing Consistency of Business Process Models across Abstraction Levels