Method For Verifying Rules On Uml Models

摘要

The method in accordance with the invention is characterized in that after having established a model, the data of the model are structured so as to render them utilizable by the “Model In Action” tool (“MIA”), this tool is made to produce a verification file and a verification report readable by a user is produced on the basis of this file.