Validation Environment of Software Architecture Based on OCL

CAO Liu,CAO Chun
DOI: https://doi.org/10.3969/j.issn.1002-137x.2012.z3.110
2012-01-01
Computer Science
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.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.
What problem does this paper attempt to address?