Models need to be precise and complete, and they also need to provide abstraction, which is the reason why graphical modeling is recommended.
模型需要准确和完整，而且还需要提供抽象，而正是由于这个原因，我们建议使用图形建模方法。
2
This is information that is not within the domain of the level of abstraction of the model content itself, but information that is necessary for an automated transformation to complete its tasks.
该信息不是模型内容本身的抽象级别领域内的信息，而是在自动的转换过程中所必须的信息。
3
Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.