关键词: 软件体系结构，一致性验证，OCL

Abstract: In the research of software architecture, how to ensure the consistency of the software architecture has become a very important issue. Proposed in this paper is a development and validation environment of the consistency of software architecture based on OCL. I3y defining software architecture constraints before modeling and checking model in real-time while modeling and after modeling to provide a way to ensure the consistency of the software architecture.It makes the environment easier to use and more reliable. Designed and implemented a prototype architecture modeling tool Artemis-GOdE.

Key words: Software architecture, Consistency check, OCL