|
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 |
|
|
|
