Engineering test cases to motivate the formalization of an AEC project model as a directed acyclic graph of views and dependencies.