Validation Environment of Software Architecture Based on OCL
Chun Cao · 2012
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.By 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.