Software system modeling is another key content of this dissertation, which incarnates the explicit authorization mechanism completely and definitely.

软件系统的建模是这一部分的重点内容，它更加完整明确地体现了显式授权机制的应用。

youdao

Modeling for execution is not a new concept, as this approach has been used in traditional software and system development for a while.

为执行建模并不是一个新概念，因为这种方式已经在传统的软件和系统开发中被用了有一些时间了。

youdao

Formal documentation of system semantics (through modeling) will increase software quality and extend the useful lifetime of designs (thereby increasing ROI).

系统语义的正式文档(通过建模)将提高软件质量，延长设计的有效生命周期(从而提高roi)。

youdao