Managing the software process
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Framing software reuse: lessons from the real world
Framing software reuse: lessons from the real world
Argo: a design environment for evolving software architectures
ICSE '97 Proceedings of the 19th international conference on Software engineering
SEI's Software Product Line Tenets
IEEE Software
On Project-Specific Languages and Their Application in Reengineering
CSMR '02 Proceedings of the 6th European Conference on Software Maintenance and Reengineering
Modular architecture for a toolset supporting OCL
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Specifying and validating structural constraints of analysis class models using OCL
Information and Software Technology
Computers & Mathematics with Applications
Hi-index | 0.00 |
The paper is devoted to the validation of visual software models. The aim of the validation is to verify whether the models match the visual project language, which is a dialect of a standard visual modeling language (UML, SDL, etc.) created with regard to specific features of the particular project on software development. In the paper, an architecture of a validator designed for both interactive and batch modes is suggested. An approach to specifying visual project languages by means of OCL constraints imposed on the UML metamodel with the subsequent automated generation of validators in accordance with the architecture described is suggested. Results of approbation of the validator and the validator generator in the framework of an industry project are presented.