关键词：多视图建模；离散系统；规范化
摘 要：In this paper we formulate this and other basic problems in multi-view modeling within an abstract formal framework. We then instantiate this framework in a discrete, nite-state system setting, and study how some key verification and synthesis problems can be solved in that setting.