NLP based verification of a UML class model

摘要

Robotized model time is a creating examination field. A significant number of representations are furthermore given where model checking has been associated for affirmation of various sorts of model. Such delineations are SAT based checks of UML/OCL models, embeded structures model affirmation, et cetera. In all these kind of employments, the complement is model checking. In later past, UML programming models are created from programming necessities conveyed in a trademark tongue, for instance, English by using NLP technique. Regardless, the diverse sorts of UML models delivered from consistent vernacular programming requirements specific using NLP approach have no technique for check as in the complete and correct models are done. It is a normal learning NLP techniques have been viably associated with make UML models as delineated above, in any case, in this paper, we address the issue of model checking and model affirmation by using NLP strategies. Such sort of changes require package of effort and time that makes the system of model affirmation wild and ambling. We used an approach for model watching that makes the technique of model checking straightforward and additionally the used philosophy should use the present resources used for generation of the UML class model.