2011 Volume 28 Issue 2 Pages 2_217-2_235
Generally, software systems consist of application which they offer and execution environments for performing the application. Although these application and execution environments are changed according to the change of requirements, it becomes important to maintain their consistency when they change. Computational support is needed, because it is difficult for engineers to resolve such problems.
In this paper, we propose a framework to manage consistency in a software system, and formalize by Alloy. Our framework uses a model which is based on the feature diagram of FODA, and describes the application, execution environments and relations among them. we describe how our framework checks the consistency of the model using Alloy.