Model Library Consultation Solution Tool Course Member  
 
Order | Case| Learning Resources | Training & Consulting | Solution | Model Framework | User group | Customer Area | Contact us
作者:俎涛     
 Model Checker

Model Checker
 
Author  Zu Tao
Date  July 21, 2023

Catalogue

User manual: Model checker

1. Introduction to the model Checker

2. Element check

3.Class check

4.Use Case check

5. Picture check

6. Check the State diagram

7. Check the Sequence diagram

1. Introduction to the model Checker
Checker is an EA plugin developed by Dragon Fruit Software to enhance the modeling capabilities of EA, which currently offers the following features:
The following is a brief introduction to the features of the Model Checker, video:《Model Checker -Checker》
2. Element inspection
Checker can check the elements, and can check the following aspects of the elements
•  Unnamed: Lists all elements that do not have names
•  Duplicate name: Lists all elements with the same name.
3. Class check
4、Use Case check
5. Check the figure
6、State diagram check
7、Sequence diagram check

If you need to purchase a model Checker, please contact us:

• teacher@uml.net.cn ,010-62670969