Detecting inconsistencies between software architecture views

Software architecture is widely presented in multiple architectural views in order to address different concerns of stakeholders and to minimize complexities of presenting architecture in one model. Using multiple architecture views raised the problem of inconsistencies as views are interrelated and overlap with one another. This paper proposes a framework to help checking inconsistencies between architectural views. We firstly define the types of inconsistencies that might occur between multiple architectural views and then we propose a framework for checking inconsistencies between them. At the end a case study is provided to evaluate the framework.