An Architectural Approach to Ensuring Consistency in Hierarchical Execution