A consistency checking approach for system architecture

In the model driven system engineering, architecture plays an important role in the quality of the developed complex system. In some extend, the quality of the architecture determines the developed system's quality. The system's architecture is usually described from different views, including static views and dynamic views, like DoDAF (Department of Defense Architecture). Then how to ensure the consistency of the models from different views becomes a great challenge. This paper proposes a predicate logic based approach for checking the consistency of the system models described by UML models. The case study of the consistency checking of the class diagram and state machine diagram models of a flight control system shows the feasibility and effectiveness of the proposed approach.