Consistency Checking Between System Views

This research considers the four major system views, namely: context view, hardware view, layered view and component-connector view, and the consistency between those views. Here is a draft of what kinds of consistency relationships exist between views and how can we check them.